Package com.ibm.wala.demandpa.alg
Class InstanceFieldKeyAndState
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.WithState<InstanceFieldKey>
-
- com.ibm.wala.demandpa.alg.InstanceFieldKeyAndState
-
public class InstanceFieldKeyAndState extends WithState<InstanceFieldKey>
-
-
Constructor Summary
Constructors Constructor Description InstanceFieldKeyAndState(InstanceFieldKey wrapped, StateMachine.State state)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description InstanceFieldKey
getInstanceFieldKey()
-
-
-
Constructor Detail
-
InstanceFieldKeyAndState
public InstanceFieldKeyAndState(InstanceFieldKey wrapped, StateMachine.State state)
-
-
Method Detail
-
getInstanceFieldKey
public InstanceFieldKey getInstanceFieldKey()
-
-