Class PrefixVariable
- All Implemented Interfaces:
IVariable<PrefixVariable>
,INodeWithNumber
-
Field Summary
Modifier and TypeFieldDescription -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Set this variable to have the same state as another onegetPrefix
(int instance) boolean
static String
toString()
boolean
boolean
updateAll
(PrefixVariable other) 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
-
Field Details
-
knownPrefixes
-
fullPrefixKnown
-
-
Constructor Details
-
PrefixVariable
public PrefixVariable()
-
-
Method Details
-
copyState
Description copied from interface:IVariable
Set this variable to have the same state as another one -
intersect
-
getPrefix
-
updateAll
-
include
-
update
-
toString
-