All Packages Class Hierarchy This Package Previous Next Index
Class ca.carleton.sce.ucmagents.lfmparse.ASTendBar
ca.carleton.sce.ucmagents.lfmparse.SimpleNode
|
+----ca.carleton.sce.ucmagents.lfmparse.ASTatom
|
+----ca.carleton.sce.ucmagents.lfmparse.ASTendBar
- public class ASTendBar
- extends ASTatom
ASTendBar
is a class that is used as a node in the AST
in order to contain all the information related to an aend bar (atom).
It was built using jjtree 0.3.5.
- Version:
- 1.00, 1998 01 28
- Author:
- Daniel Amyot, damyot@csi.uottawa.ca
- See Also:
- ASTatom, SimpleNode
-
getInSegment()
- Return the input segment of this atom (only one).
-
getPostconditionList()
- Return the list of postconditions of this stub.
-
getResultingEventList()
- Return the list of resulting events associated to this end bar.
-
setInSegment(String)
- Set the input segment of this atom (only one).
-
setPostconditionList(Vector)
- Set the list of postconditions of this atom (may have more than one).
-
setResultingEventList(Vector)
- Set the list of resulting events associated to this end bar.
-
toString()
-
setInSegment
public void setInSegment(String n)
- Set the input segment of this atom (only one).
- Parameters:
- n - the input segment identifier
getInSegment
public String getInSegment()
- Return the input segment of this atom (only one).
- Returns:
- the input segment identifier
setResultingEventList
public void setResultingEventList(Vector rel)
- Set the list of resulting events associated to this end bar.
- Parameters:
- tel - the list of resulting events as a Vector of events (StringPair of [label, description])
- See Also:
- StringPair
getResultingEventList
public Vector getResultingEventList()
- Return the list of resulting events associated to this end bar.
- Returns:
- the list of resulting events as a Vector of events (StringPair of [label, description])
- See Also:
- StringPair
setPostconditionList
public void setPostconditionList(Vector pl)
- Set the list of postconditions of this atom (may have more than one).
- Parameters:
- pl - the list of postconditions as a Vector of conditions (StringPair of [label, description])
- See Also:
- StringPair
getPostconditionList
public Vector getPostconditionList()
- Return the list of postconditions of this stub.
- Returns:
- the list of postconditions as a Vector of conditions (StringPair of [label, description])
- See Also:
- StringPair
toString
public String toString()
- Overrides:
- toString in class SimpleNode
All Packages Class Hierarchy This Package Previous Next Index