uk.ac.man.cs.rainbow.rapa
Class Sequence
java.lang.Object
|
+--uk.ac.man.cs.rainbow.rapa.ProcessTerm
|
+--uk.ac.man.cs.rainbow.rapa.Sequence
- All Implemented Interfaces:
- Serializable
- public class Sequence
- extends ProcessTerm
RAPA sequence construct.
- See Also:
- Serialized Form
Sequence
public Sequence(ProcessTerm p1,
ProcessTerm p2)
getP1
public ProcessTerm getP1()
getP2
public ProcessTerm getP2()
getP
public ProcessTerm getP(int i)
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
getSequenceHead
protected ProcessTerm getSequenceHead()
- Description copied from class:
ProcessTerm
- Get the process term at the head of the sequence. Note that it
is necessary to recurse inside only some process terms
to get this information. It all depends on exactly what sort
of GCL rules are produced by the term itself...
- Overrides:
getSequenceHead
in class ProcessTerm
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.