Package crypto.typestate
Class MatcherTransitionCollection
- java.lang.Object
-
- crypto.typestate.MatcherTransitionCollection
-
public class MatcherTransitionCollection extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Set<LabeledMatcherTransition>getAllTransitions()Collection<TransitionEdge>getInitialTransitions()typestate.TransitionFunctiongetInitialWeight(boomerang.scene.ControlFlowGraph.Edge stmt)static MatcherTransitionCollectionmakeCollection(StateMachineGraph smg)static MatcherTransitionCollectionmakeOne()
-
-
-
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()
-
-