Package crypto.typestate

Class RuleTransitions

java.lang.Object

crypto.typestate.RuleTransitions

public class RuleTransitions
extends Object

Method Summary

Modifier and Type	Method	Description
Collection<LabeledMatcherTransition>	getAllTransitions()
typestate.TransitionFunction	getInitialWeight(boomerang.scene.ControlFlowGraph.Edge edge)
CrySLRule	getRule()
static RuleTransitions	of(CrySLRule rule)

Methods inherited from class java.lang.Object

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

Method Detail

of

public static RuleTransitions of(CrySLRule rule)

getRule

public CrySLRule getRule()

getAllTransitions

public Collection<LabeledMatcherTransition> getAllTransitions()

getInitialWeight

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