gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases

Class SpfToGreenExprVisitor

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases.SpfToGreenExprVisitor

All Implemented Interfaces:

ExprVisitor<za.ac.sun.cs.green.expr.Expression>

public class SpfToGreenExprVisitor
extends java.lang.Object
implements ExprVisitor<za.ac.sun.cs.green.expr.Expression>

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression>	eva
(package private) za.ac.sun.cs.green.expr.Expression	toAssign

Constructor Summary

Constructors

Constructor and Description
SpfToGreenExprVisitor()

Method Summary

Modifier and Type	Method and Description
za.ac.sun.cs.green.expr.Expression	assign(za.ac.sun.cs.green.expr.Expression e)
static za.ac.sun.cs.green.expr.Expression	bad(java.lang.Object obj)
void	setAssign(za.ac.sun.cs.green.expr.Expression toAssign)
za.ac.sun.cs.green.expr.Expression	visit(ArrayRefVarExpr expr)
za.ac.sun.cs.green.expr.Expression	visit(AstVarExpr expr)
za.ac.sun.cs.green.expr.Expression	visit(FieldRefVarExpr expr)
za.ac.sun.cs.green.expr.Expression	visit(GammaVarExpr expr)
za.ac.sun.cs.green.expr.Expression	visit(IfThenElseExpr expr)
za.ac.sun.cs.green.expr.Expression	visit(za.ac.sun.cs.green.expr.IntConstant expr)
za.ac.sun.cs.green.expr.Expression	visit(za.ac.sun.cs.green.expr.IntVariable expr)
za.ac.sun.cs.green.expr.Expression	visit(za.ac.sun.cs.green.expr.Operation expr)
za.ac.sun.cs.green.expr.Expression	visit(za.ac.sun.cs.green.expr.RealConstant expr)
za.ac.sun.cs.green.expr.Expression	visit(za.ac.sun.cs.green.expr.RealVariable expr)
za.ac.sun.cs.green.expr.Expression	visit(za.ac.sun.cs.green.expr.StringConstantGreen expr)
za.ac.sun.cs.green.expr.Expression	visit(za.ac.sun.cs.green.expr.StringVariable expr)
za.ac.sun.cs.green.expr.Expression	visit(WalaVarExpr expr)

Methods inherited from class java.lang.Object

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

Field Detail

toAssign

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

eva

ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression> eva

Constructor Detail

SpfToGreenExprVisitor

public SpfToGreenExprVisitor()

Method Detail

setAssign

public void setAssign(za.ac.sun.cs.green.expr.Expression toAssign)

bad

public static za.ac.sun.cs.green.expr.Expression bad(java.lang.Object obj)

assign

public za.ac.sun.cs.green.expr.Expression assign(za.ac.sun.cs.green.expr.Expression e)

visit

public za.ac.sun.cs.green.expr.Expression visit(GammaVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(AstVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(IfThenElseExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(WalaVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(FieldRefVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(ArrayRefVarExpr expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.IntConstant expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.IntVariable expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.Operation expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.RealConstant expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.RealVariable expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.StringConstantGreen expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>

visit

public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.StringVariable expr)

Specified by:

visit in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>