Uses of Class
crypto.typestate.ForwardSeedQuery

Packages that use ForwardSeedQuery

Package	Description
crypto.typestate

Uses of ForwardSeedQuery in crypto.typestate

Methods in crypto.typestate that return ForwardSeedQuery

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

Methods in crypto.typestate that return types with arguments of type ForwardSeedQuery

Modifier and Type	Method	Description
Map<ForwardSeedQuery,boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction>>	TypestateAnalysis.getResults()