Uses of Class
boomerang.Query

Packages that use Query

Package	Description
boomerang
boomerang.guided
boomerang.poi
boomerang.results
boomerang.scene
boomerang.solver
boomerang.stats

Uses of Query in boomerang

Subclasses of Query in boomerang

Modifier and Type	Class and Description
class	BackwardQuery
class	ForwardQuery
class	ForwardQueryArray
class	ForwardQueryMultiDimensionalArray
class	WeightedForwardQuery<W extends wpds.impl.Weight>

Methods in boomerang that return types with arguments of type Query

Modifier and Type	Method and Description
Set<Query>	QueryGraph.getNodes()

Methods in boomerang with parameters of type Query

Modifier and Type	Method and Description
void	QueryGraph.addEdge(Query parent, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, Query child)
void	QueryGraph.addRoot(Query root)
void	WeightedBoomerang.FieldWritePOI.execute(ForwardQuery baseAllocation, Query flowAllocation)
boolean	QueryGraph.isRoot(Query q)
void	SolverCreationListener.onCreatedSolver(Query query, AbstractBoomerangSolver<W> solver)
void	WeightedBoomerang.onCreateSubSolver(Query key, AbstractBoomerangSolver<W> solver)
void	WeightedBoomerang.printAutomata(Query q)
BackwardBoomerangResults<W>	WeightedBoomerang.solveUnderScope(BackwardQuery query, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> triggeringNode, Query parentQuery)
ForwardBoomerangResults<W>	WeightedBoomerang.solveUnderScope(ForwardQuery query, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> triggeringNode, Query parentQuery)

Uses of Query in boomerang.guided

Methods in boomerang.guided that return types with arguments of type Query

Modifier and Type	Method and Description
Collection<Query>	IDemandDrivenGuidedManager.onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)
Collection<Query>	SimpleSpecificationGuidedManager.onBackwardFlow(BackwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)
Collection<Query>	IDemandDrivenGuidedManager.onForwardFlow(ForwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)
Collection<Query>	SimpleSpecificationGuidedManager.onForwardFlow(ForwardQuery query, ControlFlowGraph.Edge dataFlowEdge, Val dataFlowVal)

Methods in boomerang.guided with parameters of type Query

Modifier and Type	Method and Description
QueryGraph<wpds.impl.Weight.NoWeight>	DemandDrivenGuidedAnalysis.run(Query query) The query graph takes as input an initial query from which all follow up computations are computed.

Uses of Query in boomerang.poi

Methods in boomerang.poi with parameters of type Query

Modifier and Type	Method and Description
void	PointOfIndirection.addFlowAllocation(Query flowAllocation)
abstract void	PointOfIndirection.execute(ForwardQuery baseAllocation, Query flowAllocation)

Uses of Query in boomerang.results

Methods in boomerang.results that return Query

Modifier and Type	Method and Description
Query	NullPointerDereference.getQuery()
Query	QueryResults.getQuery()

Methods in boomerang.results with parameters of type Query

Modifier and Type	Method and Description
boolean	BackwardBoomerangResults.aliases(Query el)

Constructors in boomerang.results with parameters of type Query

Constructor and Description
NullPointerDereference(Query query, ControlFlowGraph.Edge statement, Val variable, wpds.impl.PAutomaton<Statement,sync.pds.solver.nodes.INode<Val>> openingContext, wpds.impl.PAutomaton<Statement,sync.pds.solver.nodes.INode<Val>> closingContext, List<PathElement> dataFlowPath)
QueryResults(Query query, Set<AffectedLocation> npes, Set<Method> visMethod, boolean timedout)

Uses of Query in boomerang.scene

Methods in boomerang.scene that return types with arguments of type Query

Modifier and Type	Method and Description
Collection<Query>	AnalysisScope.computeSeeds()
protected abstract Collection<? extends Query>	AnalysisScope.generate(ControlFlowGraph.Edge seed)

Uses of Query in boomerang.solver

Methods in boomerang.solver that return Query

Modifier and Type	Method and Description
Query	ForwardBoomerangSolver.getQuery()

Methods in boomerang.solver with parameters of type Query

Modifier and Type	Method and Description
sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>	AbstractBoomerangSolver.createQueryNodeField(Query query)

Uses of Query in boomerang.stats

Methods in boomerang.stats with parameters of type Query

Modifier and Type	Method and Description
void	SimpleBoomerangStats.registerSolver(Query key, AbstractBoomerangSolver<W> solver)
void	IBoomerangStats.registerSolver(Query key, AbstractBoomerangSolver<W> solver)
void	CSVBoomerangStatsWriter.registerSolver(Query key, AbstractBoomerangSolver<W> solver)
void	AdvancedBoomerangStats.registerSolver(Query key, AbstractBoomerangSolver<W> solver)