Class AstTypeInference
- java.lang.Object
-
- com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T>
-
- com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<T>
-
- com.ibm.wala.dataflow.ssa.SSAInference<TypeVariable>
-
- com.ibm.wala.analysis.typeInference.TypeInference
-
- com.ibm.wala.cast.analysis.typeInference.AstTypeInference
-
- All Implemented Interfaces:
FixedPointConstants
,IFixedPointSolver<TypeVariable>
,VerboseAction
public abstract class AstTypeInference extends TypeInference
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description protected class
AstTypeInference.AstTypeOperatorFactory
-
Nested classes/interfaces inherited from class com.ibm.wala.analysis.typeInference.TypeInference
TypeInference.DeclaredTypeOperator, TypeInference.PrimitivePropagateOperator, TypeInference.TypeOperatorFactory, TypeInference.TypeVarFactory
-
Nested classes/interfaces inherited from class com.ibm.wala.dataflow.ssa.SSAInference
SSAInference.OperatorFactory<T extends IVariable>, SSAInference.VariableFactory
-
Nested classes/interfaces inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver
AbstractFixedPointSolver.Statement
-
-
Field Summary
-
Fields inherited from class com.ibm.wala.analysis.typeInference.TypeInference
BOTTOM, cha, doPrimitives, ir, language
-
Fields inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver
DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList
-
Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
-
-
Constructor Summary
Constructors Constructor Description AstTypeInference(IR ir, IClassHierarchy cha, TypeAbstraction booleanType, boolean doPrimitives)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
initialize()
-
Methods inherited from class com.ibm.wala.analysis.typeInference.TypeInference
extractAllResults, getConstantPrimitiveType, getConstantType, getIR, getType, initializeVariables, initializeWorkList, isUndefined, make, makeStmtRHS, solve, solve
-
Methods inherited from class com.ibm.wala.dataflow.ssa.SSAInference
getVariable, init, toString
-
Methods inherited from class com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver
getFixedPointSystem
-
Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver
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
-
-
-
-
Constructor Detail
-
AstTypeInference
public AstTypeInference(IR ir, IClassHierarchy cha, TypeAbstraction booleanType, boolean doPrimitives)
-
-
Method Detail
-
initialize
protected void initialize()
- Overrides:
initialize
in classTypeInference
-
-