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

Class JSTypeInference

  • 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 class JSTypeInference
extends com.ibm.wala.cast.analysis.typeInference.AstTypeInference

    • Nested Class Summary

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

        com.ibm.wala.cast.analysis.typeInference.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 Description
      JSTypeInference​(com.ibm.wala.ssa.IR ir, com.ibm.wala.ipa.cha.IClassHierarchy cha)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      com.ibm.wala.analysis.typeInference.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 Detail

      • JSTypeInference

        public JSTypeInference​(com.ibm.wala.ssa.IR ir,
                       com.ibm.wala.ipa.cha.IClassHierarchy cha)

    • Method Detail

      • initialize

        protected void initialize()
        Overrides:
        initialize in class com.ibm.wala.cast.analysis.typeInference.AstTypeInference

      • getConstantType

        public com.ibm.wala.analysis.typeInference.TypeAbstraction getConstantType​(int valueNumber)
        Overrides:
        getConstantType in class com.ibm.wala.analysis.typeInference.TypeInference