Package com.ibm.wala.cast.java.analysis.typeInference

Class AstJavaTypeInference

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

com.ibm.wala.cast.java.analysis.typeInference.AstJavaTypeInference

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver<TypeVariable>, VerboseAction

public class AstJavaTypeInference
extends AstTypeInference

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	AstJavaTypeInference.AstJavaTypeOperatorFactory
class	AstJavaTypeInference.AstJavaTypeVarFactory
protected class	AstJavaTypeInference.PrimAndStringOp

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

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<T>>, SSAInference.VariableFactory<T extends IVariable<T>>

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

AbstractFixedPointSolver.Statement

Field Summary

Fields

Modifier and Type	Field	Description
protected IClass	stringClass

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
AstJavaTypeInference(IR ir, boolean doPrimitives)

Method Summary

Modifier and Type	Method	Description
TypeAbstraction	getConstantPrimitiveType(int valueNumber)
protected void	initialize()

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

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

Field Details

stringClass

protected IClass stringClass

Constructor Details

AstJavaTypeInference

public AstJavaTypeInference(IR ir,
 boolean doPrimitives)

Method Details

initialize

protected void initialize()

Overrides:

initialize in class AstTypeInference

getConstantPrimitiveType

public TypeAbstraction getConstantPrimitiveType(int valueNumber)

Overrides:

getConstantPrimitiveType in class TypeInference