Package crypto.typestate

Class MatcherTransitionCollection

java.lang.Object

crypto.typestate.MatcherTransitionCollection

public class MatcherTransitionCollection
extends Object

Method Summary

Modifier and Type	Method	Description
Set<LabeledMatcherTransition>	getAllTransitions()
Collection<TransitionEdge>	getInitialTransitions()
typestate.TransitionFunction	getInitialWeight(boomerang.scene.ControlFlowGraph.Edge stmt)
static MatcherTransitionCollection	makeCollection(StateMachineGraph smg)
static MatcherTransitionCollection	makeOne()

Methods inherited from class java.lang.Object

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

Method Detail

makeCollection

public static MatcherTransitionCollection makeCollection(StateMachineGraph smg)

makeOne

public static MatcherTransitionCollection makeOne()

getInitialWeight

public typestate.TransitionFunction getInitialWeight(boomerang.scene.ControlFlowGraph.Edge stmt)

getInitialTransitions

public Collection<TransitionEdge> getInitialTransitions()

getAllTransitions

public Set<LabeledMatcherTransition> getAllTransitions()