gov.nasa.jpf.symbc.veritesting.ast.visitors

Class ExprIterVisitor<T>

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.visitors.ExprIterVisitor<T>

Type Parameters:

T -

All Implemented Interfaces:

ExprVisitor<T>

Direct Known Subclasses:

ForallExprVisitor

public class ExprIterVisitor<T>
extends java.lang.Object
implements ExprVisitor<T>

Visits all expressions and applies the checking "combine" and returns the result of the checking.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.function.BinaryOperator<T>	combine
protected T	defaultVal
protected ExprVisitorAdapter<T>	eva

Constructor Summary

Constructors

Constructor and Description
ExprIterVisitor(java.util.function.BinaryOperator<T> combine, T defaultVal)

Method Summary

Modifier and Type	Method and Description
T	visit(ArrayRefVarExpr expr)
T	visit(AstVarExpr expr)
T	visit(FieldRefVarExpr expr)
T	visit(GammaVarExpr expr)
T	visit(IfThenElseExpr expr)
T	visit(za.ac.sun.cs.green.expr.IntConstant expr)
T	visit(za.ac.sun.cs.green.expr.IntVariable expr)
T	visit(za.ac.sun.cs.green.expr.Operation expr)
T	visit(za.ac.sun.cs.green.expr.RealConstant expr)
T	visit(za.ac.sun.cs.green.expr.RealVariable expr)
T	visit(za.ac.sun.cs.green.expr.StringConstantGreen expr)
T	visit(za.ac.sun.cs.green.expr.StringVariable expr)
T	visit(WalaVarExpr expr)

Methods inherited from class java.lang.Object

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

Field Detail

combine

protected final java.util.function.BinaryOperator<T> combine

defaultVal

protected final T defaultVal

eva

protected final ExprVisitorAdapter<T> eva

Constructor Detail

ExprIterVisitor

public ExprIterVisitor(java.util.function.BinaryOperator<T> combine,
                       T defaultVal)

Method Detail

visit

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

Specified by:

visit in interface ExprVisitor<T>

visit

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

Specified by:

visit in interface ExprVisitor<T>

visit

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

Specified by:

visit in interface ExprVisitor<T>

visit

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

Specified by:

visit in interface ExprVisitor<T>

visit

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

Specified by:

visit in interface ExprVisitor<T>

visit

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

Specified by:

visit in interface ExprVisitor<T>

visit

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

Specified by:

visit in interface ExprVisitor<T>

visit

public T visit(WalaVarExpr expr)

Specified by:

visit in interface ExprVisitor<T>

visit

public T visit(AstVarExpr expr)

Specified by:

visit in interface ExprVisitor<T>

visit

public T visit(FieldRefVarExpr expr)

Specified by:

visit in interface ExprVisitor<T>

visit

public T visit(ArrayRefVarExpr expr)

Specified by:

visit in interface ExprVisitor<T>

visit

public T visit(GammaVarExpr expr)

Specified by:

visit in interface ExprVisitor<T>

visit

public T visit(IfThenElseExpr expr)

Specified by:

visit in interface ExprVisitor<T>