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

Class JSTypeInference

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.js.analysis.typeInference.JSTypeInference

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver<TypeVariable>, VerboseAction

public class JSTypeInference
extends AstTypeInference

Nested Class Summary

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 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
JSTypeInference(IR ir, IClassHierarchy cha)

Method Summary

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

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

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

JSTypeInference

public JSTypeInference(IR ir,
 IClassHierarchy cha)

Method Details

initialize

protected void initialize()

Overrides:

initialize in class AstTypeInference

getConstantType

public TypeAbstraction getConstantType(int valueNumber)

Overrides:

getConstantType in class TypeInference