Package pascal.taie.config

package pascal.taie.config

This package provides functionality for processing options and configurations.

Related Packages

Package	Description
pascal.taie
pascal.taie.analysis
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.util

Class	Description
AnalysisConfig	Configuration for an analysis.
AnalysisOptions	Wrapper class for analysis options.
AnalysisPlanner	Makes analysis plan based on given plan configs and analysis configs.
ConfigException	This class represents the exceptions in configuration.
ConfigManager	Manages a collection of AnalysisConfig.
Configs	Static utility methods for config system.
LoggerConfigs	Utility class for configuring the log4j2 logger.
Options	Option class for Tai-e.
Plan	Contains information about analysis execution plan.
PlanConfig	Configuration for an analysis to be executed.
Scope