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

Method Index

o getEntryPointList()
Return the list of entry points of this synchronization atom (may have more than one).
o getOutSegmentList()
Return the list of output segments of this atom (may have more than one).
o setEntryPointList(Vector)
Set the list of entry points of this synchronization atom (may have more than one).
o setOutSegmentList(Vector)
Set the list of output segments of this atom (may have more than one).
o toString()

Methods

o 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
o 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
o setEntryPointList 
 public void setEntryPointList(Vector epl)
Set the list of entry points of this synchronization atom (may have more than one).

See Also:
StringPair
o 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
o toString 
 public String toString()
Overrides:
toString in class SimpleNode 
All Packages  Class Hierarchy  This Package  Previous  Next  Index