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 WithState

equals, getState, getWrapped, hashCode, toString

Modifier and Type	Method	Description
boolean	equals(Object obj)
StateMachine.State	getState()
PointerKey	getWrapped()
int	hashCode()
String	toString()

Methods inherited from class 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()