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

Class AstIterVisitor<T>

java.lang.Object

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

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

All Implemented Interfaces:

AstVisitor<T>, ExprVisitor<za.ac.sun.cs.green.expr.Expression>

Direct Known Subclasses:

ForallAstVisitor

public class AstIterVisitor<T>
extends ExprMapVisitor
implements AstVisitor<T>

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
T	visit(ArrayLengthInstruction c)
T	visit(ArrayLoadInstruction c)
T	visit(ArrayStoreInstruction c)
T	visit(AssignmentStmt a)
T	visit(CheckCastInstruction c)
T	visit(CompositionStmt a)
T	visit(GetInstruction c)
T	visit(IfThenElseStmt a)
T	visit(InstanceOfInstruction c)
T	visit(InvokeInstruction c)
T	visit(NewInstruction c)
T	visit(PhiInstruction c)
T	visit(PutInstruction c)
T	visit(ReturnInstruction c)
T	visit(SkipStmt a)
T	visit(SPFCaseStmt c)
T	visit(SwitchInstruction c)
T	visit(ThrowInstruction c)

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.visitors.ExprMapVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

exprVisitor

protected final ExprVisitor<T> exprVisitor

combine

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

defaultVal

protected final T defaultVal

eva

protected final ExprVisitorAdapter<T> eva

Constructor Detail

AstIterVisitor

public AstIterVisitor(ExprVisitor<T> exprVisitor,
                      java.util.function.BinaryOperator<T> combine,
                      T defaultVal)

Method Detail

visit

public T visit(AssignmentStmt a)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(CompositionStmt a)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(IfThenElseStmt a)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(SkipStmt a)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(SPFCaseStmt c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(ArrayLoadInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(ArrayStoreInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(SwitchInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(ReturnInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(GetInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(PutInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(NewInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(InvokeInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(ArrayLengthInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(ThrowInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(CheckCastInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(InstanceOfInstruction c)

Specified by:

visit in interface AstVisitor<T>

visit

public T visit(PhiInstruction c)

Specified by:

visit in interface AstVisitor<T>