Uses of Class
crypto.rules.StateMachineGraph

Packages that use StateMachineGraph

Package	Description
crypto.cryslhandler
crypto.rules
crypto.typestate

Uses of StateMachineGraph in crypto.cryslhandler

Methods in crypto.cryslhandler that return StateMachineGraph

Modifier and Type	Method	Description
protected StateMachineGraph	StateMachineGraphBuilder.buildSMG()
static StateMachineGraph	StateMachineGraphBuilder.buildSMG(de.darmstadt.tu.crossing.crySL.Order order, Collection<de.darmstadt.tu.crossing.crySL.Event> events)

Uses of StateMachineGraph in crypto.rules

Methods in crypto.rules that return StateMachineGraph

Modifier and Type	Method	Description
StateMachineGraph	CrySLRule.getUsagePattern()
static StateMachineGraph	StateMachineGraphReader.readFromFile(File file)

Constructors in crypto.rules with parameters of type StateMachineGraph

Constructor	Description
CrySLRule(String className, Collection<Map.Entry<String,String>> objects, Collection<CrySLForbiddenMethod> forbiddenMethods, Collection<CrySLMethod> events, StateMachineGraph usagePattern, Collection<ISLConstraint> constraints, Collection<CrySLPredicate> predicates, Collection<CrySLPredicate> negatedPredicates)

Uses of StateMachineGraph in crypto.typestate

Methods in crypto.typestate with parameters of type StateMachineGraph

Modifier and Type	Method	Description
static MatcherTransitionCollection	MatcherTransitionCollection.makeCollection(StateMachineGraph smg)