Uses of Class
pascal.taie.config.PlanConfig

Packages that use PlanConfig

Package	Description
pascal.taie.config	This package provides functionality for processing options and configurations.

Uses of PlanConfig in pascal.taie.config

Methods in pascal.taie.config that return types with arguments of type PlanConfig

Modifier and Type	Method	Description
static List<PlanConfig>	PlanConfig.readConfigs(File file)	Read a list of PlanConfig from given file.
static List<PlanConfig>	PlanConfig.readConfigs(Options options)	Reads a list of PlanConfig from options.

Method parameters in pascal.taie.config with type arguments of type PlanConfig

Modifier and Type	Method	Description
Plan	AnalysisPlanner.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	AnalysisPlanner.makePlan(List<PlanConfig> planConfigs, boolean reachableScope)	This method makes a plan by converting given list of PlanConfig to AnalysisConfig.
void	ConfigManager.overwriteOptions(List<PlanConfig> planConfigs)	Overwrites the AnalysisConfig.options by corresponding PlanConfig.options.
static void	PlanConfig.writeConfigs(List<PlanConfig> planConfigs, File outputDir)	Writes a list of PlanConfigs to given file.