public class StateMachine extends Object
Constructor and Description |
---|
StateMachine() |
Modifier and Type | Method and Description |
---|---|
State |
addInitialState(soot.SootMethod registeredMethod,
boolean isSessionState)
Gets the state for the web method.
|
Set<State> |
getAllStates() |
State |
getInitialState(soot.SootMethod registeredMethod)
Gets the state for the web method.
|
Collection<State> |
getInitialStates() |
void |
removeLambdas() |
String |
toDot() |
public State addInitialState(soot.SootMethod registeredMethod, boolean isSessionState)
public State getInitialState(soot.SootMethod registeredMethod)
public Collection<State> getInitialStates()
public void removeLambdas()
public String toDot()
Copyright © 2008-2012 Anders Møller & Mathias Schwarz.