DemandDrivenGuidedAnalysis (boomerangPDS 3.2.3 API)

java.lang.Object
- boomerang.guided.DemandDrivenGuidedAnalysis

public class DemandDrivenGuidedAnalysis
extends Object

Constructor Summary

Constructors
Constructor	Description
`DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification, BoomerangOptions options)`
`DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification, BoomerangOptions options, DataFlowScope dataFlowScope)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`cleanUp()`	Ensure to call cleanup to detach all listeners from the solver, otherwise the analysis may run into a Memory issues.
`Boomerang`	`getSolver()`
`QueryGraph<wpds.impl.Weight.NoWeight>`	`run(Query query)`	The query graph takes as input an initial query from which all follow up computations are computed.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - DemandDrivenGuidedAnalysis
```
public DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification,
                                  BoomerangOptions options,
                                  DataFlowScope dataFlowScope)
```
  - DemandDrivenGuidedAnalysis
```
public DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification,
                                  BoomerangOptions options)
```
- Method Detail
  - run
```
public QueryGraph<wpds.impl.Weight.NoWeight> run(Query query)
```
    The query graph takes as input an initial query from which all follow up computations are computed. Based on the specification provided. It returns the QueryGraph which is a graph whose nodes are Boomerang Queries, there is an edge between the queries if there node A triggered a subsequent query B.
    Important note: Ensure to call cleanUp() after finishing the analysis.
    
    Parameters:
    
    query - The initial query to start the analysis from.
    
    Returns:
    
    a query graph containing all queries triggered.
  - cleanUp
```
public void cleanUp()
```
    Ensure to call cleanup to detach all listeners from the solver, otherwise the analysis may run into a Memory issues.
  - getSolver
```
public Boomerang getSolver()
```