Class AstTypeInference

java.lang.Object

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<TypeVariable>

com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<TypeVariable>

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

Direct Known Subclasses:

AstJavaTypeInference, JSTypeInference

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 TypeInference

TypeInference.DeclaredTypeOperator, TypeInference.PrimitivePropagateOperator, TypeInference.TypeOperatorFactory, TypeInference.TypeVarFactory

Nested classes/interfaces inherited from class SSAInference

SSAInference.OperatorFactory<T>, SSAInference.VariableFactory<T>

Nested classes/interfaces inherited from class AbstractFixedPointSolver

AbstractFixedPointSolver.Statement

Field Summary

Fields inherited from class TypeInference

BOTTOM, cha, doPrimitives, ir, language

Fields inherited from class AbstractFixedPointSolver

DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList

Fields inherited from interface 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, TypeAbstraction booleanType, boolean doPrimitives)

Method Summary

Modifier and Type	Method	Description
protected void	initialize()

Methods inherited from class TypeInference

extractAllResults, getConstantPrimitiveType, getConstantType, getIR, getType, initializeVariables, initializeWorkList, isUndefined, make, makeStmtRHS, solve, solve

Methods inherited from class SSAInference

getVariable, init, toString

Methods inherited from class DefaultFixedPointSolver

getFixedPointSystem

Methods inherited from class 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

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

AstTypeInference

public AstTypeInference(IR ir,
 TypeAbstraction booleanType,
 boolean doPrimitives)

Method Details

initialize

protected void initialize()

Overrides:

initialize in class TypeInference