Package pascal.taie.config

Class ConfigManager

java.lang.Object

pascal.taie.config.ConfigManager

public class ConfigManager
extends Object

Manages a collection of AnalysisConfig.

Constructor Summary

Constructors

Constructor	Description
ConfigManager(List<AnalysisConfig> configs)

Method Summary

Modifier and Type	Method	Description
void	overwriteOptions(List<PlanConfig> planConfigs)	Overwrites the AnalysisConfig.options by corresponding PlanConfig.options.

Methods inherited from class java.lang.Object

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

Constructor Details

ConfigManager

public ConfigManager(List<AnalysisConfig> configs)

Method Details

overwriteOptions

public void overwriteOptions(List<PlanConfig> planConfigs)

Overwrites the AnalysisConfig.options by corresponding PlanConfig.options.