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>

Author:

Manu Sridharan

Constructor Summary

Constructors

Constructor	Description
PointerKeyAndState(PointerKey pk, StateMachine.State state)

Method Summary

Modifier and Type	Method	Description
PointerKey	getPointerKey()

Methods inherited from class com.ibm.wala.demandpa.alg.WithState

equals, getState, getWrapped, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

PointerKeyAndState

public PointerKeyAndState(PointerKey pk,
 StateMachine.State state)

Method Details

getPointerKey

public PointerKey getPointerKey()