com.ibm.wala.demandpa.alg

Class IntraProcFilter

java.lang.Object

com.ibm.wala.demandpa.alg.IntraProcFilter

All Implemented Interfaces:

StateMachine<IFlowLabel>

public class IntraProcFilter
extends java.lang.Object
implements StateMachine<IFlowLabel>

State machine that only allows intraprocedural paths. Mainly for testing purposes.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	IntraProcFilter.Factory

Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.alg.statemachine.StateMachine

StateMachine.State

Field Summary

Fields inherited from interface com.ibm.wala.demandpa.alg.statemachine.StateMachine

ERROR

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getStartState

public StateMachine.State getStartState()

Specified by:

getStartState in interface StateMachine<IFlowLabel>

transition

public StateMachine.State transition(StateMachine.State prevState,
                                     IFlowLabel label)
                              throws java.lang.IllegalArgumentException

Specified by:

transition in interface StateMachine<IFlowLabel>

Returns:

the successor state of prevState for the transition labelled label, or null if no such transition exists

Throws:

java.lang.IllegalArgumentException

See Also:

StatesMergedException