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

Class DalvikTypeVariable

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractVariable<TypeVariable>

com.ibm.wala.analysis.typeInference.TypeVariable

com.ibm.wala.dalvik.analysis.typeInference.DalvikTypeVariable

All Implemented Interfaces:

IVariable<TypeVariable>, INodeWithNumber

public class DalvikTypeVariable
extends TypeVariable

Constructor Summary

Constructors

Constructor	Description
DalvikTypeVariable(TypeAbstraction type)
DalvikTypeVariable(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(TypeAbstraction type,
 boolean isIntZeroConstant)

DalvikTypeVariable

public DalvikTypeVariable(TypeAbstraction type)

Method Details

isIntZeroConstant

public boolean isIntZeroConstant()