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

Class TypePropagationVisitor

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.typepropagation.TypePropagationVisitor

All Implemented Interfaces:

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

public class TypePropagationVisitor
extends AstMapVisitor

Field Summary

Fields

Modifier and Type	Field and Description
private ExprVisitorAdapter<za.ac.sun.cs.green.expr.Expression>	eva
private DynamicTable	varTypeTable

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

exprVisitor

Constructor Summary

Constructors

Constructor and Description
TypePropagationVisitor(DynamicTable varTypeTable)

Method Summary

Modifier and Type	Method and Description
static DynamicTable	propagateTypes(DynamicRegion dynRegion)
Stmt	visit(AssignmentStmt a)

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, 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

Field Detail

varTypeTable

private DynamicTable varTypeTable

eva

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

Constructor Detail

TypePropagationVisitor

public TypePropagationVisitor(DynamicTable varTypeTable)

Method Detail

visit

public Stmt visit(AssignmentStmt a)

Specified by:

visit in interface AstVisitor<Stmt>

Overrides:

visit in class AstMapVisitor

propagateTypes

public static DynamicTable propagateTypes(DynamicRegion dynRegion)