public class ExprTypeVisitor extends ExprMapVisitor implements ExprVisitor<za.ac.sun.cs.green.expr.Expression>
Modifier and Type | Field and Description |
---|---|
java.lang.String |
latestType |
private DynamicTable |
varTypeTable |
eva
Constructor and Description |
---|
ExprTypeVisitor(DynamicTable varTypeTable) |
Modifier and Type | Method and Description |
---|---|
private boolean |
canPropagateTypeInfo(za.ac.sun.cs.green.expr.Expression srcOp,
za.ac.sun.cs.green.expr.Expression dstOp) |
private java.lang.String |
getConstantType(za.ac.sun.cs.green.expr.Expression op1) |
DynamicTable |
getVarTypeTable() |
private boolean |
isConstant(za.ac.sun.cs.green.expr.Expression e) |
za.ac.sun.cs.green.expr.Expression |
visit(GammaVarExpr expr) |
za.ac.sun.cs.green.expr.Expression |
visit(za.ac.sun.cs.green.expr.Operation operation) |
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
private DynamicTable varTypeTable
public java.lang.String latestType
public ExprTypeVisitor(DynamicTable varTypeTable)
public DynamicTable getVarTypeTable()
public za.ac.sun.cs.green.expr.Expression visit(za.ac.sun.cs.green.expr.Operation operation)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
visit
in class ExprMapVisitor
public za.ac.sun.cs.green.expr.Expression visit(GammaVarExpr expr)
visit
in interface ExprVisitor<za.ac.sun.cs.green.expr.Expression>
visit
in class ExprMapVisitor
private boolean isConstant(za.ac.sun.cs.green.expr.Expression e)
private boolean canPropagateTypeInfo(za.ac.sun.cs.green.expr.Expression srcOp, za.ac.sun.cs.green.expr.Expression dstOp)
private java.lang.String getConstantType(za.ac.sun.cs.green.expr.Expression op1)