All Packages Class Hierarchy This Package Previous Next Index
Class ca.carleton.sce.ucmagents.lfmparse.ASTdynamicStub
ca.carleton.sce.ucmagents.lfmparse.SimpleNode
|
+----ca.carleton.sce.ucmagents.lfmparse.ASTatom
|
+----ca.carleton.sce.ucmagents.lfmparse.ASTdynamicStub
- public class ASTdynamicStub
- extends ASTatom
ASTdynamicStub
is a class that is used as a node in the AST
in order to contain the information related to a dynamic stub (atom).
A dynamic stub also contains a list of plugins (as a child node) from which
a plugin can be selected at run-time.
It was built using jjtree 0.3.5.
- Version:
- 1.00, 1998 01 28
- Author:
- Daniel Amyot, damyot@csi.uottawa.ca
- See Also:
- ASTpluginList, ASTatom, SimpleNode
-
getEnforceBindings()
- Return the list of path bindings that must be enforced by this stub, in order to preserve path
continuity.
-
getInSegmentList()
- Return the list of input segments of this atom.
-
getOutSegmentList()
- Return the list of output segments of this atom.
-
getPostconditionList()
- Return the list of postconditions of this stub.
-
getPreconditionList()
- Return the list of preconditions of this stub.
-
setEnforceBindings(Vector)
- Set the list of path bindings that must be enforced by this stub, in order to preserve path
continuity.
-
setInSegmentList(Vector)
- Set the list of input segments of this atom (may have more than one).
-
setOutSegmentList(Vector)
- Set the list of output segments of this atom (may have more than one).
-
setPostconditionList(Vector)
- Set the list of postconditions of this stub (may have more than one).
-
setPreconditionList(Vector)
- Set the list of preconditions of this stub (may have more than one).
-
toString()
-
setInSegmentList
public void setInSegmentList(Vector isl)
- Set the list of input segments of this atom (may have more than one).
- Parameters:
- isl - the list of input segments as a Vector of input segments identifiers
getInSegmentList
public Vector getInSegmentList()
- Return the list of input segments of this atom.
- Returns:
- the list of input segments as a Vector of input segments identifiers
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.
- Returns:
- the list of output segments as a Vector of output segments identifiers
setPreconditionList
public void setPreconditionList(Vector pl)
- Set the list of preconditions of this stub (may have more than one).
- Parameters:
- pl - the list of preconditions as a Vector of conditions (StringPair of [label, description])
- See Also:
- StringPair
getPreconditionList
public Vector getPreconditionList()
- Return the list of preconditions of this stub.
- Returns:
- the list of preconditions as a Vector of conditions (StringPair of [label, description])
- See Also:
- StringPair
setPostconditionList
public void setPostconditionList(Vector pl)
- Set the list of postconditions of this stub (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
setEnforceBindings
public void setEnforceBindings(Vector eb)
- Set the list of path bindings that must be enforced by this stub, in order to preserve path
continuity.
- Parameters:
- eb - the list of enforced bindings as a Vector of path bindings
(StringPair of [input segment identifier, output segment identifier])
- See Also:
- StringPair
getEnforceBindings
public Vector getEnforceBindings()
- Return the list of path bindings that must be enforced by this stub, in order to preserve path
continuity.
- Returns:
- the list of enforced bindings as a Vector of path bindings
(StringPair of [input segment identifier, output segment identifier])
- See Also:
- StringPair
toString
public String toString()
- Overrides:
- toString in class SimpleNode
All Packages Class Hierarchy This Package Previous Next Index