edu.ksu.cis.projects.bogor.ast
Class AssumeAction

java.lang.Object
  edu.ksu.cis.projects.bogor.ast.Node
      edu.ksu.cis.projects.bogor.ast.Action
          edu.ksu.cis.projects.bogor.ast.AssumeAction

All Implemented Interfaces:

IExpParent, Disposable, Serializable, Cloneable

public final class AssumeAction
extends Action
implements IExpParent

Assume action AST.

Version:

CVS $Revision: 1.5 $ $Date: 2005/01/29 18:04:50 $

Author:

Robby

See Also:

Serialized Form

Field Summary

Fields inherited from class edu.ksu.cis.projects.bogor.ast.Node

ILLEGAL_LOCAL_ID_CHAR

Constructor Summary

AssumeAction(Exp exp)
Default constructor.

Method Summary

AssumeAction	clone() Clones this object (deep clone); including location info.
void	dispose() Disposes exp.
Exp	getExp() Gets the exp.
void	setExp(Exp newExp) Sets the exp.
String	toString() Returns the string representation of this object.
void	visit(ASTVisitor visitor)

Methods inherited from class edu.ksu.cis.projects.bogor.ast.Action

getParent, setParent

Methods inherited from class edu.ksu.cis.projects.bogor.ast.Node

getLocationInfo, getProperty, putProperty, setLocationInfo

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AssumeAction

public AssumeAction(Exp exp)

Default constructor. Sets this object as the exp's parent.

Parameters:

exp - The exp. Must be non-null.

Method Detail

setExp

public void setExp(Exp newExp)

Sets the exp. Sets this object as the exp's parent.

Parameters:

newExp - The new exp. Must be non-null.

getExp

public Exp getExp()

Gets the exp.

Returns:

The exp. Non-null.

clone

public AssumeAction clone()

Clones this object (deep clone); including location info.

Specified by:

clone in class Action

Returns:

The clone of this object. Non-null.

dispose

public void dispose()

Disposes exp. Once called, avoid using this object.

Specified by:

dispose in interface Disposable

Overrides:

dispose in class Action

toString

public String toString()

Returns the string representation of this object.

Specified by:

toString in class Node

Returns:

"assume exp;".

visit

public void visit(ASTVisitor visitor)

Specified by:

visit in class Node