Package pascal.taie.config

Class AnalysisPlanner

java.lang.Object

pascal.taie.config.AnalysisPlanner

public class AnalysisPlanner
extends Object

Makes analysis plan based on given plan configs and analysis configs.

Constructor Summary

Constructors

Constructor	Description
AnalysisPlanner(ConfigManager manager, Set<String> keepResult)

Method Summary

Modifier and Type	Method	Description
Plan	expandPlan(List<PlanConfig> planConfigs, boolean reachableScope)	This method makes an analysis plan based on given plan configs, and it will automatically add required analyses (which are not in the given plan) to the resulting plan.
Plan	makePlan(List<PlanConfig> planConfigs, boolean reachableScope)	This method makes a plan by converting given list of PlanConfig to AnalysisConfig.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AnalysisPlanner

public AnalysisPlanner(ConfigManager manager,
 Set<String> keepResult)

Method Details

makePlan

public Plan makePlan(List<PlanConfig> planConfigs,
 boolean reachableScope)

This method makes a plan by converting given list of PlanConfig to AnalysisConfig. It will be used when analysis plan is specified by configuration file.

Returns:

the analysis plan consists of a list of analysis config.

Throws:

ConfigException - if the given planConfigs are invalid.

expandPlan

public Plan expandPlan(List<PlanConfig> planConfigs,
 boolean reachableScope)

This method makes an analysis plan based on given plan configs, and it will automatically add required analyses (which are not in the given plan) to the resulting plan. It will be used when analysis plan is specified by command line options.

Returns:

the analysis plan consisting of a list of analysis config.

Throws:

ConfigException - if the specified planConfigs is invalid.