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 and Description
DalvikTypeVariable(com.ibm.wala.analysis.typeInference.TypeAbstraction type)
DalvikTypeVariable(com.ibm.wala.analysis.typeInference.TypeAbstraction type, boolean isIntZeroConstant)

Method Summary

Methods

Modifier and Type	Method and 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 Detail

DalvikTypeVariable

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

DalvikTypeVariable

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

Method Detail

isIntZeroConstant

public boolean isIntZeroConstant()