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, List<de.darmstadt.tu.crossing.crySL.Event> events)

Uses of StateMachineGraph in crypto.rules

Fields in crypto.rules declared as StateMachineGraph

Modifier and Type	Field	Description
protected StateMachineGraph	CrySLRule.usagePattern

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, List<Map.Entry<String,String>> objects, List<CrySLForbiddenMethod> forbiddenMethods, StateMachineGraph usagePattern, List<ISLConstraint> constraints, List<CrySLPredicate> predicates, List<CrySLPredicate> negatedPredicates)

Uses of StateMachineGraph in crypto.typestate

Constructors in crypto.typestate with parameters of type StateMachineGraph

Constructor	Description
SootBasedStateMachineGraph(StateMachineGraph fsm)