public abstract class AstTypeInference extends TypeInference
Modifier and Type | Class and Description |
---|---|
protected class |
AstTypeInference.AstTypeOperatorFactory |
TypeInference.DeclaredTypeOperator, TypeInference.PrimitivePropagateOperator, TypeInference.TypeOperatorFactory, TypeInference.TypeVarFactory
SSAInference.OperatorFactory<T extends IVariable>, SSAInference.VariableFactory
AbstractFixedPointSolver.Statement
BOTTOM, cha, doPrimitives, ir, language
DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
Constructor and Description |
---|
AstTypeInference(IR ir,
IClassHierarchy cha,
TypeAbstraction booleanType,
boolean doPrimitives) |
Modifier and Type | Method and Description |
---|---|
protected void |
initialize() |
extractAllResults, getConstantPrimitiveType, getConstantType, getIR, getType, initializeVariables, initializeWorkList, isUndefined, make, makeStmtRHS, solve, solve
getVariable, init, toString
getFixedPointSystem
addAllStatementsToWorkList, addToWorkList, changedVariable, emptyWorkList, getMaxEvalBetweenTopo, getMinSizeForTopSort, getNumberOfEvaluations, getPeriodicMaintainInterval, getStatements, getTopologicalGrowthFactor, getVerboseInterval, incNumberOfEvaluations, initForFirstSolve, isChanged, isFixed, isSideEffect, lineBreak, newStatement, newStatement, newStatement, newStatement, newStatement, orderStatements, performVerboseAction, periodicMaintenance, removeStatement, setMaxEvalBetweenTopo, setMinEquationsForTopSort, setTopologicalGrowthFactor
public AstTypeInference(IR ir, IClassHierarchy cha, TypeAbstraction booleanType, boolean doPrimitives)
protected void initialize()
initialize
in class TypeInference