Uses of Interface
boomerang.BoomerangOptions

Packages that use BoomerangOptions

Package	Description
boomerang
boomerang.solver
boomerang.weights

Uses of BoomerangOptions in boomerang

Classes in boomerang that implement BoomerangOptions

Modifier and Type	Class and Description
class	DefaultBoomerangOptions
class	FromFileBoomerangOptions
class	IntAndStringBoomerangOptions

Fields in boomerang declared as BoomerangOptions

Modifier and Type	Field and Description
protected BoomerangOptions	WeightedBoomerang.options

Methods in boomerang that return BoomerangOptions

Modifier and Type	Method and Description
BoomerangOptions	WeightedBoomerang.getOptions()

Constructors in boomerang with parameters of type BoomerangOptions

Constructor and Description
Boomerang(BoomerangOptions opt)
WeightedBoomerang(BoomerangOptions options)
WholeProgramBoomerang(BoomerangOptions opts)

Uses of BoomerangOptions in boomerang.solver

Fields in boomerang.solver declared as BoomerangOptions

Modifier and Type	Field and Description
protected BoomerangOptions	AbstractBoomerangSolver.options

Constructors in boomerang.solver with parameters of type BoomerangOptions

Constructor and Description
AbstractBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, Query query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)
BackwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, BackwardQuery query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)
ForwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, ForwardQuery query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)

Uses of BoomerangOptions in boomerang.weights

Constructors in boomerang.weights with parameters of type BoomerangOptions

Constructor and Description
PathTrackingBoomerang(BoomerangOptions opt)