Package com.ibm.wala.demandpa.alg

Class InstanceFieldKeyAndState

java.lang.Object

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

com.ibm.wala.demandpa.alg.InstanceFieldKeyAndState

public class InstanceFieldKeyAndState
extends WithState<InstanceFieldKey>

Constructor Summary

Constructors

Constructor	Description
InstanceFieldKeyAndState(InstanceFieldKey wrapped, StateMachine.State state)

Method Summary

Modifier and Type	Method	Description
InstanceFieldKey	getInstanceFieldKey()

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

InstanceFieldKeyAndState

public InstanceFieldKeyAndState(InstanceFieldKey wrapped,
 StateMachine.State state)

Method Details

getInstanceFieldKey

public InstanceFieldKey getInstanceFieldKey()