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 and Description
PointerKeyAndState(PointerKey pk, StateMachine.State state)

Method Summary

Methods

Modifier and Type	Method and 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 Detail

PointerKeyAndState

public PointerKeyAndState(PointerKey pk,
                  StateMachine.State state)

Method Detail

getPointerKey

public PointerKey getPointerKey()