All Packages Class Hierarchy This Package Previous Next Index
Class ca.carleton.sce.ucmagents.lfmparse.ASTemptySegment
ca.carleton.sce.ucmagents.lfmparse.SimpleNode
|
+----ca.carleton.sce.ucmagents.lfmparse.ASTatom
|
+----ca.carleton.sce.ucmagents.lfmparse.ASTemptySegment
- public class ASTemptySegment
- extends ASTatom
ASTemptySegment
is a class that is used as a node in the AST
in order to contain the information related to a so-called empty segment (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
-
getFailurePoint()
- Return the failure point attribute.
-
getInSegment()
- Return the input segment of this atom (only one).
-
getOutSegment()
- Return the output segment of this atom (only one).
-
getPostconditionList()
- Return the list of postconditions of this stub.
-
getPreconditionList()
- Return the list of preconditions of this atom.
-
getShared()
- Return the shared attribute.
-
setFailurePoint(boolean)
- Set the failure point attribute.
-
setInSegment(String)
- Set the input segment of this atom (only one).
-
setOutSegment(String)
- Set the output segment of this atom (only one).
-
setPostconditionList(Vector)
- Set the list of postconditions of this atom (may have more than one).
-
setPreconditionList(Vector)
- Set the list of preconditions of this atom (may have more than one).
-
setShared(boolean)
- Set the shared attribute.
-
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
setOutSegment
public void setOutSegment(String n)
- Set the output segment of this atom (only one).
- Parameters:
- n - the output segment identifier
getOutSegment
public String getOutSegment()
- Return the output segment of this atom (only one).
- Returns:
- the output segment identifier
setFailurePoint
public void setFailurePoint(boolean fp)
- Set the failure point attribute. "true" indicates a possible failure point on this segment.
- Parameters:
- fp - the value of the attribute
getFailurePoint
public boolean getFailurePoint()
- Return the failure point attribute. "true" indicates a possible failure point on this segment.
- Returns:
- the value of the attribute
setShared
public void setShared(boolean s)
- Set the shared attribute. "true" indicates that the responsibility
preceeding this empty segment and the one following it are shared.
- Parameters:
- s - the value of the attribute
getShared
public boolean getShared()
- Return the shared attribute. "true" indicates that the responsibility
preceeding this empty segment and the one following it are shared.
- Returns:
- the value of the attribute
setPreconditionList
public void setPreconditionList(Vector pl)
- Set the list of preconditions of this atom (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 atom.
- 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 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