Package pascal.taie.config

Class AnalysisConfig

java.lang.Object

pascal.taie.config.AnalysisConfig

public class AnalysisConfig
extends Object

Configuration for an analysis.

Constructor Summary

Constructors

Constructor	Description
AnalysisConfig(String description, String analysisClass, String id, List<String> requires, AnalysisOptions options)	Used by deserialization from configuration file.

Method Summary

Modifier and Type	Method	Description
String	getAnalysisClass()
String	getDescription()
String	getId()
AnalysisOptions	getOptions()
static AnalysisConfig	of(String id, Object... options)	Convenient static factory for creating an AnalysisConfig by merely specifying id and options.
static List<AnalysisConfig>	parseConfigs(InputStream content)	Parses a list of AnalysisConfig from given input stream.
String	toDetailedString()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

AnalysisConfig

public AnalysisConfig(String description,
 String analysisClass,
 String id,
 List<String> requires,
 AnalysisOptions options)

Used by deserialization from configuration file.

Method Details

of

public static AnalysisConfig of(String id,
 Object... options)

Convenient static factory for creating an AnalysisConfig by merely specifying id and options. The given options should be an array of key-value pairs, e.g., [k1, v1, k2, v2, ...].

getDescription

public String getDescription()

getAnalysisClass

public String getAnalysisClass()

getId

public String getId()

getOptions

public AnalysisOptions getOptions()

toDetailedString

public String toDetailedString()

toString

public String toString()

Overrides:

toString in class Object

parseConfigs

public static List<AnalysisConfig> parseConfigs(InputStream content)

Parses a list of AnalysisConfig from given input stream.