Package pascal.taie.config

Class PlanConfig

java.lang.Object

pascal.taie.config.PlanConfig

public class PlanConfig
extends Object

Configuration for an analysis to be executed.

Different from AnalysisConfig which is specified by configuration file, PlanConfig is specified by either plan file or options.

See Also:

• AnalysisConfig

Constructor Summary

Constructors

Constructor	Description
PlanConfig(String id, AnalysisOptions options)

Method Summary

Modifier and Type	Method	Description
String	getId()
AnalysisOptions	getOptions()
static List<PlanConfig>	readConfigs(File file)	Read a list of PlanConfig from given file.
static List<PlanConfig>	readConfigs(Options options)	Reads a list of PlanConfig from options.
String	toString()
static void	writeConfigs(List<PlanConfig> planConfigs, File outputDir)	Writes a list of PlanConfigs to given file.

Methods inherited from class java.lang.Object

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

Constructor Details

PlanConfig

public PlanConfig(String id,
 AnalysisOptions options)

Method Details

getId

public String getId()

getOptions

public AnalysisOptions getOptions()

toString

public String toString()

Overrides:

toString in class Object

readConfigs

public static List<PlanConfig> readConfigs(File file)

Read a list of PlanConfig from given file.

readConfigs

public static List<PlanConfig> readConfigs(Options options)

Reads a list of PlanConfig from options.

writeConfigs

public static void writeConfigs(List<PlanConfig> planConfigs,
 File outputDir)

Writes a list of PlanConfigs to given file.