Package pascal.taie.config

Class AnalysisOptions

java.lang.Object

pascal.taie.config.AnalysisOptions

public class AnalysisOptions
extends Object

Wrapper class for analysis options. Each instance wraps the options (represented by a Map) for an analysis, and provides convenient APIs to access various types of option values.

Constructor Summary

Constructors

Constructor	Description
AnalysisOptions(Map<String,Object> options)

Method Summary

Modifier and Type	Method	Description
Object	get(String key)
boolean	getBoolean(String key)
float	getFloat(String key)
int	getInt(String key)
String	getString(String key)
boolean	has(String key)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

AnalysisOptions

public AnalysisOptions(Map<String,Object> options)

Method Details

has

public boolean has(String key)

Returns:

true if this AnalysisOptions contains value for given option key.

get

public Object get(String key)

Returns:

value for given option key.

Throws:

ConfigException - if this AnalysisOptions do not contain the key.

getString

public String getString(String key)

getBoolean

public boolean getBoolean(String key)

getInt

public int getInt(String key)

getFloat

public float getFloat(String key)

toString

public String toString()

Overrides:

toString in class Object