gov.nasa.jpf.symbc.veritesting.ast.def

Class CloneableVariable

java.lang.Object

za.ac.sun.cs.green.expr.Expression

za.ac.sun.cs.green.expr.Variable

gov.nasa.jpf.symbc.veritesting.ast.def.CloneableVariable

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<za.ac.sun.cs.green.expr.Expression>

Direct Known Subclasses:

ArrayRefVarExpr, AstVarExpr, FieldRefVarExpr, WalaVarExpr

public abstract class CloneableVariable
extends za.ac.sun.cs.green.expr.Variable
implements java.lang.Cloneable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CloneableVariable(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
abstract CloneableVariable	clone()
abstract boolean	equals(java.lang.Object obj)
abstract int	hashCode()
abstract CloneableVariable	makeUnique(int unique)

Methods inherited from class za.ac.sun.cs.green.expr.Variable

getName, getOriginal

Methods inherited from class za.ac.sun.cs.green.expr.Expression

accept, compareTo, getLeftLength, getLength, getOperationVector, numVar, numVarLeft, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CloneableVariable

public CloneableVariable(java.lang.String name)

Method Detail

clone

public abstract CloneableVariable clone()
                                 throws java.lang.CloneNotSupportedException

Overrides:

clone in class java.lang.Object

Throws:

java.lang.CloneNotSupportedException

makeUnique

public abstract CloneableVariable makeUnique(int unique)
                                      throws StaticRegionException

Throws:

StaticRegionException

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public abstract boolean equals(java.lang.Object obj)

Specified by:

equals in class za.ac.sun.cs.green.expr.Expression