public class ContextSensitiveStateMachine extends Object implements StateMachine<IFlowLabel>
Modifier and Type | Class and Description |
---|---|
static class |
ContextSensitiveStateMachine.BasicRecursionHandler
handles method recursion by only collapsing cycles of recursive
calls observed during analysis
|
static class |
ContextSensitiveStateMachine.Factory |
static interface |
ContextSensitiveStateMachine.RecursionHandler |
StateMachine.State
ERROR
Modifier and Type | Method and Description |
---|---|
CallStack |
getStartState() |
StateMachine.State |
transition(StateMachine.State prevState,
IFlowLabel label) |
public CallStack getStartState()
getStartState
in interface StateMachine<IFlowLabel>
public StateMachine.State transition(StateMachine.State prevState, IFlowLabel label) throws IllegalArgumentException, IllegalArgumentException
transition
in interface StateMachine<IFlowLabel>
null
if no such transition existsIllegalArgumentException
StatesMergedException