public abstract class AstTypeInference extends TypeInference
| Modifier and Type | Class and Description |
|---|---|
protected class |
AstTypeInference.AstTypeOperatorFactory |
TypeInference.DeclaredTypeOperator, TypeInference.PrimitivePropagateOperator, TypeInference.TypeOperatorFactory, TypeInference.TypeVarFactorySSAInference.OperatorFactory<T extends IVariable>, SSAInference.VariableFactoryAbstractFixedPointSolver.StatementBOTTOM, cha, doPrimitives, ir, languageDEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workListCHANGED, 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, solvegetVariable, init, toStringgetFixedPointSystemaddAllStatementsToWorkList, 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, setTopologicalGrowthFactorpublic AstTypeInference(IR ir, IClassHierarchy cha, TypeAbstraction booleanType, boolean doPrimitives)
protected void initialize()
initialize in class TypeInference