Uses of Interface
com.ibm.wala.demandpa.alg.statemachine.StateMachine.State

Packages that use StateMachine.State

Package	Description
com.ibm.wala.demandpa.alg
com.ibm.wala.demandpa.alg.refinepolicy
com.ibm.wala.demandpa.alg.statemachine

Uses of StateMachine.State in com.ibm.wala.demandpa.alg

Classes in com.ibm.wala.demandpa.alg that implement StateMachine.State

Modifier and Type	Class and Description
class	CallStack Representation for a calling context.

Methods in com.ibm.wala.demandpa.alg that return StateMachine.State

Modifier and Type	Method and Description
StateMachine.State	IntraProcFilter.getStartState()
StateMachine.State	WithState.getState()
StateMachine.State	IntraProcFilter.transition(StateMachine.State prevState, IFlowLabel label)
StateMachine.State	ContextSensitiveStateMachine.transition(StateMachine.State prevState, IFlowLabel label)

Methods in com.ibm.wala.demandpa.alg with parameters of type StateMachine.State

Modifier and Type	Method and Description
StateMachine.State	IntraProcFilter.transition(StateMachine.State prevState, IFlowLabel label)
StateMachine.State	ContextSensitiveStateMachine.transition(StateMachine.State prevState, IFlowLabel label)

Constructors in com.ibm.wala.demandpa.alg with parameters of type StateMachine.State

Constructor and Description
InstanceFieldKeyAndState(InstanceFieldKey wrapped, StateMachine.State state)
InstanceKeyAndState(InstanceKey ik, StateMachine.State state)
PointerKeyAndState(PointerKey pk, StateMachine.State state)
WithState(T wrapped, StateMachine.State state)

Uses of StateMachine.State in com.ibm.wala.demandpa.alg.refinepolicy

Methods in com.ibm.wala.demandpa.alg.refinepolicy with parameters of type StateMachine.State

Modifier and Type	Method and Description
boolean	TunedFieldRefinementPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	OnlyArraysPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	NeverRefineFieldsPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	ManualFieldPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	FieldRefinePolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)
boolean	DelegatingFieldRefinePolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state) returns true if A.shouldRefine(field) || B.shouldRefine(field).
boolean	AlwaysRefineFieldsPolicy.shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)

Uses of StateMachine.State in com.ibm.wala.demandpa.alg.statemachine

Fields in com.ibm.wala.demandpa.alg.statemachine declared as StateMachine.State

Modifier and Type	Field and Description
static StateMachine.State	StateMachine.ERROR

Methods in com.ibm.wala.demandpa.alg.statemachine that return StateMachine.State

Modifier and Type	Method and Description
StateMachine.State	StateMachine.getStartState()
StateMachine.State	DummyStateMachine.getStartState()
StateMachine.State	StateMachine.transition(StateMachine.State prevState, T label)
StateMachine.State	DummyStateMachine.transition(StateMachine.State prevState, T label)

Methods in com.ibm.wala.demandpa.alg.statemachine with parameters of type StateMachine.State

Modifier and Type	Method and Description
StateMachine.State	StateMachine.transition(StateMachine.State prevState, T label)
StateMachine.State	DummyStateMachine.transition(StateMachine.State prevState, T label)