Class IntraProcFilter

java.lang.Object

com.ibm.wala.demandpa.alg.IntraProcFilter

All Implemented Interfaces:

StateMachine<IFlowLabel>

public class IntraProcFilter
extends Object
implements StateMachine<IFlowLabel>

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

Author:

Manu Sridharan

Nested Class Summary

Nested Classes

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

getStartState

public StateMachine.State getStartState()

Specified by:

getStartState in interface StateMachine<IFlowLabel>

transition

public StateMachine.State transition(StateMachine.State prevState,
 IFlowLabel label)
                              throws 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:

IllegalArgumentException

See Also:

• StatesMergedException