Package com.ibm.wala.dalvik.analysis.typeInference

Class DalvikTypeVariable

java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractVariable<com.ibm.wala.analysis.typeInference.TypeVariable>
com.ibm.wala.analysis.typeInference.TypeVariable
com.ibm.wala.dalvik.analysis.typeInference.DalvikTypeVariable
All Implemented Interfaces:
com.ibm.wala.fixpoint.IVariable<com.ibm.wala.analysis.typeInference.TypeVariable>, com.ibm.wala.util.graph.INodeWithNumber
public class DalvikTypeVariable extends com.ibm.wala.analysis.typeInference.TypeVariable

  • Constructor Summary

    Constructors
    Constructor
    Description
    DalvikTypeVariable(com.ibm.wala.analysis.typeInference.TypeAbstraction type)
     
    DalvikTypeVariable(com.ibm.wala.analysis.typeInference.TypeAbstraction type, boolean isIntZeroConstant)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isIntZeroConstant()
     

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

    copyState, getType, setType, toString

    Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable

    equals, getOrderNumber, hashCode, nextHash, setOrderNumber

    Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber

    getGraphNodeId, setGraphNodeId

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber

    getGraphNodeId, setGraphNodeId

  • Constructor Details

    • DalvikTypeVariable

      public DalvikTypeVariable(com.ibm.wala.analysis.typeInference.TypeAbstraction type, boolean isIntZeroConstant)

    • DalvikTypeVariable

      public DalvikTypeVariable(com.ibm.wala.analysis.typeInference.TypeAbstraction type)

  • Method Details

    • isIntZeroConstant

      public boolean isIntZeroConstant()