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

Class AstMapVisitor

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

FieldAccessVisitor, FirstITEStmtVisitor, FixedPointAstMapVisitor, LinearizationVisitor, LocalOutputInvariantVisitor, RegionBoundaryVisitor, RegionInputVisitor, RegionMetricsVisitor, TypePropagationVisitor

public class AstMapVisitor
extends ExprMapVisitor
implements AstVisitor<Stmt>

A RangerIR statement visitor that creates a new instance of the statement.

Field Summary

Fields

Modifier and Type	Field and Description
protected ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression>	eva
protected ExprVisitor<za.ac.sun.cs.green.expr.Expression>	exprVisitor

Constructor Summary

Constructors

Constructor and Description
AstMapVisitor(ExprVisitor<za.ac.sun.cs.green.expr.Expression> exprVisitor)

Method Summary

Modifier and Type	Method and Description
Stmt	visit(ArrayLengthInstruction c)
Stmt	visit(ArrayLoadInstruction c)
Stmt	visit(ArrayStoreInstruction c)
Stmt	visit(AssignmentStmt a)
Stmt	visit(CheckCastInstruction c)
Stmt	visit(CompositionStmt a)
Stmt	visit(GetInstruction c)
Stmt	visit(IfThenElseStmt a)
Stmt	visit(InstanceOfInstruction c)
Stmt	visit(InvokeInstruction c)
Stmt	visit(NewInstruction c)
Stmt	visit(PhiInstruction c)
Stmt	visit(PutInstruction c)
Stmt	visit(ReturnInstruction c)
Stmt	visit(SkipStmt a)
Stmt	visit(SPFCaseStmt c)
Stmt	visit(SwitchInstruction c)
Stmt	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<za.ac.sun.cs.green.expr.Expression> exprVisitor

eva

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

Constructor Detail

AstMapVisitor

public AstMapVisitor(ExprVisitor<za.ac.sun.cs.green.expr.Expression> exprVisitor)

Method Detail

visit

public Stmt visit(AssignmentStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(CompositionStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(IfThenElseStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(SkipStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(SPFCaseStmt c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ArrayLoadInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ArrayStoreInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(SwitchInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ReturnInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(GetInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(PutInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(NewInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(InvokeInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ArrayLengthInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(ThrowInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(CheckCastInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(InstanceOfInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

visit

public Stmt visit(PhiInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>