gov.nasa.jpf

Class Config

java.lang.Object

java.util.Dictionary<K,V>

java.util.Hashtable<java.lang.Object,java.lang.Object>

java.util.Properties

gov.nasa.jpf.Config

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,java.lang.Object>

public class Config
extends java.util.Properties

class that encapsulates property-based JPF configuration. This is mainly an associative array with various typed accessors, and a structured initialization process. This implementation has the design constraint that it does not promote symbolic information to concrete types, which means that frequently accessed data should be promoted and cached in client classes. This in turn means we assume the data is not going to change at runtime. Major motivation for this mechanism is to avoid 'Option' classes that have concrete type fields, and hence are structural bottlenecks, i.e. every parameterized user extension (Heuristics, Scheduler etc.) require to update this single class. Note that Config is also not thread safe with respect to retrieving exceptions that occurred during instantiation Another important caveat for both implementation and usage of Config is that it is supposed to be our master configuration mechanism, i.e. it is also used to configure other core services like logging. This means that Config initialization should not depend on these services. Initialization has to return at all times, recording potential problems for later handling. This is why we have to keep the Config data model and initialization fairly simple and robust. Except of JPF and Config itself, all JPF classes are loaded by a Classloader that is constucted by Config (e.g. by collecting jars from known/configured locations), i.e. we SHOULD NOT rely on any 3rd party libraries within Config. The class should be as autarkical as possible. PROPERTY SOURCES ---------------- (1) one site.properties - this file specifies the location of the jpf-core and installed extensions, like: jpf-core = /Users/pcmehlitz/projects/jpf/jpf-core ... jpf-numeric = /Users/pcmehlitz/projects/jpf/jpf-numeric ... extensions = ${jpf-core} Each key/directory that is in site.properties is used to locate a corresponding project property (jpf.properties) file (2) any number of jpf.properties project properties files - each directory entry in the 'extensions' list is checked for a jpf.properties file, which is automatically loaded if found. Project properties mostly contain path settings that are used to initialize class loading by the host VM and JPF (3) one *.jpf application properties - this specifies all the settings for a specific JPF run, esp. listener and target/target.args. app properties can be specified as the sole JPF argument, i.e. instead of a SUT classname .. target = x.Y.MySystemUnderTest target.args = one,two .. listener = z.MyListener (4) commandline properties - all start with '+', they can override all other props LOOKUP ORDER ------------ property lookup property type : spec : default ----------------:-----------------------:---------- | site : +site : "${user.home}/[.]jpf/site.properties" | : : | project : 'extensions' value : set in site.properties | : : | app : +app : - | : : v cmdline : += : - * if there is an explicit spec and the pathname does not exist, throw a JPFConfigException * if the system properties cannot be found, throw a JPFConfigException <2do> need to make NumberFormatException handling consistent - should always throw an JPFConfigException, not silently returning the default value

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.Object[]	CONFIG_ARGS
static java.lang.Class<?>[]	CONFIG_ARGTYPES
static java.lang.String	FALSE
static java.lang.String	INCLUDE_IF_KEY
static java.lang.String	INCLUDE_KEY
static java.lang.String	INCLUDE_UNLESS_KEY
static java.lang.String	LIST_SEPARATOR
static boolean	log
static int	MAX_NUM_PRC
static java.lang.Object[]	NO_ARGS
static java.lang.Class<?>[]	NO_ARGTYPES
static java.lang.String	PATH_SEPARATOR
static java.lang.String	REQUIRES_KEY
static java.lang.String	TRUE
static java.lang.String	USING_KEY

Fields inherited from class java.util.Properties

defaults

Constructor Summary

Constructors

Constructor and Description
Config(java.io.Reader in)
Config(java.lang.String fileName) single source Config constructor (does not process stack)
Config(java.lang.String[] cmdLineArgs) the standard Config constructor that processes the whole properties stack

Method Summary

Modifier and Type	Method and Description
void	addChangeListener(ConfigChangeListener l)
protected void	addCurrentJPFdir(java.util.List<java.io.File> jpfDirs) add the current dir to the list of JPF components.
protected void	addJPFdirs(java.util.List<java.io.File> jpfDirs, java.io.File dir)
protected void	addJPFdirsFromClasspath(java.util.List<java.io.File> jpfDirs)
protected void	addJPFdirsFromSiteExtensions(java.util.List<java.io.File> jpfDirs)
protected java.lang.String	append(java.lang.String key, java.lang.String value)
java.lang.String	append(java.lang.String key, java.lang.String value, java.lang.String separator)
protected void	appendPath(java.lang.String pathKey, java.lang.String key, java.lang.String configPath)
java.lang.Class<?>	asClass(java.lang.String v)
java.util.TreeMap<java.lang.Object,java.lang.Object>	asOrderedMap()
java.lang.String[]	asStringArray(java.lang.String s)
void	collectGlobalPaths() collect all the .{native_classpath,classpath,sourcepath,peer_packages,native_libraries} and append them to the global settings NOTE - this is now called from within initClassLoader, which should only happen once and is the first time we really need the global paths.
static void	enableLogging(boolean enableLogging)
JPFException	exception(java.lang.String msg)
protected java.lang.String	expandString(java.lang.String key, java.lang.String s)
protected java.lang.String	getAppArg(java.lang.String[] args)
java.lang.String[]	getArgs()
boolean	getBoolean(java.lang.String key)
boolean	getBoolean(java.lang.String key, boolean def)
int	getChoiceIndexIgnoreCase(java.lang.String key, java.lang.String[] choices)
java.lang.Class<?>	getClass(java.lang.String key)
<T> java.lang.Class<? extends T>	getClass(java.lang.String key, java.lang.Class<T> type)
java.lang.Class<?>[]	getClasses(java.lang.String key)
java.lang.ClassLoader	getClassLoader()
java.lang.String[]	getCompactStringArray(java.lang.String key)
java.lang.String[]	getCompactTrimmedStringArray(java.lang.String key)
double	getDouble(java.lang.String key)
double	getDouble(java.lang.String key, double defValue)
double[]	getDoubleArray(java.lang.String key)
double[]	getDoubleArray(java.lang.String key, double... defaultValues)
long	getDuration(java.lang.String key, long defValue)
java.lang.String[]	getEntrySequence()
<T extends java.lang.Enum<T>> T	getEnum(java.lang.String key, T[] values, T defValue)
java.lang.Class<?>	getEssentialClass(java.lang.String key)
<T> T	getEssentialInstance(java.lang.String key, java.lang.Class<T> type)
<T> T	getEssentialInstance(java.lang.String key, java.lang.Class<T> type, java.lang.Class<?>[] argTypes, java.lang.Object[] args)
<T> T	getEssentialInstance(java.lang.String key, java.lang.Class<T> type, java.lang.Object arg1, java.lang.Object arg2) just a convenience method for ctor calls that take two arguments
float	getFloat(java.lang.String key)
float	getFloat(java.lang.String key, float defValue)
float[]	getFloatArray(java.lang.String key)
float[]	getFloatArray(java.lang.String key, float... defaultValues)
java.lang.String[]	getFreeArgs() return any command line args that are not options or properties (this usually contains the application class and arguments)
<T> T[]	getGroupInstances(java.lang.String keyPrefix, java.lang.String keyPostfix, java.lang.Class<T> type, java.lang.String... defaultClsNames) this one is used to instantiate objects from a list of keys that share the same prefix, e.g.
java.lang.String	getIndexableKey(java.lang.String key, int index) check if we have a key.index entry.
<T> T	getInstance(java.lang.String key, java.lang.Class<T> type)
<T> T	getInstance(java.lang.String key, java.lang.Class<T> type, java.lang.Class<?>[] argTypes, java.lang.Object[] args)
<T> T	getInstance(java.lang.String key, java.lang.Class<T> type, java.lang.Object arg1, java.lang.Object arg2)
<T> T	getInstance(java.lang.String key, java.lang.Class<T> type, java.lang.String defClsName)
<T> T	getInstance(java.lang.String id, java.lang.String clsName, java.lang.Class<T> type)
<T> T	getInstance(java.lang.String id, java.lang.String clsName, java.lang.Class<T> type, java.lang.Class<?>[] argTypes, java.lang.Object[] args)
<T> java.util.ArrayList<T>	getInstances(java.lang.String key, java.lang.Class<T> type)
<T> java.util.ArrayList<T>	getInstances(java.lang.String key, java.lang.Class<T> type, java.lang.Class<?>[] argTypes, java.lang.Object[] args)
int	getInt(java.lang.String key)
int	getInt(java.lang.String key, int defValue)
int[]	getIntArray(java.lang.String key)
int[]	getIntArray(java.lang.String key, int... defaultValues)
java.lang.String[]	getKeyComponents(java.lang.String key)
java.lang.String[]	getKeysStartingWith(java.lang.String prefix)
long	getLong(java.lang.String key)
long	getLong(java.lang.String key, long defValue)
long[]	getLongArray(java.lang.String key)
long[]	getLongArray(java.lang.String key, long... defaultValues)
long	getMemorySize(java.lang.String key, long defValue) return memory size in bytes, or 'defValue' if not in dictionary.
java.lang.String	getMethodSignature(java.lang.reflect.Constructor<?> ctor)
java.util.HashSet<java.lang.String>	getNonEmptyStringSet(java.lang.String key)
protected java.io.File	getParentFile(java.io.File f)
java.io.File	getPath(java.lang.String key)
protected java.lang.String	getPathArg(java.lang.String[] args, java.lang.String key)
java.io.File[]	getPathArray(java.lang.String key)
java.lang.String	getSourceName(java.lang.Object src)
java.util.List<java.lang.Object>	getSources()
java.lang.String	getString(java.lang.String key)
java.lang.String	getString(java.lang.String key, java.lang.String defValue)
java.lang.String[]	getStringArray(java.lang.String key)
java.lang.String[]	getStringArray(java.lang.String key, char[] delims)
java.lang.String[]	getStringArray(java.lang.String key, java.lang.String[] def)
java.lang.String[]	getStringEnumeration(java.lang.String baseKey, int maxSize) for a given , check if there are corresponding values for keys .0 ...
java.util.HashSet<java.lang.String>	getStringSet(java.lang.String key)
java.lang.String	getTarget()
java.lang.String[]	getTargetArgs()
java.lang.String	getTargetEntry()
java.net.URL	getURL(java.lang.String key)
boolean	hasSetClassLoader()
boolean	hasValue(java.lang.String key)
boolean	hasValueIgnoreCase(java.lang.String key, java.lang.String value)
protected boolean	haveSeenProjectProperty(java.lang.String key)
JPFClassLoader	initClassLoader(java.lang.ClassLoader parent)
void	jpfRunTerminated()
protected void	loadArgs(java.lang.String[] cmdLineArgs)
protected void	loadProjectProperties() this holds the policy defining in which order we process directories containing JPF projects (i.e.
protected boolean	loadProperties(java.lang.String fileName)
protected void	loadProperties(java.net.URL url)
void	log(java.lang.String msg)
protected java.lang.String	normalize(java.lang.String v) replace string constants with global static objects
protected void	notifyPropertyChangeListeners(java.lang.String key, java.lang.String oldValue, java.lang.String newValue)
void	parse(java.lang.String s)
protected java.lang.String[]	pathSplit(java.lang.String input)
java.lang.String	prepend(java.lang.String key, java.lang.String value, java.lang.String separator)
void	print(java.io.PrintWriter pw)
void	printEntries()
void	printSources(java.io.PrintWriter pw)
void	printStatus(java.util.logging.Logger log)
protected void	processArg(java.lang.String a)
protected void	processPseudoProperty(java.lang.String key, java.lang.String value)
void	promotePropertyCategory(java.lang.String keyPrefix) iterate over all keys, if a key starts with the provided keyPrefix, add this value under the corresponding key suffix.
java.lang.Object	put(java.lang.Object keyObject, java.lang.Object valueObject)
protected boolean	registerJPFdir(java.util.List<java.io.File> list, java.io.File dir) the obvious part is that it only adds to the list if the file is absent the not-so-obvious part is that it re-orders already present files to maintain the priority
Config	reload()
void	removeChangeListener(ConfigChangeListener l)
static java.lang.String[]	removeEmptyStrings(java.lang.String[] a)
void	resetGlobalPaths() this resets to what was explicitly set in the config files
void	setClassLoader(java.lang.ClassLoader newLoader)
protected void	setConfigPathProperties(java.lang.String fileName)
java.lang.Object	setProperty(java.lang.String key, java.lang.String newValue)
void	setTarget(java.lang.String clsName)
void	setTargetArgs(java.lang.String[] args)
void	setTargetEntry(java.lang.String mthName)
protected java.lang.String[]	split(java.lang.String input) our own version of split, which handles "`" quoting, and breaks on non-quoted ',' and ';' chars.
protected java.lang.String[]	split(java.lang.String input, char[] delim)
void	throwException(java.lang.String msg)
void	updateClassLoader() has to be called if 'native_classpath' gets explicitly changed USE WITH CARE - if this is messed up, it is hard to debug

Methods inherited from class java.util.Properties

getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, store, store, storeToXML, storeToXML, stringPropertyNames

Methods inherited from class java.util.Hashtable

clear, clone, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keys, keySet, merge, putAll, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, size, toString, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

REQUIRES_KEY

public static final java.lang.String REQUIRES_KEY

See Also:

Constant Field Values

INCLUDE_KEY

public static final java.lang.String INCLUDE_KEY

See Also:

Constant Field Values

INCLUDE_UNLESS_KEY

public static final java.lang.String INCLUDE_UNLESS_KEY

See Also:

Constant Field Values

INCLUDE_IF_KEY

public static final java.lang.String INCLUDE_IF_KEY

See Also:

Constant Field Values

USING_KEY

public static final java.lang.String USING_KEY

See Also:

Constant Field Values

LIST_SEPARATOR

public static final java.lang.String LIST_SEPARATOR

See Also:

Constant Field Values

PATH_SEPARATOR

public static final java.lang.String PATH_SEPARATOR

See Also:

Constant Field Values

CONFIG_ARGTYPES

public static final java.lang.Class<?>[] CONFIG_ARGTYPES

NO_ARGTYPES

public static final java.lang.Class<?>[] NO_ARGTYPES

NO_ARGS

public static final java.lang.Object[] NO_ARGS

TRUE

public static final java.lang.String TRUE

See Also:

Constant Field Values

FALSE

public static final java.lang.String FALSE

See Also:

Constant Field Values

MAX_NUM_PRC

public static int MAX_NUM_PRC

log

public static boolean log

CONFIG_ARGS

public final java.lang.Object[] CONFIG_ARGS

Constructor Detail

Config

public Config(java.lang.String[] cmdLineArgs)

the standard Config constructor that processes the whole properties stack

Config

public Config(java.lang.String fileName)

single source Config constructor (does not process stack)

Parameters:

fileName - - single properties filename to initialize from

Config

public Config(java.io.Reader in)

Method Detail

enableLogging

public static void enableLogging(boolean enableLogging)

log

public void log(java.lang.String msg)

reload

public Config reload()

getArgs

public java.lang.String[] getArgs()

getPathArg

protected java.lang.String getPathArg(java.lang.String[] args,
                                      java.lang.String key)

getAppArg

protected java.lang.String getAppArg(java.lang.String[] args)

loadProperties

protected void loadProperties(java.net.URL url)

setConfigPathProperties

protected void setConfigPathProperties(java.lang.String fileName)

loadProperties

protected boolean loadProperties(java.lang.String fileName)

loadProjectProperties

protected void loadProjectProperties()

this holds the policy defining in which order we process directories containing JPF projects (i.e. jpf.properties files)

appendPath

protected void appendPath(java.lang.String pathKey,
                          java.lang.String key,
                          java.lang.String configPath)

addJPFdirs

protected void addJPFdirs(java.util.List<java.io.File> jpfDirs,
                          java.io.File dir)

addCurrentJPFdir

protected void addCurrentJPFdir(java.util.List<java.io.File> jpfDirs)

add the current dir to the list of JPF components. Note: this includes the core, so that we maintain the general principle that the enclosing project takes precedence (imagine the opposite: if we want to test a certain feature that is overridden by another extension we don't know about)

addJPFdirsFromClasspath

protected void addJPFdirsFromClasspath(java.util.List<java.io.File> jpfDirs)

addJPFdirsFromSiteExtensions

protected void addJPFdirsFromSiteExtensions(java.util.List<java.io.File> jpfDirs)

registerJPFdir

protected boolean registerJPFdir(java.util.List<java.io.File> list,
                                 java.io.File dir)

the obvious part is that it only adds to the list if the file is absent the not-so-obvious part is that it re-orders already present files to maintain the priority

getParentFile

protected java.io.File getParentFile(java.io.File f)

loadArgs

protected void loadArgs(java.lang.String[] cmdLineArgs)

processArg

protected void processArg(java.lang.String a)

normalize

protected java.lang.String normalize(java.lang.String v)

replace string constants with global static objects

expandString

protected java.lang.String expandString(java.lang.String key,
                                        java.lang.String s)

put

public java.lang.Object put(java.lang.Object keyObject,
                            java.lang.Object valueObject)

Specified by:

put in interface java.util.Map<java.lang.Object,java.lang.Object>

Overrides:

put in class java.util.Hashtable<java.lang.Object,java.lang.Object>

processPseudoProperty

protected void processPseudoProperty(java.lang.String key,
                                     java.lang.String value)

haveSeenProjectProperty

protected boolean haveSeenProjectProperty(java.lang.String key)

prepend

public java.lang.String prepend(java.lang.String key,
                                java.lang.String value,
                                java.lang.String separator)

append

public java.lang.String append(java.lang.String key,
                               java.lang.String value,
                               java.lang.String separator)

append

protected java.lang.String append(java.lang.String key,
                                  java.lang.String value)

getIndexableKey

public java.lang.String getIndexableKey(java.lang.String key,
                                        int index)

check if we have a key.index entry. If not, check the non-indexed key. If no key found return null This simplifies clients that can have process id indexed properties

setClassLoader

public void setClassLoader(java.lang.ClassLoader newLoader)

getClassLoader

public java.lang.ClassLoader getClassLoader()

hasSetClassLoader

public boolean hasSetClassLoader()

initClassLoader

public JPFClassLoader initClassLoader(java.lang.ClassLoader parent)

updateClassLoader

public void updateClassLoader()

has to be called if 'native_classpath' gets explicitly changed USE WITH CARE - if this is messed up, it is hard to debug

getEntrySequence

public java.lang.String[] getEntrySequence()

addChangeListener

public void addChangeListener(ConfigChangeListener l)

removeChangeListener

public void removeChangeListener(ConfigChangeListener l)

jpfRunTerminated

public void jpfRunTerminated()

exception

public JPFException exception(java.lang.String msg)

throwException

public void throwException(java.lang.String msg)

getFreeArgs

public java.lang.String[] getFreeArgs()

return any command line args that are not options or properties (this usually contains the application class and arguments)

setTarget

public void setTarget(java.lang.String clsName)

getTarget

public java.lang.String getTarget()

setTargetArgs

public void setTargetArgs(java.lang.String[] args)

getTargetArgs

public java.lang.String[] getTargetArgs()

setTargetEntry

public void setTargetEntry(java.lang.String mthName)

getTargetEntry

public java.lang.String getTargetEntry()

getBoolean

public boolean getBoolean(java.lang.String key)

getBoolean

public boolean getBoolean(java.lang.String key,
                          boolean def)

getStringEnumeration

public java.lang.String[] getStringEnumeration(java.lang.String baseKey,
                                               int maxSize)

for a given , check if there are corresponding values for keys .0 ... . If a value is found, store it in an array at the respective index

Parameters:

baseKey - String with base key without trailing '.'

maxSize - maximum size of returned value array

Returns:

trimmed array with String values found in dictionary

getKeysStartingWith

public java.lang.String[] getKeysStartingWith(java.lang.String prefix)

getKeyComponents

public java.lang.String[] getKeyComponents(java.lang.String key)

getIntArray

public int[] getIntArray(java.lang.String key)
                  throws JPFConfigException

Throws:

JPFConfigException

getIntArray

public int[] getIntArray(java.lang.String key,
                         int... defaultValues)

getDuration

public long getDuration(java.lang.String key,
                        long defValue)

getInt

public int getInt(java.lang.String key)

getInt

public int getInt(java.lang.String key,
                  int defValue)

getLong

public long getLong(java.lang.String key)

getLong

public long getLong(java.lang.String key,
                    long defValue)

getLongArray

public long[] getLongArray(java.lang.String key)
                    throws JPFConfigException

Throws:

JPFConfigException

getLongArray

public long[] getLongArray(java.lang.String key,
                           long... defaultValues)

getFloat

public float getFloat(java.lang.String key)

getFloat

public float getFloat(java.lang.String key,
                      float defValue)

getFloatArray

public float[] getFloatArray(java.lang.String key)
                      throws JPFConfigException

Throws:

JPFConfigException

getFloatArray

public float[] getFloatArray(java.lang.String key,
                             float... defaultValues)

getDouble

public double getDouble(java.lang.String key)

getDouble

public double getDouble(java.lang.String key,
                        double defValue)

getDoubleArray

public double[] getDoubleArray(java.lang.String key)
                        throws JPFConfigException

Throws:

JPFConfigException

getDoubleArray

public double[] getDoubleArray(java.lang.String key,
                               double... defaultValues)

getEnum

public <T extends java.lang.Enum<T>> T getEnum(java.lang.String key,
                                               T[] values,
                                               T defValue)

getString

public java.lang.String getString(java.lang.String key)

getString

public java.lang.String getString(java.lang.String key,
                                  java.lang.String defValue)

getMemorySize

public long getMemorySize(java.lang.String key,
                          long defValue)

return memory size in bytes, or 'defValue' if not in dictionary. Encoding can have a 'M' or 'k' postfix, values have to be positive integers (decimal notation)

getStringSet

public java.util.HashSet<java.lang.String> getStringSet(java.lang.String key)

getNonEmptyStringSet

public java.util.HashSet<java.lang.String> getNonEmptyStringSet(java.lang.String key)

getStringArray

public java.lang.String[] getStringArray(java.lang.String key)

getStringArray

public java.lang.String[] getStringArray(java.lang.String key,
                                         char[] delims)

getCompactTrimmedStringArray

public java.lang.String[] getCompactTrimmedStringArray(java.lang.String key)

getCompactStringArray

public java.lang.String[] getCompactStringArray(java.lang.String key)

getStringArray

public java.lang.String[] getStringArray(java.lang.String key,
                                         java.lang.String[] def)

removeEmptyStrings

public static java.lang.String[] removeEmptyStrings(java.lang.String[] a)

asClass

public java.lang.Class<?> asClass(java.lang.String v)
                           throws JPFConfigException

Throws:

JPFConfigException

getClass

public <T> java.lang.Class<? extends T> getClass(java.lang.String key,
                                                 java.lang.Class<T> type)
                                          throws JPFConfigException

Throws:

JPFConfigException

getClass

public java.lang.Class<?> getClass(java.lang.String key)
                            throws JPFConfigException

Throws:

JPFConfigException

getEssentialClass

public java.lang.Class<?> getEssentialClass(java.lang.String key)
                                     throws JPFConfigException

Throws:

JPFConfigException

getClasses

public java.lang.Class<?>[] getClasses(java.lang.String key)
                                throws JPFConfigException

Throws:

JPFConfigException

getGroupInstances

public <T> T[] getGroupInstances(java.lang.String keyPrefix,
                                 java.lang.String keyPostfix,
                                 java.lang.Class<T> type,
                                 java.lang.String... defaultClsNames)
                          throws JPFConfigException

this one is used to instantiate objects from a list of keys that share the same prefix, e.g. shell.panels = config,site shell.panels.site = .shell.panels.SitePanel shell.panels.config = .shell.panels.ConfigPanel ... note that we specify default class names, not classes, so that the classes get loaded through our own loader at call time (they might not be visible to our caller)

Throws:

JPFConfigException

getInstances

public <T> java.util.ArrayList<T> getInstances(java.lang.String key,
                                               java.lang.Class<T> type)
                                        throws JPFConfigException

Throws:

JPFConfigException

getInstances

public <T> java.util.ArrayList<T> getInstances(java.lang.String key,
                                               java.lang.Class<T> type,
                                               java.lang.Class<?>[] argTypes,
                                               java.lang.Object[] args)
                                        throws JPFConfigException

Throws:

JPFConfigException

getInstance

public <T> T getInstance(java.lang.String key,
                         java.lang.Class<T> type,
                         java.lang.String defClsName)
                  throws JPFConfigException

Throws:

JPFConfigException

getInstance

public <T> T getInstance(java.lang.String key,
                         java.lang.Class<T> type)
                  throws JPFConfigException

Throws:

JPFConfigException

getInstance

public <T> T getInstance(java.lang.String key,
                         java.lang.Class<T> type,
                         java.lang.Class<?>[] argTypes,
                         java.lang.Object[] args)
                  throws JPFConfigException

Throws:

JPFConfigException

getInstance

public <T> T getInstance(java.lang.String key,
                         java.lang.Class<T> type,
                         java.lang.Object arg1,
                         java.lang.Object arg2)
                  throws JPFConfigException

Throws:

JPFConfigException

getEssentialInstance

public <T> T getEssentialInstance(java.lang.String key,
                                  java.lang.Class<T> type)
                           throws JPFConfigException

Throws:

JPFConfigException

getEssentialInstance

public <T> T getEssentialInstance(java.lang.String key,
                                  java.lang.Class<T> type,
                                  java.lang.Object arg1,
                                  java.lang.Object arg2)
                           throws JPFConfigException

just a convenience method for ctor calls that take two arguments

Throws:

JPFConfigException

getEssentialInstance

public <T> T getEssentialInstance(java.lang.String key,
                                  java.lang.Class<T> type,
                                  java.lang.Class<?>[] argTypes,
                                  java.lang.Object[] args)
                           throws JPFConfigException

Throws:

JPFConfigException

getInstance

public <T> T getInstance(java.lang.String id,
                         java.lang.String clsName,
                         java.lang.Class<T> type,
                         java.lang.Class<?>[] argTypes,
                         java.lang.Object[] args)
                  throws JPFConfigException

Throws:

JPFConfigException

getInstance

public <T> T getInstance(java.lang.String id,
                         java.lang.String clsName,
                         java.lang.Class<T> type)
                  throws JPFConfigException

Throws:

JPFConfigException

getMethodSignature

public java.lang.String getMethodSignature(java.lang.reflect.Constructor<?> ctor)

hasValue

public boolean hasValue(java.lang.String key)

hasValueIgnoreCase

public boolean hasValueIgnoreCase(java.lang.String key,
                                  java.lang.String value)

getChoiceIndexIgnoreCase

public int getChoiceIndexIgnoreCase(java.lang.String key,
                                    java.lang.String[] choices)

getURL

public java.net.URL getURL(java.lang.String key)

getPathArray

public java.io.File[] getPathArray(java.lang.String key)

getPath

public java.io.File getPath(java.lang.String key)

pathSplit

protected java.lang.String[] pathSplit(java.lang.String input)

split

protected java.lang.String[] split(java.lang.String input)

our own version of split, which handles "`" quoting, and breaks on non-quoted ',' and ';' chars. We need this so that we can use ';' separated lists in JPF property files, but still can use quoted ';' if we absolutely have to specify Java signatures. On the other hand, we can't quote with '\' because that would make Windows paths even more terrible. regexes are bad at quoting, and this is more efficient anyways

split

protected java.lang.String[] split(java.lang.String input,
                                   char[] delim)

resetGlobalPaths

public void resetGlobalPaths()

this resets to what was explicitly set in the config files

collectGlobalPaths

public void collectGlobalPaths()

collect all the .{native_classpath,classpath,sourcepath,peer_packages,native_libraries} and append them to the global settings NOTE - this is now called from within initClassLoader, which should only happen once and is the first time we really need the global paths. <2do> this is Ok for native_classpath and native_libraries, but we should probably do classpath, sourcepath and peer_packages separately (they can be collected later)

promotePropertyCategory

public void promotePropertyCategory(java.lang.String keyPrefix)

iterate over all keys, if a key starts with the provided keyPrefix, add this value under the corresponding key suffix. For example: test.report.console.finished = result -> prompotePropertyCategory("test.") -> report.console.finished = result if a matching key has an IGNORE_VALUE value ("-"), the entry is *not* promoted (we need this to override promoted keys)

setProperty

public java.lang.Object setProperty(java.lang.String key,
                                    java.lang.String newValue)

Overrides:

setProperty in class java.util.Properties

parse

public void parse(java.lang.String s)

notifyPropertyChangeListeners

protected void notifyPropertyChangeListeners(java.lang.String key,
                                             java.lang.String oldValue,
                                             java.lang.String newValue)

asStringArray

public java.lang.String[] asStringArray(java.lang.String s)

asOrderedMap

public java.util.TreeMap<java.lang.Object,java.lang.Object> asOrderedMap()

print

public void print(java.io.PrintWriter pw)

printSources

public void printSources(java.io.PrintWriter pw)

printEntries

public void printEntries()

getSourceName

public java.lang.String getSourceName(java.lang.Object src)

getSources

public java.util.List<java.lang.Object> getSources()

printStatus

public void printStatus(java.util.logging.Logger log)