All Packages Class Hierarchy This Package Previous Next Index
Class ca.carleton.sce.ucmagents.lfmparse.ASTsynchronization
ca.carleton.sce.ucmagents.lfmparse.SimpleNode
|
+----ca.carleton.sce.ucmagents.lfmparse.ASTatom
|
+----ca.carleton.sce.ucmagents.lfmparse.ASTsynchronization
- public class ASTsynchronization
- extends ASTatom
ASTsynchronization
is a class that is used as a node in the AST
in order to contain the information related to a synchronization (atom).
This is similar to a join-fork, but for concurrent paths. It also allows
for timeout paths bound to output segments.
It was built using jjtree 0.3.5.
- Version:
- 1.00, 1998 01 28
- Author:
- Daniel Amyot, damyot@csi.uottawa.ca
- See Also:
- ASTplugin, ASTatom, SimpleNode
-
getEntryPointList()
- Return the list of entry points of this synchronization atom (may have more than one).
-
getOutSegmentList()
- Return the list of output segments of this atom (may have more than one).
-
setEntryPointList(Vector)
- Set the list of entry points of this synchronization atom (may have more than one).
-
setOutSegmentList(Vector)
- Set the list of output segments of this atom (may have more than one).
-
toString()
-
setOutSegmentList
public void setOutSegmentList(Vector osl)
- Set the list of output segments of this atom (may have more than one).
- Parameters:
- osl - the list of output segments as a Vector of output segments identifiers
getOutSegmentList
public Vector getOutSegmentList()
- Return the list of output segments of this atom (may have more than one).
- Returns:
- the list of output segments as a Vector of output segments identifiers
setEntryPointList
public void setEntryPointList(Vector epl)
- Set the list of entry points of this synchronization atom (may have more than one).
- See Also:
- StringPair
getEntryPointList
public Vector getEntryPointList()
- Return the list of entry points of this synchronization atom (may have more than one).
- Returns:
- the list of entry points as a Vector of StringPair
[input segments identifiers, output segment identifier (for timeout path, if any)]
- See Also:
- StringPair
toString
public String toString()
- Overrides:
- toString in class SimpleNode
All Packages Class Hierarchy This Package Previous Next Index