org.evosuite.dse

Class MainConfig

java.lang.Object

org.evosuite.dse.MainConfig

public class MainConfig
extends Object

Constant values

Notice our convention of passing Z3PARAM_ parameters to Z3.

TODO: Can we merge this with the instrumentation's Config class?

Author:

csallner@uta.edu (Christoph Csallner)

Field Summary

Fields

Modifier and Type	Field and Description
String	CLASS_PATH
String	CLINIT
LinkedStringList	DO_INSTRUMENT_PREFIXES
LinkedStringList	DO_NOT_INSTRUMENT_PREFIXES
String	INIT
int	MAX_LOCALS_DEFAULT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	MainConfig() Constructor.

Method Summary

Modifier and Type	Method and Description
static MainConfig	get() Singleton
boolean	isIgnored(String type) TODO: Get a more precise answer by calling getAllLoadedClasses() on the java.lang.instrument.Instrumentation instance passed to our JvmAgent and diffing it with the list of classes we transformed.
static MainConfig	setInstance() If no config set yet, then set a new MainConfig.
static MainConfig	setInstance(MainConfig conf) If no config set yet, then set conf.

Methods inherited from class java.lang.Object

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

Field Detail

DO_NOT_INSTRUMENT_PREFIXES

public LinkedStringList DO_NOT_INSTRUMENT_PREFIXES

DO_INSTRUMENT_PREFIXES

public LinkedStringList DO_INSTRUMENT_PREFIXES

MAX_LOCALS_DEFAULT

public int MAX_LOCALS_DEFAULT

CLINIT

public final String CLINIT

See Also:

Constant Field Values

INIT

public final String INIT

See Also:

Constant Field Values

CLASS_PATH

public String CLASS_PATH

Constructor Detail

MainConfig

protected MainConfig()

Constructor.

Should only be called from subclass constructor (or setInstance()).

Method Detail

get

public static MainConfig get()

Singleton

setInstance

public static MainConfig setInstance()

If no config set yet, then set a new MainConfig.

setInstance

public static MainConfig setInstance(MainConfig conf)

If no config set yet, then set conf. This method should only be called if conf is an instance of a sub-class of MainConfig.

isIgnored

public boolean isIgnored(String type)

TODO: Get a more precise answer by calling getAllLoadedClasses() on the java.lang.instrument.Instrumentation instance passed to our JvmAgent and diffing it with the list of classes we transformed.

Parameters:

typeName - some/package/SomeType

Returns:

if we omit typeName from instrumentation