Package crypto.typestate

Class ForwardSeedQuery

java.lang.Object

boomerang.Query

boomerang.ForwardQuery

boomerang.WeightedForwardQuery<typestate.TransitionFunction>

crypto.typestate.ForwardSeedQuery

public class ForwardSeedQuery
extends boomerang.WeightedForwardQuery<typestate.TransitionFunction>

Method Summary

Modifier and Type	Method	Description
Collection<LabeledMatcherTransition>	getAllTransitions()
CrySLRule	getRule()
boolean	hasSpecification()
static ForwardSeedQuery	makeQueryWithoutSpecification(boomerang.scene.ControlFlowGraph.Edge stmt, boomerang.scene.Val fact)
static ForwardSeedQuery	makeQueryWithSpecification(boomerang.scene.ControlFlowGraph.Edge stmt, boomerang.scene.Val fact, RuleTransitions transitions)

Methods inherited from class boomerang.WeightedForwardQuery

weight

Methods inherited from class boomerang.ForwardQuery

toString

Methods inherited from class boomerang.Query

asNode, cfgEdge, equals, getType, hashCode, var

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

makeQueryWithSpecification

public static ForwardSeedQuery makeQueryWithSpecification(boomerang.scene.ControlFlowGraph.Edge stmt,
                                                          boomerang.scene.Val fact,
                                                          RuleTransitions transitions)

makeQueryWithoutSpecification

public static ForwardSeedQuery makeQueryWithoutSpecification(boomerang.scene.ControlFlowGraph.Edge stmt,
                                                             boomerang.scene.Val fact)

hasSpecification

public boolean hasSpecification()

getRule

public CrySLRule getRule()

getAllTransitions

public Collection<LabeledMatcherTransition> getAllTransitions()