Uses of Record Class
pascal.taie.config.Plan

Packages that use Plan

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

Uses of Plan in pascal.taie.analysis

Constructors in pascal.taie.analysis with parameters of type Plan

Modifier	Constructor	Description
	AnalysisManager(Plan plan)

Uses of Plan in pascal.taie.config

Methods in pascal.taie.config that return Plan

Modifier and Type	Method	Description
static Plan	Plan.emptyPlan()
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.