Uses of Class
crypto.typestate.RuleTransitions

Packages that use RuleTransitions

Package	Description
crypto.typestate

Uses of RuleTransitions in crypto.typestate

Methods in crypto.typestate that return RuleTransitions

Modifier and Type	Method	Description
static RuleTransitions	RuleTransitions.of(CrySLRule rule)

Methods in crypto.typestate with parameters of type RuleTransitions

Modifier and Type	Method	Description
static ForwardSeedQuery	ForwardSeedQuery.makeQueryWithSpecification(boomerang.scene.ControlFlowGraph.Edge stmt, boomerang.scene.Val fact, RuleTransitions transitions)

Constructor parameters in crypto.typestate with type arguments of type RuleTransitions

Constructor	Description
TypestateAnalysisScope(boomerang.scene.CallGraph callGraph, Map<String,RuleTransitions> ruleTransitions, boomerang.scene.DataFlowScope dataFlowScope)