uk.ac.man.cs.rainbow.rapa
Class Synch
java.lang.Object
|
+--uk.ac.man.cs.rainbow.rapa.ProcessTerm
|
+--uk.ac.man.cs.rainbow.rapa.Synch
- All Implemented Interfaces:
- Serializable
- public class Synch
- extends ProcessTerm
RAPA (multiple) input rendezvous construct.
- See Also:
Out
,
Hide
, Serialized Form
Synch
public Synch(Action action,
ProcessTerm body)
Synch
public Synch(Action[] action,
ProcessTerm body)
getAction
public Action[] getAction()
getAction
public Action getAction(int i)
getBody
public ProcessTerm getBody()
toString
public String toString()
- Overrides:
toString
in class ProcessTerm
equals
public boolean equals(Object o)
- Overrides:
equals
in class ProcessTerm
subst
public ProcessTerm subst(Substitution s)
- Description copied from class:
ProcessTerm
- Apply a substitution to all expressions in the process term.
- Overrides:
subst
in class ProcessTerm
subst
public ProcessTerm subst(GeneralSubstitution s)
- Description copied from class:
ProcessTerm
- Apply a substitution to all arguments in the process term.
- Overrides:
subst
in class ProcessTerm
- Following copied from class:
uk.ac.man.cs.rainbow.rapa.ProcessTerm
- See Also:
Argument
getGCL
protected GINRet getGCL(ProgramCounterFactory factory,
int i,
int n,
int t,
Value[] c)
- Description copied from class:
ProcessTerm
- Get a (g,i,n) triple representing the GCL rules for this
process term.
- Overrides:
getGCL
in class ProcessTerm
- Following copied from class:
uk.ac.man.cs.rainbow.rapa.ProcessTerm
- Parameters:
factory
- Generator for new program counters.i
- Current thread number.n
- Current PC value.t
- Terminating PC value (-1 for sequence and loop stitching, 0
for thread-end.)c
- Superthread context vector.