com.ibm.wala.demandpa.alg

Class InstanceKeyAndState

java.lang.Object

com.ibm.wala.demandpa.alg.WithState<InstanceKey>

com.ibm.wala.demandpa.alg.InstanceKeyAndState

public class InstanceKeyAndState
extends WithState<InstanceKey>

Author:

Manu Sridharan

Constructor Summary

Constructors

Constructor and Description
InstanceKeyAndState(InstanceKey ik, StateMachine.State state)

Method Summary

Modifier and Type	Method and Description
InstanceKey	getInstanceKey()

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

InstanceKeyAndState

public InstanceKeyAndState(InstanceKey ik,
                           StateMachine.State state)

Method Detail

getInstanceKey

public InstanceKey getInstanceKey()