| Package | Description | 
|---|---|
| gov.nasa.jpf | 
| Modifier and Type | Method and Description | 
|---|---|
Class<?> | 
Config.asClass(String v)  | 
Class<?> | 
Config.getClass(String key)  | 
<T> Class<? extends T> | 
Config.getClass(String key,
        Class<T> type)  | 
Class<?>[] | 
Config.getClasses(String key)  | 
double[] | 
Config.getDoubleArray(String key)  | 
Class<?> | 
Config.getEssentialClass(String key)  | 
<T> T | 
Config.getEssentialInstance(String key,
                    Class<T> type)  | 
<T> T | 
Config.getEssentialInstance(String key,
                    Class<T> type,
                    Class<?>[] argTypes,
                    Object[] args)  | 
<T> T | 
Config.getEssentialInstance(String key,
                    Class<T> type,
                    Object arg1,
                    Object arg2)
just a convenience method for ctor calls that take two arguments 
 | 
float[] | 
Config.getFloatArray(String key)  | 
<T> T[] | 
Config.getGroupInstances(String keyPrefix,
                 String keyPostfix,
                 Class<T> type,
                 String... defaultClsNames)
this one is used to instantiate objects from a list of keys that share
 the same prefix, e.g. 
 | 
<T> T | 
Config.getInstance(String key,
           Class<T> type)  | 
<T> T | 
Config.getInstance(String key,
           Class<T> type,
           Class<?>[] argTypes,
           Object[] args)  | 
<T> T | 
Config.getInstance(String key,
           Class<T> type,
           Object arg1,
           Object arg2)  | 
<T> T | 
Config.getInstance(String key,
           Class<T> type,
           String defClsName)  | 
<T> T | 
Config.getInstance(String id,
           String clsName,
           Class<T> type)  | 
<T> T | 
Config.getInstance(String id,
           String clsName,
           Class<T> type,
           Class<?>[] argTypes,
           Object[] args)  | 
<T> ArrayList<T> | 
Config.getInstances(String key,
            Class<T> type)  | 
<T> ArrayList<T> | 
Config.getInstances(String key,
            Class<T> type,
            Class<?>[] argTypes,
            Object[] args)  | 
int[] | 
Config.getIntArray(String key)  | 
long[] | 
Config.getLongArray(String key)  |