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

java.lang.Object
  com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver
      com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver
          com.ibm.wala.dataflow.ssa.SSAInference
              com.ibm.wala.analysis.typeInference.TypeInference
                  com.ibm.wala.cast.analysis.typeInference.AstTypeInference

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver, VerboseAction

Direct Known Subclasses:

AstJavaTypeInference, JSTypeInference

public abstract class AstTypeInference
extends TypeInference

Nested Class Summary

protected class

AstTypeInference.AstTypeOperatorFactory

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

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

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

SSAInference.OperatorFactory, SSAInference.VariableFactory

Field Summary

Fields inherited from class com.ibm.wala.analysis.typeInference.TypeInference

BOTTOM, cha, doPrimitives, ir

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

AstTypeInference(IR ir, ClassHierarchy cha, TypeAbstraction booleanType, boolean doPrimitives)

Method Summary

protected void

initialize()

Methods inherited from class com.ibm.wala.analysis.typeInference.TypeInference

getConstantPrimitiveType, getConstantType, getIR, getType, initializeVariables, initializeWorkList, isUndefined

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, solve

Methods inherited from class java.lang.Object

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

Constructor Detail

AstTypeInference

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

Method Detail

initialize

protected void initialize()

Overrides:

initialize in class TypeInference