public class State extends Object
Constructor and Description |
---|
State(boolean inSession,
boolean handler) |
Modifier and Type | Method and Description |
---|---|
void |
addSuccessor(Transition s) |
soot.SootMethod |
getMethod() |
Set<Transition> |
getTransitions() |
boolean |
isHandler() |
boolean |
isInSession() |
void |
removeSuccessor(Transition s) |
void |
setMethod(soot.SootMethod method) |
void |
setTransitions(Set<Transition> transitions) |
public void addSuccessor(Transition s)
public soot.SootMethod getMethod()
public Set<Transition> getTransitions()
public boolean isHandler()
public boolean isInSession()
public void removeSuccessor(Transition s)
public void setMethod(soot.SootMethod method)
public void setTransitions(Set<Transition> transitions)
Copyright © 2008-2012 Anders Møller & Mathias Schwarz.