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

Method Index

 o getFailurePoint()
Return the failure point attribute.
 o getInSegment()
Return the input segment of this atom (only one).
 o getOutSegment()
Return the output segment of this atom (only one).
 o getPostconditionList()
Return the list of postconditions of this stub.
 o getPreconditionList()
Return the list of preconditions of this atom.
 o getShared()
Return the shared attribute.
 o setFailurePoint(boolean)
Set the failure point attribute.
 o setInSegment(String)
Set the input segment of this atom (only one).
 o setOutSegment(String)
Set the output segment of this atom (only one).
 o setPostconditionList(Vector)
Set the list of postconditions of this atom (may have more than one).
 o setPreconditionList(Vector)
Set the list of preconditions of this atom (may have more than one).
 o setShared(boolean)
Set the shared attribute.
 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 setOutSegment
 public void setOutSegment(String n)
Set the output segment of this atom (only one).

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

Returns:
the output segment identifier
 o 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
 o getFailurePoint
 public boolean getFailurePoint()
Return the failure point attribute. "true" indicates a possible failure point on this segment.

Returns:
the value of the attribute
 o 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
 o 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
 o 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
 o 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
 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