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

Method Index

o getInSegment()
Return the input segment of this atom (only one).
o getPostconditionList()
Return the list of postconditions of this stub.
o getResultingEventList()
Return the list of resulting events associated to this end bar.
o setInSegment(String)
Set the input segment of this atom (only one).
o setPostconditionList(Vector)
Set the list of postconditions of this atom (may have more than one).
o setResultingEventList(Vector)
Set the list of resulting events associated to this end bar.
o toString()

Methods

o setInSegment 
 public void setInSegment(String n)
Set the input segment of this atom (only one).

Parameters:
n - the input segment identifier
o getInSegment 
 public String getInSegment()
Return the input segment of this atom (only one).

Returns:
the input segment identifier
o 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
o 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
o 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
o 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
o toString 
 public String toString()
Overrides:
toString in class SimpleNode 
All Packages  Class Hierarchy  This Package  Previous  Next  Index