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	Description
InstanceKeyAndState(InstanceKey ik, StateMachine.State state)

Method Summary

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

InstanceKeyAndState

public InstanceKeyAndState(InstanceKey ik,
 StateMachine.State state)

Method Details

getInstanceKey

public InstanceKey getInstanceKey()