Package crypto.typestate

Class SootBasedStateMachineGraph

java.lang.Object

crypto.typestate.SootBasedStateMachineGraph

public class SootBasedStateMachineGraph
extends Object

Constructor Summary

Constructors

Constructor	Description
SootBasedStateMachineGraph(StateMachineGraph fsm)

Method Summary

Modifier and Type	Method	Description
void	addTransition(typestate.finiteautomata.MatcherTransition trans)
List<typestate.finiteautomata.MatcherTransition>	getAllTransitions()
Collection<soot.SootMethod>	getEdgesOutOf(typestate.finiteautomata.State n)
Collection<CrySLMethod>	getInitialTransition()
typestate.TransitionFunction	getInitialWeight(boomerang.jimple.Statement stmt)
Collection<soot.SootMethod>	getInvolvedMethods()
Collection<soot.SootMethod>	initialTransitonLabel()

Methods inherited from class java.lang.Object

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

Constructor Detail

SootBasedStateMachineGraph

public SootBasedStateMachineGraph(StateMachineGraph fsm)

Method Detail

getEdgesOutOf

public Collection<soot.SootMethod> getEdgesOutOf(typestate.finiteautomata.State n)

addTransition

public void addTransition(typestate.finiteautomata.MatcherTransition trans)

getInvolvedMethods

public Collection<soot.SootMethod> getInvolvedMethods()

getInitialWeight

public typestate.TransitionFunction getInitialWeight(boomerang.jimple.Statement stmt)

getAllTransitions

public List<typestate.finiteautomata.MatcherTransition> getAllTransitions()

initialTransitonLabel

public Collection<soot.SootMethod> initialTransitonLabel()

getInitialTransition

public Collection<CrySLMethod> getInitialTransition()