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