com.ibm.wala.cast.analysis.typeInference

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<com.ibm.wala.analysis.typeInference.TypeVariable>

com.ibm.wala.analysis.typeInference.TypeInference

com.ibm.wala.cast.analysis.typeInference.AstTypeInference

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<com.ibm.wala.analysis.typeInference.TypeVariable>, com.ibm.wala.util.debug.VerboseAction

public abstract class AstTypeInference
extends com.ibm.wala.analysis.typeInference.TypeInference

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	AstTypeInference.AstTypeOperatorFactory

Nested classes/interfaces inherited from class com.ibm.wala.analysis.typeInference.TypeInference

com.ibm.wala.analysis.typeInference.TypeInference.DeclaredTypeOperator, com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator, com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory, com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory

Nested classes/interfaces inherited from class com.ibm.wala.dataflow.ssa.SSAInference

com.ibm.wala.dataflow.ssa.SSAInference.OperatorFactory<T extends com.ibm.wala.fixpoint.IVariable<T>>, com.ibm.wala.dataflow.ssa.SSAInference.VariableFactory<T extends com.ibm.wala.fixpoint.IVariable<T>>

Nested classes/interfaces inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

com.ibm.wala.fixedpoint.impl.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 and Description
AstTypeInference(com.ibm.wala.ssa.IR ir, com.ibm.wala.analysis.typeInference.TypeAbstraction booleanType, boolean doPrimitives)

Method Summary

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

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

Constructor Detail

AstTypeInference

public AstTypeInference(com.ibm.wala.ssa.IR ir,
                        com.ibm.wala.analysis.typeInference.TypeAbstraction booleanType,
                        boolean doPrimitives)

Method Detail

initialize

protected void initialize()

Overrides:

initialize in class com.ibm.wala.analysis.typeInference.TypeInference