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 and Description
InstanceFieldKeyAndState(InstanceFieldKey wrapped, StateMachine.State state)

Method Summary

Methods

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

InstanceFieldKeyAndState

public InstanceFieldKeyAndState(InstanceFieldKey wrapped,
                        StateMachine.State state)

Method Detail

getInstanceFieldKey

public InstanceFieldKey getInstanceFieldKey()