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

Class FieldAccessVisitor

java.lang.Object

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

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

gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldAccessVisitor

All Implemented Interfaces:

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

public class FieldAccessVisitor
extends AstMapVisitor

Field Summary

Fields inherited from class gov.nasa.jpf.symbc.veritesting.ast.visitors.AstMapVisitor

eva, exprVisitor

Constructor Summary

Constructors

Constructor and Description
FieldAccessVisitor()

Method Summary

Modifier and Type	Method and Description
static DynamicRegion	doTransform(gov.nasa.jpf.vm.ThreadInfo ti, DynamicRegion dynRegion)
Stmt	visit(GetInstruction c)
Stmt	visit(PutInstruction c)

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

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

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

Constructor Detail

FieldAccessVisitor

public FieldAccessVisitor()

Method Detail

visit

public Stmt visit(GetInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

visit

public Stmt visit(PutInstruction c)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

doTransform

public static DynamicRegion doTransform(gov.nasa.jpf.vm.ThreadInfo ti,
                                        DynamicRegion dynRegion)