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

Class GammaVarExpr

java.lang.Object

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

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

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

All Implemented Interfaces:

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

public final class GammaVarExpr
extends za.ac.sun.cs.green.expr.Variable

This class provides the representation of Gamma in RangerIR which is extends a Phi to include the condition under which the choice is taken.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
za.ac.sun.cs.green.expr.Expression	condition
za.ac.sun.cs.green.expr.Expression	elseExpr
za.ac.sun.cs.green.expr.Expression	thenExpr

Constructor Summary

Constructors

Constructor and Description
GammaVarExpr(za.ac.sun.cs.green.expr.Expression condition, za.ac.sun.cs.green.expr.Expression thenExpr, za.ac.sun.cs.green.expr.Expression elseExpr)

Method Summary

Modifier and Type	Method and Description
void	accept(za.ac.sun.cs.green.expr.Visitor visitor)
boolean	equals(java.lang.Object o)
int	getLeftLength()
int	getLength()
java.util.List<java.lang.String>	getOperationVector()
int	numVar()
int	numVarLeft()
java.lang.String	toString()

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

getName, getOriginal

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

compareTo

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

condition

public final za.ac.sun.cs.green.expr.Expression condition

thenExpr

public final za.ac.sun.cs.green.expr.Expression thenExpr

elseExpr

public final za.ac.sun.cs.green.expr.Expression elseExpr

Constructor Detail

GammaVarExpr

public GammaVarExpr(za.ac.sun.cs.green.expr.Expression condition,
                    za.ac.sun.cs.green.expr.Expression thenExpr,
                    za.ac.sun.cs.green.expr.Expression elseExpr)

Method Detail

accept

public void accept(za.ac.sun.cs.green.expr.Visitor visitor)
            throws za.ac.sun.cs.green.expr.VisitorException

Specified by:

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

Throws:

za.ac.sun.cs.green.expr.VisitorException

equals

public boolean equals(java.lang.Object o)

Specified by:

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

toString

public java.lang.String toString()

Specified by:

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

getLength

public int getLength()

Specified by:

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

getLeftLength

public int getLeftLength()

Specified by:

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

numVar

public int numVar()

Specified by:

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

numVarLeft

public int numVarLeft()

Specified by:

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

getOperationVector

public java.util.List<java.lang.String> getOperationVector()

Specified by:

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