Class InstanceFieldKeyAndState
java.lang.Object
com.ibm.wala.demandpa.alg.WithState<InstanceFieldKey>
com.ibm.wala.demandpa.alg.InstanceFieldKeyAndState
-
Constructor Summary
ConstructorDescriptionInstanceFieldKeyAndState
(InstanceFieldKey wrapped, StateMachine.State state) -
Method Summary
-
Constructor Details
-
InstanceFieldKeyAndState
-
-
Method Details
-
getInstanceFieldKey
-