Modifier and Type | Field and Description |
---|---|
static String |
Config.FALSE |
static String |
Config.INCLUDE_IF_KEY |
static String |
Config.INCLUDE_KEY |
static String |
Config.INCLUDE_UNLESS_KEY |
static String |
Config.LIST_SEPARATOR |
static String |
Config.PATH_SEPARATOR |
static String |
Config.REQUIRES_KEY |
static String |
Config.TRUE |
static String |
Config.USING_KEY |
static String |
JPF.VERSION |
Modifier and Type | Method and Description |
---|---|
protected String |
Config.append(String key,
String value) |
String |
Config.append(String key,
String value,
String separator) |
String[] |
Config.asStringArray(String s) |
protected String |
Config.expandString(String key,
String s) |
protected String |
JPFClassLoader.findLibrary(String libBaseName) |
protected String |
Config.getAppArg(String[] args) |
String[] |
Config.getArgs() |
String[] |
Config.getCompactStringArray(String key) |
String[] |
Config.getCompactTrimmedStringArray(String key) |
String |
Error.getDescription() |
String |
Error.getDetails() |
String[] |
Config.getEntrySequence() |
String |
Property.getErrorMessage() |
String |
GenericProperty.getErrorMessage() |
String |
Property.getExplanation() |
String |
GenericProperty.getExplanation() |
String[] |
Config.getFreeArgs()
return any command line args that are not options or properties
(this usually contains the application class and arguments)
|
String[] |
Config.getKeyComponents(String key) |
String[] |
Config.getKeysStartingWith(String prefix) |
String |
Config.getMethodSignature(Constructor<?> ctor) |
protected String |
Config.getPathArg(String[] args,
String key) |
String |
Config.getSourceName(Object src) |
String |
Config.getString(String key) |
String |
Config.getString(String key,
String defValue) |
String[] |
Config.getStringArray(String key) |
String[] |
Config.getStringArray(String key,
char[] delims) |
String[] |
Config.getStringArray(String key,
String[] def) |
String[] |
Config.getStringEnumeration(String baseKey,
int maxSize)
for a given
|
String |
Config.getTarget() |
String[] |
Config.getTargetArgs() |
String |
Config.getTargetEntry() |
protected String |
Config.normalize(String v)
replace string constants with global static objects
|
protected String[] |
Config.pathSplit(String input) |
String |
Config.prepend(String key,
String value,
String separator) |
static String[] |
Config.removeEmptyStrings(String[] a) |
protected String[] |
Config.split(String input)
our own version of split, which handles "`" quoting, and breaks on non-quoted
',' and ';' chars.
|
protected String[] |
Config.split(String input,
char[] delim) |
String |
JPFConfigException.toString() |
String |
AnnotationProxyBase.toString() |
Modifier and Type | Method and Description |
---|---|
HashSet<String> |
Config.getNonEmptyStringSet(String key) |
HashSet<String> |
Config.getStringSet(String key) |
Modifier and Type | Method and Description |
---|---|
protected String |
Config.append(String key,
String value) |
String |
Config.append(String key,
String value,
String separator) |
protected void |
Config.appendPath(String pathKey,
String key,
String configPath) |
Class<?> |
Config.asClass(String v) |
String[] |
Config.asStringArray(String s) |
static Config |
JPF.createConfig(String[] args)
return a Config object that holds the JPF options.
|
JPFException |
Config.exception(String msg) |
protected String |
Config.expandString(String key,
String s) |
protected String |
JPFClassLoader.findLibrary(String libBaseName) |
PrintStream |
ConsoleOutputStream.format(String fmt,
Object... args) |
protected String |
Config.getAppArg(String[] args) |
boolean |
Config.getBoolean(String key) |
boolean |
Config.getBoolean(String key,
boolean def) |
int |
Config.getChoiceIndexIgnoreCase(String key,
String[] choices) |
int |
Config.getChoiceIndexIgnoreCase(String key,
String[] choices) |
Class<?> |
Config.getClass(String key) |
<T> Class<? extends T> |
Config.getClass(String key,
Class<T> type) |
Class<?>[] |
Config.getClasses(String key) |
String[] |
Config.getCompactStringArray(String key) |
String[] |
Config.getCompactTrimmedStringArray(String key) |
double |
Config.getDouble(String key) |
double |
Config.getDouble(String key,
double defValue) |
double[] |
Config.getDoubleArray(String key) |
double[] |
Config.getDoubleArray(String key,
double... defaultValues) |
long |
Config.getDuration(String key,
long defValue) |
<T extends Enum<T>> |
Config.getEnum(String key,
T[] values,
T defValue) |
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.getFloat(String key) |
float |
Config.getFloat(String key,
float defValue) |
float[] |
Config.getFloatArray(String key) |
float[] |
Config.getFloatArray(String key,
float... defaultValues) |
<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.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.getInt(String key) |
int |
Config.getInt(String key,
int defValue) |
int[] |
Config.getIntArray(String key) |
int[] |
Config.getIntArray(String key,
int... defaultValues) |
String[] |
Config.getKeyComponents(String key) |
String[] |
Config.getKeysStartingWith(String prefix) |
static JPFLogger |
JPF.getLogger(String name)
use this one to get a Logger that is initialized via our Config mechanism.
|
long |
Config.getLong(String key) |
long |
Config.getLong(String key,
long defValue) |
long[] |
Config.getLongArray(String key) |
long[] |
Config.getLongArray(String key,
long... defaultValues) |
long |
Config.getMemorySize(String key,
long defValue)
return memory size in bytes, or 'defValue' if not in dictionary.
|
HashSet<String> |
Config.getNonEmptyStringSet(String key) |
File |
Config.getPath(String key) |
protected String |
Config.getPathArg(String[] args,
String key) |
protected String |
Config.getPathArg(String[] args,
String key) |
File[] |
Config.getPathArray(String key) |
String |
Config.getString(String key) |
String |
Config.getString(String key,
String defValue) |
String[] |
Config.getStringArray(String key) |
String[] |
Config.getStringArray(String key,
char[] delims) |
String[] |
Config.getStringArray(String key,
String[] def) |
String[] |
Config.getStringArray(String key,
String[] def) |
String[] |
Config.getStringEnumeration(String baseKey,
int maxSize)
for a given
|
HashSet<String> |
Config.getStringSet(String key) |
URL |
Config.getURL(String key) |
boolean |
Config.hasValue(String key) |
boolean |
Config.hasValueIgnoreCase(String key,
String value) |
protected boolean |
Config.haveSeenProjectProperty(String key) |
protected void |
Config.loadArgs(String[] cmdLineArgs) |
protected boolean |
Config.loadProperties(String fileName) |
void |
Config.log(String msg) |
static void |
JPF.main(String[] args) |
protected String |
Config.normalize(String v)
replace string constants with global static objects
|
protected void |
Config.notifyPropertyChangeListeners(String key,
String oldValue,
String newValue) |
void |
Config.parse(String s) |
protected String[] |
Config.pathSplit(String input) |
String |
Config.prepend(String key,
String value,
String separator) |
void |
ConsoleOutputStream.print(String s) |
PrintStream |
ConsoleOutputStream.printf(String fmt,
Object... args) |
void |
ConsoleOutputStream.println(String s) |
protected void |
Config.processArg(String a) |
protected void |
Config.processPseudoProperty(String key,
String value) |
void |
Config.promotePropertyCategory(String keyPrefix)
iterate over all keys, if a key starts with the provided keyPrefix, add
this value under the corresponding key suffix.
|
void |
ConfigChangeListener.propertyChanged(Config conf,
String key,
String oldValue,
String newValue)
a JPF property was changed during runtime (e.g.
|
static String[] |
Config.removeEmptyStrings(String[] a) |
protected void |
Config.setConfigPathProperties(String fileName) |
void |
JPFClassLoader.setNativeLibs(String[] libs) |
Object |
Config.setProperty(String key,
String newValue) |
<T extends Publisher> |
JPF.setPublisherTopics(Class<T> pCls,
int category,
String[] topics) |
void |
Config.setTarget(String clsName) |
void |
Config.setTargetArgs(String[] args) |
void |
Config.setTargetEntry(String mthName) |
protected String[] |
Config.split(String input)
our own version of split, which handles "`" quoting, and breaks on non-quoted
',' and ';' chars.
|
protected String[] |
Config.split(String input,
char[] delim) |
static void |
JPF.start(Config conf,
String[] args) |
void |
JPFShell.start(String[] args) |
void |
Config.throwException(String msg) |
static JPF.Status |
JPF.Status.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
Constructor and Description |
---|
CachedROHttpConnection(URL u,
String host,
int port) |
Config(String fileName)
single source Config constructor (does not process stack)
|
Config(String[] cmdLineArgs)
the standard Config constructor that processes the whole properties stack
|
JPF(String... args)
convenience method if caller doesn't care about Config
|
JPFClassLoader(URL[] urls,
String[] libs,
ClassLoader parent) |
JPFConfigException(String msg) |
JPFConfigException(String key,
Class<?> cls,
String failure) |
JPFConfigException(String key,
Class<?> cls,
String failure,
Throwable cause) |
JPFConfigException(String msg,
Throwable cause) |
JPFErrorException(String s) |
JPFException(String details) |
JPFException(String details,
Throwable cause) |
JPFListenerException(String details,
Throwable cause) |
JPFNativePeerException(String details,
Throwable cause) |
Modifier and Type | Method and Description |
---|---|
String |
ClassFile.classNameAt(int classInfoIdx) |
String |
ClassFile.fieldClassNameAt(int fieldRefInfoIdx) |
String |
ClassFile.fieldDescriptorAt(int fieldRefInfoIdx) |
String |
ClassFile.fieldNameAt(int fieldRefInfoIdx) |
String |
JVMClassFileContainer.getClassURL(String typeName) |
String |
ClassFile.getRequestedTypeName()
return the typename this classfile gets loaded for
<2do> this is going away
|
String |
ClassFile.getSourceFileAttribute(int dataPos) |
String |
ClassFile.getTypeName(int typeCode) |
String |
ClassFile.interfaceMethodClassNameAt(int ifcMethodRefInfoIdx) |
String |
ClassFile.interfaceMethodDescriptorAt(int ifcMethodRefInfoIdx) |
String |
ClassFile.interfaceMethodNameAt(int ifcMethodRefInfoIdx) |
protected String |
ClassFile.internStdAttrName(int cpIdx,
String name,
String[] stdNames) |
String |
ClassFile.methodClassNameAt(int methodRefInfoIdx) |
String |
ClassFile.methodDescriptorAt(int methodRefInfoIdx) |
String |
ClassFile.methodNameAt(int methodRefInfoIdx) |
static String |
ClassFile.readModifiedUTF8String(byte[] data,
int pos,
int len) |
String |
ClassFile.refClassNameAt(int cpIdx) |
String |
ClassFile.refDescriptorAt(int cpIdx) |
String |
ClassFile.refNameAt(int cpIdx) |
String |
ClassFile.stringAt(int stringInfoIdx) |
String |
ClassFile.utf8At(int utf8InfoIdx) |
Modifier and Type | Method and Description |
---|---|
abstract Instruction |
JVMInstructionFactory.anewarray(String clsName) |
abstract Instruction |
JVMInstructionFactory.checkcast(String clsName) |
AnnotationInfo |
JVMClassFileContainer.createAnnotationInfo(String typeName,
ClassLoaderInfo classLoader,
byte[] data) |
protected ClassInfo |
JVMClassInfo.createAnnotationProxy(String proxyName) |
ClassFileContainer |
DefaultJVMClassFactory.createClassFileContainer(String spec) |
ClassInfo |
JVMClassFileContainer.createClassInfo(String typeName,
ClassLoaderInfo classLoader,
String url,
byte[] data) |
ClassInfo |
DefaultJVMClassFactory.createClassInfo(String typeName,
ClassLoaderInfo classLoader,
String url,
byte[] data,
int offset,
int length) |
protected void |
ClassFile.error(String msg) |
byte[] |
DirClassFileContainer.getClassData(String clsName) |
byte[] |
JarClassFileContainer.getClassData(String clsName) |
String |
JVMClassFileContainer.getClassURL(String typeName) |
abstract Instruction |
JVMInstructionFactory.getfield(String fieldName,
String clsName,
String fieldDescriptor) |
void |
JVMCodeBuilder.getfield(String fieldName,
String clsName,
String fieldDescriptor) |
abstract Instruction |
JVMInstructionFactory.getstatic(String fieldName,
String clsName,
String fieldDescriptor) |
void |
JVMCodeBuilder.getstatic(String fieldName,
String clsName,
String fieldDescriptor) |
abstract Instruction |
JVMInstructionFactory.instanceof_(String clsName) |
protected String |
ClassFile.internStdAttrName(int cpIdx,
String name,
String[] stdNames) |
protected String |
ClassFile.internStdAttrName(int cpIdx,
String name,
String[] stdNames) |
abstract Instruction |
JVMInstructionFactory.invokeinterface(String clsName,
String methodName,
String methodSignature) |
abstract Instruction |
JVMInstructionFactory.invokespecial(String clsName,
String methodName,
String methodSignature) |
void |
JVMCodeBuilder.invokespecial(String clsName,
String methodName,
String methodSignature) |
abstract Instruction |
JVMInstructionFactory.invokestatic(String clsName,
String methodName,
String methodSignature) |
void |
JVMCodeBuilder.invokestatic(String clsName,
String methodName,
String methodSignature) |
abstract Instruction |
JVMInstructionFactory.invokevirtual(String clsName,
String methodName,
String methodSignature) |
void |
JVMCodeBuilder.invokevirtual(String clsName,
String methodName,
String methodSignature) |
abstract Instruction |
JVMInstructionFactory.ldc_w(String v,
boolean isClass) |
abstract Instruction |
JVMInstructionFactory.ldc(String v,
boolean isClass) |
static void |
ClassFilePrinter.main(String[] args) |
abstract Instruction |
JVMInstructionFactory.multianewarray(String clsName,
int dimensions) |
abstract Instruction |
JVMInstructionFactory.new_(String clsName) |
abstract Instruction |
JVMInstructionFactory.putfield(String fieldName,
String clsName,
String fieldDescriptor) |
void |
JVMCodeBuilder.putfield(String fieldName,
String clsName,
String fieldDescriptor) |
abstract Instruction |
JVMInstructionFactory.putstatic(String fieldName,
String clsName,
String fieldDescriptor) |
void |
JVMCodeBuilder.putstatic(String fieldName,
String clsName,
String fieldDescriptor) |
void |
JVMAnnotationParser.setAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
ClassFileParser.setAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
ClassFilePrinter.setAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
ClassFileReaderAdapter.setAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
ClassFileReader.setAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
JVMAnnotationParser.setAnnotationValueElementCount(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int elementCount) |
void |
ClassFileParser.setAnnotationValueElementCount(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int elementCount) |
void |
ClassFilePrinter.setAnnotationValueElementCount(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int elementCount) |
void |
ClassFileReaderAdapter.setAnnotationValueElementCount(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int elementCount) |
void |
ClassFileReader.setAnnotationValueElementCount(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int elementCount) |
void |
JVMAnnotationParser.setAnnotationValueElementsDone(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName) |
void |
ClassFileParser.setAnnotationValueElementsDone(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName) |
void |
ClassFilePrinter.setAnnotationValueElementsDone(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName) |
void |
ClassFileReaderAdapter.setAnnotationValueElementsDone(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName) |
void |
ClassFileReader.setAnnotationValueElementsDone(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName) |
void |
JVMAnnotationParser.setClass(ClassFile cf,
String clsName,
String superClsName,
int flags,
int cpCount) |
void |
ClassFileParser.setClass(ClassFile cf,
String clsName,
String superClsName,
int flags,
int cpCount) |
void |
ClassFilePrinter.setClass(ClassFile cf,
String clsName,
String superClsName,
int flags,
int cpCount) |
void |
ClassFileReaderAdapter.setClass(ClassFile cf,
String clsName,
String superClsName,
int flags,
int cpCount) |
void |
ClassFileReader.setClass(ClassFile cf,
String clsName,
String superClsName,
int flags,
int cpCount) |
void |
JVMAnnotationParser.setClassAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String typeName) |
void |
ClassFileParser.setClassAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String typeName) |
void |
ClassFilePrinter.setClassAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String typeName) |
void |
ClassFileReaderAdapter.setClassAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String typeName) |
void |
ClassFileReader.setClassAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String typeName) |
void |
JVMAnnotationParser.setClassAttribute(ClassFile cf,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileParser.setClassAttribute(ClassFile cf,
int attrIndex,
String name,
int attrLength) |
void |
ClassFilePrinter.setClassAttribute(ClassFile cf,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileReaderAdapter.setClassAttribute(ClassFile cf,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileReader.setClassAttribute(ClassFile cf,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileParser.setCodeAttribute(ClassFile cf,
Object tag,
int attrIndex,
String name,
int attrLength) |
void |
ClassFilePrinter.setCodeAttribute(ClassFile cf,
Object tag,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileReaderAdapter.setCodeAttribute(ClassFile cf,
Object tag,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileReader.setCodeAttribute(ClassFile cf,
Object tag,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileParser.setEnclosingMethod(ClassFile cf,
Object tag,
String enclosingClassName,
String enclosingMethodName,
String descriptor) |
void |
ClassFilePrinter.setEnclosingMethod(ClassFile cf,
Object tag,
String enclosingClass,
String enclosingMethod,
String descriptor) |
void |
ClassFileReaderAdapter.setEnclosingMethod(ClassFile cf,
Object tag,
String enclosingClass,
String enclosingMethod,
String descriptor) |
void |
ClassFileReader.setEnclosingMethod(ClassFile cf,
Object tag,
String enclosingClass,
String enclosingMethod,
String descriptor) |
void |
JVMAnnotationParser.setEnumAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String enumType,
String enumValue) |
void |
ClassFileParser.setEnumAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String enumType,
String enumValue) |
void |
ClassFilePrinter.setEnumAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String enumType,
String enumValue) |
void |
ClassFileReaderAdapter.setEnumAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String enumType,
String enumValue) |
void |
ClassFileReader.setEnumAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String enumType,
String enumValue) |
void |
ClassFileParser.setException(ClassFile cf,
Object tag,
int exceptionIndex,
String exceptionType) |
void |
ClassFilePrinter.setException(ClassFile cf,
Object tag,
int exceptionIndex,
String exceptionType) |
void |
ClassFileReaderAdapter.setException(ClassFile cf,
Object tag,
int exceptionIndex,
String exceptionType) |
void |
ClassFileReader.setException(ClassFile cf,
Object tag,
int exceptionIndex,
String exceptionType) |
void |
ClassFileParser.setExceptionHandler(ClassFile cf,
Object tag,
int handlerIndex,
int startPc,
int endPc,
int handlerPc,
String catchType) |
void |
ClassFilePrinter.setExceptionHandler(ClassFile cf,
Object tag,
int exceptionIndex,
int startPc,
int endPc,
int handlerPc,
String catchType) |
void |
ClassFileReaderAdapter.setExceptionHandler(ClassFile cf,
Object tag,
int exceptionIndex,
int startPc,
int endPc,
int handlerPc,
String catchType) |
void |
ClassFileReader.setExceptionHandler(ClassFile cf,
Object tag,
int exceptionIndex,
int startPc,
int endPc,
int handlerPc,
String catchType) |
void |
ClassFileParser.setField(ClassFile cf,
int fieldIndex,
int accessFlags,
String name,
String descriptor) |
void |
ClassFilePrinter.setField(ClassFile cf,
int fieldIndex,
int accessFlags,
String name,
String descriptor) |
void |
ClassFileReaderAdapter.setField(ClassFile cf,
int fieldIndex,
int accessFlags,
String name,
String descriptor) |
void |
ClassFileReader.setField(ClassFile cf,
int fieldIndex,
int accessFlags,
String name,
String descriptor) |
void |
ClassFileParser.setFieldAttribute(ClassFile cf,
int fieldIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFilePrinter.setFieldAttribute(ClassFile cf,
int fieldIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileReaderAdapter.setFieldAttribute(ClassFile cf,
int fieldIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileReader.setFieldAttribute(ClassFile cf,
int fieldIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileParser.setInnerClass(ClassFile cf,
Object tag,
int innerClsIndex,
String outerName,
String innerName,
String innerSimpleName,
int accessFlags) |
void |
ClassFilePrinter.setInnerClass(ClassFile cf,
Object tag,
int innerClsIndex,
String outerName,
String innerName,
String innerSimpleName,
int accessFlags) |
void |
ClassFileReaderAdapter.setInnerClass(ClassFile cf,
Object tag,
int innerClsIndex,
String outerName,
String innerName,
String innerSimpleName,
int accessFlags) |
void |
ClassFileReader.setInnerClass(ClassFile cf,
Object tag,
int innerClsIndex,
String outerName,
String innerName,
String innerSimpleName,
int accessFlags) |
void |
JVMAnnotationParser.setInterface(ClassFile cf,
int ifcIndex,
String ifcName) |
void |
ClassFileParser.setInterface(ClassFile cf,
int ifcIndex,
String ifcName) |
void |
ClassFilePrinter.setInterface(ClassFile cf,
int ifcIndex,
String ifcName) |
void |
ClassFileReaderAdapter.setInterface(ClassFile cf,
int ifcIndex,
String ifcName) |
void |
ClassFileReader.setInterface(ClassFile cf,
int ifcIndex,
String ifcName) |
void |
ClassFileParser.setLocalVar(ClassFile cf,
Object tag,
int localVarIndex,
String varName,
String descriptor,
int scopeStartPc,
int scopeEndPc,
int slotIndex) |
void |
ClassFilePrinter.setLocalVar(ClassFile cf,
Object tag,
int localVarIndex,
String varName,
String descriptor,
int scopeStartPc,
int scopeEndPc,
int slotIndex) |
void |
ClassFileReaderAdapter.setLocalVar(ClassFile cf,
Object tag,
int localVarIndex,
String varName,
String descriptor,
int scopeStartPc,
int scopeEndPc,
int slotIndex) |
void |
ClassFileReader.setLocalVar(ClassFile cf,
Object tag,
int localVarIndex,
String varName,
String descriptor,
int scopeStartPc,
int scopeEndPc,
int slotIndex) |
void |
JVMAnnotationParser.setMethod(ClassFile cf,
int methodIndex,
int accessFlags,
String name,
String descriptor) |
void |
ClassFileParser.setMethod(ClassFile cf,
int methodIndex,
int accessFlags,
String name,
String signature) |
void |
ClassFilePrinter.setMethod(ClassFile cf,
int methodIndex,
int accessFlags,
String name,
String descriptor) |
void |
ClassFileReaderAdapter.setMethod(ClassFile cf,
int methodIndex,
int accessFlags,
String name,
String descriptor) |
void |
ClassFileReader.setMethod(ClassFile cf,
int methodIndex,
int accessFlags,
String name,
String descriptor) |
void |
JVMAnnotationParser.setMethodAttribute(ClassFile cf,
int methodIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileParser.setMethodAttribute(ClassFile cf,
int methodIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFilePrinter.setMethodAttribute(ClassFile cf,
int methodIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileReaderAdapter.setMethodAttribute(ClassFile cf,
int methodIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileReader.setMethodAttribute(ClassFile cf,
int methodIndex,
int attrIndex,
String name,
int attrLength) |
void |
ClassFileParser.setParameterAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
ClassFilePrinter.setParameterAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
ClassFileReaderAdapter.setParameterAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
ClassFileReader.setParameterAnnotation(ClassFile cf,
Object tag,
int annotationIndex,
String annotationType) |
void |
JVMAnnotationParser.setPrimitiveAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
Object val) |
void |
ClassFileParser.setPrimitiveAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
Object val) |
void |
ClassFilePrinter.setPrimitiveAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
Object val) |
void |
ClassFileReaderAdapter.setPrimitiveAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
Object val) |
void |
ClassFileReader.setPrimitiveAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
Object val) |
void |
ClassFileParser.setSignature(ClassFile cf,
Object tag,
String signature) |
void |
ClassFilePrinter.setSignature(ClassFile cf,
Object tag,
String signature) |
void |
ClassFileReaderAdapter.setSignature(ClassFile cf,
Object tag,
String signature) |
void |
ClassFileReader.setSignature(ClassFile cf,
Object tag,
String signature) |
void |
ClassFile.setSignature(ClassFileReader reader,
Object tag,
String signature) |
void |
ClassFileParser.setSourceFile(ClassFile cf,
Object tag,
String fileName) |
void |
ClassFilePrinter.setSourceFile(ClassFile cf,
Object tag,
String pathName) |
void |
ClassFileReaderAdapter.setSourceFile(ClassFile cf,
Object tag,
String pathName) |
void |
ClassFileReader.setSourceFile(ClassFile cf,
Object tag,
String pathName) |
void |
JVMAnnotationParser.setStringAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String val) |
void |
ClassFileParser.setStringAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String val) |
void |
ClassFilePrinter.setStringAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String s) |
void |
ClassFileReaderAdapter.setStringAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String s) |
void |
ClassFileReader.setStringAnnotationValue(ClassFile cf,
Object tag,
int annotationIndex,
int valueIndex,
String elementName,
int arrayIndex,
String s) |
static ClassFile.CpInfo |
ClassFile.CpInfo.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
Constructor and Description |
---|
ClassFile(String pathName) |
ClassFile(String typeName,
byte[] data) |
ClassFile(String typeName,
byte[] data,
int offset) |
JVMByteCodePrinter(PrintWriter pw,
ClassFile cf,
String prefix) |
JVMClassFileContainer(String name) |
JVMClassInfo(ClassInfo ciAnnotation,
String proxyName,
ClassLoaderInfo cli,
String url) |
JVMClassInfo(String name,
ClassLoaderInfo classLoader,
ClassParser parser,
String classFileUrl) |
Modifier and Type | Field and Description |
---|---|
protected String |
FieldInstruction.className |
protected String |
NEW.cname |
protected String |
InvokeInstruction.cname |
protected String |
FieldInstruction.fname |
protected String |
InvokeInstruction.mname |
protected String |
InvokeInstruction.signature |
protected String |
LDC.string |
protected String |
NewArrayInstruction.type |
protected String |
MULTIANEWARRAY.type |
protected String |
NewArrayInstruction.typeName |
protected String |
FieldInstruction.varId |
Modifier and Type | Method and Description |
---|---|
String |
ASTORE.getBaseMnemonic() |
String |
FSTORE.getBaseMnemonic() |
String |
ALOAD.getBaseMnemonic() |
abstract String |
LocalVariableInstruction.getBaseMnemonic() |
String |
LLOAD.getBaseMnemonic() |
String |
LSTORE.getBaseMnemonic() |
String |
ILOAD.getBaseMnemonic() |
String |
ISTORE.getBaseMnemonic() |
String |
FLOAD.getBaseMnemonic() |
String |
DSTORE.getBaseMnemonic() |
String |
DLOAD.getBaseMnemonic() |
String |
NEW.getClassName() |
String |
FieldInstruction.getClassName() |
String |
LDC.getClassValue() |
String |
EXECUTENATIVE.getExecutedMethodName() |
String |
InstanceFieldInstruction.getFieldDescriptor() |
String |
FieldInstruction.getFieldName() |
String |
FieldInstruction.getId(ElementInfo ei) |
String |
INVOKESTATIC.getInvokedClassName() |
String |
InvokeInstruction.getInvokedMethodClassName()
be aware of that this might differ from getInvokedMethod(), since it only
denotes the target type info we have at the static point of the call, i.e.
|
String |
InvokeInstruction.getInvokedMethodName() |
String |
InvokeInstruction.getInvokedMethodSignature() |
String |
StaticFieldInstruction.getLastClassName() |
String |
LocalVariableInstruction.getLocalVariableName() |
String |
LocalVariableInstruction.getLocalVariableType() |
String |
ICONST.getMnemonic() |
String |
LocalVariableInstruction.getMnemonic() |
String |
LCONST.getMnemonic() |
String |
InvokeInstruction.getReturnTypeName() |
String |
LDC.getStringValue() |
String |
INSTANCEOF.getType() |
String |
NewArrayInstruction.getType() |
String |
MULTIANEWARRAY.getType() |
String |
CHECKCAST.getTypeName() |
String |
NewArrayInstruction.getTypeName() |
String |
FieldInstruction.getVariableId() |
String |
LocalVariableInstruction.getVariableId()
return the fully qualified class/method/var name
(don't use this for top-level filtering since it dynamically constructs the name)
|
String |
VariableAccessor.getVariableId() |
String |
FRETURN.toString() |
String |
INVOKEVIRTUAL.toString() |
String |
DRETURN.toString() |
String |
NEW.toString() |
String |
EXECUTENATIVE.toString() |
String |
LocalVariableInstruction.toString() |
String |
IfInstruction.toString() |
String |
NEWARRAY.toString() |
String |
RETURN.toString() |
String |
ARETURN.toString() |
String |
NATIVERETURN.toString() |
String |
IRETURN.toString() |
String |
LRETURN.toString() |
String |
INVOKESPECIAL.toString() |
String |
INVOKEINTERFACE.toString() |
String |
GOTO.toString() |
String |
INVOKESTATIC.toString() |
Modifier and Type | Method and Description |
---|---|
static int |
MULTIANEWARRAY.allocateArray(Heap heap,
String type,
int[] dim,
ThreadInfo ti,
int d) |
Instruction |
InstructionFactory.anewarray(String clsName) |
Instruction |
InstructionFactory.checkcast(String clsName) |
Object |
InvokeInstruction.getArgumentValue(String id,
ThreadInfo ti)
<2do> - this relies on same order of arguments and LocalVariableTable entries, which
seems to hold for javac, but is not required by the VM spec, which only
says that arguments are stored in consecutive slots starting at 0
|
Instruction |
InstructionFactory.getfield(String fieldName,
String clsName,
String fieldDescriptor) |
Object |
InvokeInstruction.getFieldOrArgumentValue(String id,
ThreadInfo ti) |
Object |
VirtualInvocation.getFieldValue(String id,
ThreadInfo ti) |
abstract Object |
InvokeInstruction.getFieldValue(String id,
ThreadInfo ti) |
Object |
INVOKESPECIAL.getFieldValue(String id,
ThreadInfo ti) |
Object |
INVOKESTATIC.getFieldValue(String id,
ThreadInfo ti) |
Instruction |
InstructionFactory.getstatic(String fieldName,
String clsName,
String fieldDescriptor) |
Instruction |
InstructionFactory.instanceof_(String clsName) |
Instruction |
InstructionFactory.invokeinterface(String clsName,
String methodName,
String methodSignature) |
Instruction |
InstructionFactory.invokespecial(String clsName,
String methodName,
String methodSignature) |
Instruction |
InstructionFactory.invokestatic(String clsName,
String methodName,
String methodSignature) |
Instruction |
InstructionFactory.invokevirtual(String clsName,
String methodName,
String methodSignature) |
Instruction |
InstructionFactory.ldc_w(String v,
boolean isClass) |
Instruction |
InstructionFactory.ldc(String v,
boolean isClass) |
Instruction |
InstructionFactory.multianewarray(String clsName,
int dimensions) |
Instruction |
InstructionFactory.new_(String clsName) |
Instruction |
InstructionFactory.putfield(String fieldName,
String clsName,
String fieldDescriptor) |
Instruction |
InstructionFactory.putstatic(String fieldName,
String clsName,
String fieldDescriptor) |
void |
FieldInstruction.setField(String fname,
String fclsName)
for explicit construction
|
void |
InvokeInstruction.setInvokedMethod(String clsName,
String mthName,
String sig)
this is for explicit initialization (not BCEL)
|
static LDC.Type |
LDC.Type.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static LDC2_W.Type |
LDC2_W.Type.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
Constructor and Description |
---|
ANEWARRAY(String typeDescriptor) |
CHECKCAST(String typeName) |
FieldInstruction(String name,
String clsName,
String fieldDescriptor) |
GETFIELD(String fieldName,
String classType,
String fieldDescriptor) |
GETSTATIC(String fieldName,
String clsDescriptor,
String fieldDescriptor) |
InstanceFieldInstruction(String fieldName,
String classType,
String fieldDescriptor) |
InstanceInvocation(String clsDescriptor,
String methodName,
String signature) |
INSTANCEOF(String typeName)
typeName is of a/b/C notation
|
InvokeInstruction(String clsName,
String methodName,
String signature) |
INVOKEINTERFACE(String clsDescriptor,
String methodName,
String signature) |
INVOKESPECIAL(String clsDescriptor,
String methodName,
String signature) |
INVOKESTATIC(String clsDescriptor,
String methodName,
String signature) |
INVOKEVIRTUAL(String clsDescriptor,
String methodName,
String signature) |
LDC_W(String s,
boolean isClass) |
LDC(String s,
boolean isClass) |
MULTIANEWARRAY(String typeName,
int dimensions) |
NEW(String clsDescriptor) |
PUTFIELD(String fieldName,
String clsDescriptor,
String fieldDescriptor) |
PUTSTATIC(String fieldName,
String clsDescriptor,
String fieldDescriptor) |
StaticFieldInstruction(String fieldName,
String clsDescriptor,
String fieldDescriptor) |
VirtualInvocation(String clsDescriptor,
String methodName,
String signature) |
Modifier and Type | Field and Description |
---|---|
protected String |
SimpleDot.app |
protected String |
SimpleDot.backtrackEdgeAttrs |
protected String |
SimpleDot.endNodeAttrs |
protected String |
SimpleDot.errorNodeAttrs |
protected String |
SimpleDot.genericEdgeAttrs |
protected String |
SimpleDot.genericNodeAttrs |
protected String |
SimpleDot.graphAttrs |
protected String |
SimpleDot.lastErrorId |
protected String |
SimpleDot.newEdgeAttrs |
protected String |
SimpleDot.restoreEdgeAttrs |
protected String |
SimpleDot.startNodeAttrs |
protected String |
SimpleDot.visitedEdgeAttrs |
Modifier and Type | Method and Description |
---|---|
protected static String |
SimpleDot.getClassObjectRef(int ref) |
protected String |
SimpleDot.getError(Search search) |
String |
AssertionProperty.getErrorMessage() |
String |
HeapTracker.getErrorMessage() |
String |
ObjectTracker.getErrorMessage() |
String |
NoStateCycles.getErrorMessage() |
String |
PathOutputMonitor.getErrorMessage() |
String |
NumericValueChecker.getErrorMessage() |
String |
PreciseRaceDetector.getErrorMessage() |
String |
NoStateCycles.getExplanation() |
protected String |
SimpleDot.getFieldAccessCG(FieldInstruction insn) |
protected static String |
SimpleDot.getInstanceRef(int ref) |
protected String |
SimpleDot.getInvokeCG(InvokeInstruction insn) |
protected String |
SimpleDot.getLastChoice() |
protected String |
SimpleDot.getLockCG(LockInstruction insn) |
protected String |
AssertionProperty.getMessage(String details,
Instruction insn) |
protected String |
SimpleDot.getNativeExecCG(EXECUTENATIVE insn) |
protected String |
SimpleDot.getNextCG() |
protected String |
SimpleDot.getStateId(int id) |
Modifier and Type | Method and Description |
---|---|
boolean |
PathOutputMonitor.PathOutputSpec.add(String spec) |
protected void |
Perturbator.addToFieldWatchList(Config conf,
String id) |
protected void |
Perturbator.addToParamsWatchList(Config conf,
String id) |
protected void |
Perturbator.addToReturnWatchList(Config conf,
String id) |
protected String |
AssertionProperty.getMessage(String details,
Instruction insn) |
static void |
LogConsole.main(String[] args) |
boolean |
PathOutputMonitor.PathOutputSpec.matches(String[] output) |
protected void |
CGRemover.parseLocationSpecs(List<LocationSpec> list,
String[] specs) |
protected void |
CGRemover.parseMethodSpecs(List<MethodSpec> list,
String[] specs) |
protected void |
SimpleDot.printBacktrack(String fromState,
String toState) |
protected void |
SimpleDot.printEndState(String stateId) |
protected void |
SimpleDot.printErrorState(String error) |
protected void |
ReferenceLocator.printLocation(String msg,
ThreadInfo ti) |
protected void |
SimpleDot.printRestored(String fromState,
String toState) |
protected void |
SimpleDot.printStartState(String stateId) |
protected void |
SimpleDot.printTransition(String fromState,
String toState,
String choiceVal,
String cgCause) |
void |
ChoiceTracker.setExcludes(String... ex) |
Constructor and Description |
---|
ChoiceTracker(JPF jpf,
String traceFileName,
Class<?> cgClass) |
Modifier and Type | Field and Description |
---|---|
protected String[] |
GenericDataAbstractor.paramNames |
protected String[] |
GenericDataAbstractor.paramTypeNames |
Modifier and Type | Method and Description |
---|---|
ChoiceGenerator<?> |
OperandPerturbator.createChoiceGenerator(String id,
StackFrame frame,
Object refObject) |
ChoiceGenerator<?> |
GenericDataAbstractor.createChoiceGenerator(String id,
StackFrame frame,
Object refObject) |
ChoiceGenerator<?> |
IntOverUnder.createChoiceGenerator(String id,
StackFrame frame,
Object refObject) |
int[] |
GenericDataAbstractor.populateBoolean(MethodInfo mi,
String name) |
int[] |
GenericDataAbstractor.populateByte(MethodInfo mi,
String name) |
int[] |
GenericDataAbstractor.populateChar(MethodInfo mi,
String name) |
int[] |
GenericDataAbstractor.populateDouble(MethodInfo mi,
String name) |
int[] |
GenericDataAbstractor.populateFloat(MethodInfo mi,
String name) |
int[] |
GenericDataAbstractor.populateInt(MethodInfo mi,
String name) |
int[] |
GenericDataAbstractor.populateLong(MethodInfo mi,
String name) |
int[] |
GenericDataAbstractor.populateShort(MethodInfo mi,
String name) |
Constructor and Description |
---|
GenericDataAbstractor(Config conf,
String keyPrefix) |
IntOverUnder(Config conf,
String keyPrefix) |
Modifier and Type | Field and Description |
---|---|
protected String[] |
Publisher.constraintTopics |
protected String[] |
Publisher.finishedTopics |
protected String[] |
Publisher.propertyViolationTopics |
protected String[] |
Publisher.startTopics |
static String |
ConsolePublisher.STATISTICS_TOPIC |
protected String[] |
Publisher.transitionTopics |
Modifier and Type | Method and Description |
---|---|
String |
Publisher.formatDTG(Date date) |
static String |
Publisher.formatHMS(long t) |
String |
Reporter.getArch() |
String |
Reporter.getCurrentErrorId() |
String |
Reporter.getHostName() |
String |
Reporter.getJava() |
String |
Reporter.getJPFBanner() |
String |
Publisher.getLastErrorId() |
String |
Reporter.getLastSearchConstraint() |
String |
XMLPublisher.getName() |
String |
ConsolePublisher.getName() |
abstract String |
Publisher.getName() |
String |
Reporter.getOS() |
String |
Publisher.getReportFileName(String key) |
protected String |
Reporter.getRepositoryInfo() |
protected String |
Reporter.getRevision() |
String |
Reporter.getSuT() |
String |
Reporter.getUser() |
Modifier and Type | Method and Description |
---|---|
String |
Publisher.getReportFileName(String key) |
boolean |
Publisher.hasTopic(String topic) |
void |
XMLPublisher.publishTopicEnd(String topic) |
void |
ConsolePublisher.publishTopicEnd(String topic) |
void |
Publisher.publishTopicEnd(String topic) |
void |
XMLPublisher.publishTopicStart(String topic) |
void |
ConsolePublisher.publishTopicStart(String topic) |
void |
Publisher.publishTopicStart(String topic) |
<T extends Publisher> |
Reporter.setPublisherTopics(Class<T> publisherCls,
int category,
String[] topics) |
void |
Publisher.setTopics(int category,
String[] newTopics) |
protected void |
Publisher.setTopics(String name) |
Modifier and Type | Field and Description |
---|---|
protected String |
Search.lastSearchConstraint |
Modifier and Type | Method and Description |
---|---|
String |
Search.getLastSearchConstraint() |
String |
Search.getSearchConstraint() |
Modifier and Type | Method and Description |
---|---|
void |
Search.notifySearchConstraintHit(String details) |
Modifier and Type | Method and Description |
---|---|
String |
PrioritizedState.toString() |
Modifier and Type | Method and Description |
---|---|
protected static String |
Run.checkClassName(String cls) |
protected static String[] |
Run.removeConfigArgs(String[] args) |
Modifier and Type | Method and Description |
---|---|
static void |
RunJPF.addProject(String[] args) |
protected static boolean |
Run.call(Class<?> cls,
String mthName,
Object[] args) |
protected static String |
Run.checkClassName(String cls) |
protected static void |
Run.error(String msg) |
static int |
RunTest.getOptions(String[] args) |
static int |
RunJPF.getOptions(String[] args) |
static void |
RunTest.main(String[] args) |
static void |
RunAnt.main(String[] args) |
static void |
RunJPF.main(String[] args) |
static void |
GenPeer.main(String[] args) |
protected static String[] |
Run.removeConfigArgs(String[] args) |
Modifier and Type | Field and Description |
---|---|
String |
Result.error |
String |
SourceRef.fileName |
protected String |
Source.fname |
protected String[] |
Source.lines |
static String |
LogHandler.LOG_HOST |
protected String |
FeatureSpec.src |
Modifier and Type | Method and Description |
---|---|
static String[] |
Misc.arrayWithoutFirst(String[] base,
int nElements) |
static String |
FileUtils.asCanonicalUnixPath(String p)
turn a mixed path list into a valid Unix path set without drive letters,
and with '/' and ':' separators.
|
static String |
FileUtils.asCanonicalUserPathName(String path) |
static String |
FileUtils.asCanonicalWindowsPath(String p)
turn a mixed path list into a valid Windows path set with drive letters,
and '\' and ';' separators.
|
static String |
FileUtils.asPlatformPath(String p) |
static String |
FileUtils.asUnixPathName(File file) |
String[] |
PathnameExpander.expandPath(String s) |
protected String[] |
PathnameExpander.expandWildcards(String s) |
static String[] |
FileUtils.expandWildcards(String[] pathNames) |
static String |
Left.format(int value,
int digits) |
static String |
Right.format(int value,
int digits) |
static String |
Left.format(String value,
int spaces) |
static String |
Right.format(String value,
int spaces) |
static String |
Right.format(String value,
int spaces,
char ch) |
static String |
Misc.fromFirst(String s,
char c) |
String[] |
Invocation.getArgumentTypeNames() |
String |
Invocation.getArgumentValueLiteral(Object a) |
static String |
FileUtils.getContentsAsString(File file) |
static String |
JPFSiteUtils.getCurrentProjectId()
look for a "
|
String |
SourceRef.getFileName() |
String |
RepositoryEntry.getFileName() |
static String |
JPFSiteUtils.getGlobalSitePropertiesPath() |
String |
Source.getLine(int i)
this is our sole purpose in life - answer line strings
line index is 1-based
|
String |
SourceRef.getLineString() |
String |
SourceRef.getLocationString() |
static String |
JPFSiteUtils.getMatchFromFile(String pathName,
String lookupKey)
minimal parsing - only local key, system property and and config_path expansion
NOTE this stops after finding the key, and it doesn't add the file to the 'sources'
|
String |
JPFLogger.getName() |
String |
Source.getPath() |
protected String[] |
PathnameExpander.getPaths(ArrayList<File> list) |
static String |
FileUtils.getRelativeUnixPath(File baseDir,
File refFile) |
String |
RepositoryEntry.getRepository() |
String |
RepositoryEntry.getRepositoryType() |
String |
JPFLogger.getResourceBundleName() |
String |
RepositoryEntry.getRevision() |
String |
FeatureSpec.getSource() |
String |
PSIntMap.keyDescription(int key) |
protected static String |
FeatureSpec.parseInversion(String s,
gov.nasa.jpf.util.FeatureSpec.ParseData d) |
protected static String |
FeatureSpec.parseType(String s,
gov.nasa.jpf.util.FeatureSpec.ParseData d) |
protected static String |
FeatureSpec.parseTypeAndName(String s,
gov.nasa.jpf.util.FeatureSpec.ParseData d) |
static String[] |
Misc.prependArray(String[] base,
String... elements) |
static String |
Debug.status() |
static String |
Misc.stripToLastDot(String s) |
String |
IdentityArrayObjectSet.toString() |
String |
StringMatcher.toString() |
String |
BitSet64.toString() |
String |
MethodSpec.toString() |
String |
StringSetMatcher.toString() |
String |
SourceRef.toString() |
String |
FieldSpec.toString() |
String |
BitSet256.toString() |
String |
ArrayIntSet.toString() |
String |
TypeRef.toString() |
String |
IntTable.Entry.toString() |
String |
Invocation.toString() |
String |
AvailableBufferedInputStream.toString() |
String |
LocationSpec.toString() |
String |
SparseClusterArray.toString() |
String |
SparseClusterArray.Chunk.toString() |
String |
DynamicIntArray.toString() |
String |
DynamicObjectArray.toString() |
String |
SortedArrayObjectSet.toString() |
String |
BitSet1024.toString() |
static String |
Misc.toString(int[] array,
int start,
int end,
String prefix,
String separator,
String postfix) |
static String |
Misc.toString(Iterable<?> collection,
String prefix,
String separator,
String postfix) |
static String |
Misc.toString(Object[] array,
String prefix,
String separator,
String postfix) |
static String |
FileUtils.unixToUserPathName(String unixPathName) |
static String |
Misc.upToFirst(String s,
char c) |
Modifier and Type | Method and Description |
---|---|
static List<String> |
JPFSiteUtils.getExtensions(List<Pair<String,String>> entries)
this returns a list of all the project ids in the 'extensions' entries (also
handles accumulated 'extensions+=.." entries
|
static List<Pair<String,String>> |
JPFSiteUtils.getRawEntries(File siteProps) |
static List<Pair<String,String>> |
JPFSiteUtils.getRawEntries(File siteProps) |
static List<Pair<String,String>> |
JPFSiteUtils.getRawEntries(Reader reader)
this returns the contents of a config source in-order, without expanding values or keys
|
static List<Pair<String,String>> |
JPFSiteUtils.getRawEntries(Reader reader)
this returns the contents of a config source in-order, without expanding values or keys
|
static <K,V> ArrayList<String> |
Misc.getSortedKeyStrings(HashMap<K,V> map) |
Modifier and Type | Method and Description |
---|---|
void |
StringSetMatcher.addPattern(String s) |
static boolean |
JPFSiteUtils.addProject(File siteProps,
String projectId,
File projectDir,
boolean isExt) |
boolean |
StringSetMatcher.allMatch(String[] set)
do all elements of 'set' match at least one of our patterns?
|
static String[] |
Misc.arrayWithoutFirst(String[] base,
int nElements) |
static String |
FileUtils.asCanonicalUnixPath(String p)
turn a mixed path list into a valid Unix path set without drive letters,
and with '/' and ':' separators.
|
static String |
FileUtils.asCanonicalUserPathName(String path) |
static String |
FileUtils.asCanonicalWindowsPath(String p)
turn a mixed path list into a valid Windows path set with drive letters,
and '\' and ';' separators.
|
static String |
FileUtils.asPlatformPath(String p) |
void |
JPFLogger.config(String msg) |
static boolean |
FileUtils.containsWildcards(String pattern) |
static FieldSpec |
FieldSpec.createFieldSpec(String s)
factory method that includes the parser
|
static LocationSpec |
LocationSpec.createLocationSpec(String s)
factory method that includes the parser
|
static MethodSpec |
MethodSpec.createMethodSpec(String s)
factory method that includes the parser
|
protected Pattern |
StringMatcher.createPattern(String s) |
static TypeSpec |
TypeSpec.createTypeSpec(String s) |
static VarSpec |
VarSpec.createVarSpec(String spec) |
void |
JPFLogger.entering(String sourceClass,
String sourceMethod) |
void |
JPFLogger.entering(String sourceClass,
String sourceMethod,
Object param1) |
void |
JPFLogger.entering(String sourceClass,
String sourceMethod,
Object[] params) |
boolean |
SourceRef.equals(String filePos) |
boolean |
SourceRef.equals(String f,
int l) |
void |
JPFLogger.exiting(String sourceClass,
String sourceMethod) |
void |
JPFLogger.exiting(String sourceClass,
String sourceMethod,
Object result) |
String[] |
PathnameExpander.expandPath(String s) |
protected String[] |
PathnameExpander.expandWildcards(String s) |
static String[] |
FileUtils.expandWildcards(String[] pathNames) |
static Result |
Result.failure(String errorMsg) |
void |
JPFLogger.fconfig(String format,
String... args) |
void |
JPFLogger.fconfig(String format,
String... args) |
void |
JPFLogger.ffine(String format,
Object... args) |
void |
JPFLogger.ffiner(String format,
Object... args) |
void |
JPFLogger.ffinest(String format,
Object... args) |
static List<File> |
FileUtils.findMatches(String pattern) |
void |
JPFLogger.fine(String msg) |
void |
JPFLogger.finer(String msg) |
void |
JPFLogger.finest(String msg) |
void |
JPFLogger.finfo(String format,
Object... args) |
static String |
Left.format(String value,
int spaces) |
static String |
Right.format(String value,
int spaces) |
static String |
Right.format(String value,
int spaces,
char ch) |
static String |
Misc.fromFirst(String s,
char c) |
void |
JPFLogger.fsevere(String format,
Object... args) |
void |
JPFLogger.fwarning(String format,
Object... args) |
static int |
Debug.getDebugLevel(String ks) |
static JPFLogger |
LogManager.getLogger(String name) |
static String |
JPFSiteUtils.getMatchFromFile(String pathName,
String lookupKey)
minimal parsing - only local key, system property and and config_path expansion
NOTE this stops after finding the key, and it doesn't add the file to the 'sources'
|
MethodInfo |
MethodInfoRegistry.getMethodInfo(MJIEnv env,
int objRef,
String fieldName) |
static StringSetMatcher |
StringSetMatcher.getNonEmpty(String[] set) |
protected Pattern |
PathnameExpander.getPattern(String s) |
static RepositoryEntry |
RepositoryEntry.getRepositoryEntry(String fullFileName) |
static File |
JPFSiteUtils.getSiteCoreDir(String[] args) |
static File |
JPFSiteUtils.getSiteProperties(String[] args) |
static Source |
Source.getSource(String relPathName) |
static URL |
FileUtils.getURL(String spec) |
static URL[] |
FileUtils.getURLs(String[] paths) |
void |
JPFLogger.info(String msg) |
static boolean |
JPFSiteUtils.isFreeArg(String a) |
static boolean |
StringSetMatcher.isMatch(String s,
StringSetMatcher includes,
StringSetMatcher excludes)
convenience method for matcher pairs containing of explicit excludes and
includes
|
void |
JPFLogger.log(Level level,
String msg) |
void |
JPFLogger.log(Level level,
String msg,
Object param1) |
void |
JPFLogger.log(Level level,
String msg,
Object[] params) |
void |
JPFLogger.log(Level level,
String msg,
Throwable thrown) |
void |
JPFLogger.logp(Level level,
String sourceClass,
String sourceMethod,
String msg) |
void |
JPFLogger.logp(Level level,
String sourceClass,
String sourceMethod,
String msg,
Object param1) |
void |
JPFLogger.logp(Level level,
String sourceClass,
String sourceMethod,
String msg,
Object[] params) |
void |
JPFLogger.logp(Level level,
String sourceClass,
String sourceMethod,
String msg,
Throwable thrown) |
void |
JPFLogger.logrb(Level level,
String sourceClass,
String sourceMethod,
String bundleName,
String msg) |
void |
JPFLogger.logrb(Level level,
String sourceClass,
String sourceMethod,
String bundleName,
String msg,
Object param1) |
void |
JPFLogger.logrb(Level level,
String sourceClass,
String sourceMethod,
String bundleName,
String msg,
Object[] params) |
void |
JPFLogger.logrb(Level level,
String sourceClass,
String sourceMethod,
String bundleName,
String msg,
Throwable thrown) |
static void |
SparseObjVector.main(String[] args) |
static void |
WeakPool.main(String[] args)
BROKEN Test main.
|
static void |
StringSetMatcher.main(String[] args) |
static void |
SimplePool.main(String[] args)
Test main.
|
static void |
SparseIntVector.main(String[] args) |
static int |
Debug.mapKind(String ks) |
static int |
Debug.mapLevel(String ls) |
boolean |
StringMatcher.matches(String s) |
boolean |
MethodSpec.matches(String clsName,
String mthName) |
boolean |
StringSetMatcher.matchesAll(String s)
does 's' match ALL of our patterns
|
boolean |
StringSetMatcher.matchesAny(String s)
does 's' match at least one of our patterns
|
boolean |
MethodSpec.matchesClass(String clsName) |
boolean |
LocationSpec.matchesFile(String pathName)
'pathName' has to use '/' as separators
|
protected static String |
FeatureSpec.parseInversion(String s,
gov.nasa.jpf.util.FeatureSpec.ParseData d) |
protected static String |
FeatureSpec.parseType(String s,
gov.nasa.jpf.util.FeatureSpec.ParseData d) |
protected static String |
FeatureSpec.parseTypeAndName(String s,
gov.nasa.jpf.util.FeatureSpec.ParseData d) |
static String[] |
Misc.prependArray(String[] base,
String... elements) |
static String[] |
Misc.prependArray(String[] base,
String... elements) |
static void |
Debug.print(int l,
int k,
String s) |
static void |
Debug.print(int l,
String s) |
void |
ConsoleStream.print(String s) |
static void |
Debug.println(int l,
int k,
String s) |
static void |
Debug.println(int l,
String s) |
void |
ConsoleStream.println(String s) |
static void |
FileUtils.setContents(File file,
String data) |
static void |
Debug.setDebugLevel(int l,
String ks) |
static void |
Debug.setDebugLevel(String ls) |
static void |
Debug.setDebugLevel(String ls,
int k) |
static void |
Debug.setDebugLevel(String ls,
String ks) |
void |
JPFLogger.severe(String msg) |
static String |
Misc.stripToLastDot(String s) |
void |
JPFLogger.throwing(String sourceClass,
String sourceMethod,
Throwable thrown) |
static String |
Misc.toString(int[] array,
int start,
int end,
String prefix,
String separator,
String postfix) |
static String |
Misc.toString(Iterable<?> collection,
String prefix,
String separator,
String postfix) |
static String |
Misc.toString(Object[] array,
String prefix,
String separator,
String postfix) |
static boolean |
Reflection.tryCallMain(Class<?> cls,
String[] args) |
static String |
FileUtils.unixToUserPathName(String unixPathName) |
static String |
Misc.upToFirst(String s,
char c) |
void |
JPFLogger.warning(String msg) |
Modifier and Type | Method and Description |
---|---|
static List<String> |
JPFSiteUtils.getExtensions(List<Pair<String,String>> entries)
this returns a list of all the project ids in the 'extensions' entries (also
handles accumulated 'extensions+=.." entries
|
static List<String> |
JPFSiteUtils.getExtensions(List<Pair<String,String>> entries)
this returns a list of all the project ids in the 'extensions' entries (also
handles accumulated 'extensions+=.." entries
|
static URL[] |
FileUtils.getURLs(List<String> paths) |
Constructor and Description |
---|
FeatureSpec(String rawSpec,
String cls,
String name,
boolean inverted) |
FieldSpec(String rawSpec,
String cls,
String name,
boolean inverted) |
InstructionFactoryFilter(String[] includeCls,
String[] excludeCls,
ClassInfo rootCls,
ClassInfo leafCls) |
InstructionFactoryFilter(String[] includeCls,
String[] excludeCls,
ClassInfo rootCls,
ClassInfo leafCls) |
LocationSpec(String pspec,
String fspec,
int line1,
int line2) |
MethodSpec(String rawSpec,
String cls,
String name,
String argSig,
boolean inverted) |
RepositoryEntry(String fileName,
String repositoryType,
String repository,
String revision) |
Source(gov.nasa.jpf.util.Source.SourceRoot root,
String fname) |
SourceRef(String spec) |
SourceRef(String f,
int l) |
StringMatcher(String patternSpec) |
StringSetMatcher(String... set) |
TypeRef(String clsName) |
TypeSpec(String rawSpec,
String cls,
boolean inverted) |
VarSpec(String varName,
MethodSpec mthSpec) |
Modifier and Type | Field and Description |
---|---|
protected String[] |
Automaton.alphabet |
protected String |
Automaton.label |
protected String |
State.label |
protected String |
Transition.label |
Modifier and Type | Method and Description |
---|---|
String[] |
Automaton.computeAlphabet() |
String[] |
Automaton.getAlphabet() |
String |
Automaton.getLabel() |
String |
State.getLabel() |
String |
Transition.getLabel() |
Constructor and Description |
---|
Automaton(String label) |
Automaton(String label,
int numberOfStates) |
Automaton(String label,
int numberOfStates,
int numberOfInputs) |
State(String label) |
State(String label,
int numberOfTransitions) |
Transition(String label,
State toState) |
Modifier and Type | Method and Description |
---|---|
String[] |
JSONObject.getCGCallsKeys() |
String |
CGCall.getName() |
String |
ArrayValue.getString() |
String |
Value.getString()
Get string value.
|
String |
StringValue.getString() |
String |
AbstractValue.getString() |
String |
Token.getValue() |
String[] |
JSONObject.getValuesKeys() |
String |
Token.toString() |
Modifier and Type | Method and Description |
---|---|
void |
JSONObject.addCGCall(String key,
CGCall cgCall) |
void |
CGCreatorFactory.addCGCreator(String cgName,
CGCreator cgCreator) |
int |
JSONObject.createArray(MJIEnv env,
ClassInfo ciArray,
Value value,
ChoiceGenerator<?>[] cgs,
String prefix) |
ChoiceGenerator<?> |
CGCreator.createCG(String id,
Value[] params)
Create choice generator
|
int |
JSONObject.fillObject(MJIEnv env,
ClassInfo ci,
ChoiceGenerator<?>[] cgs,
String prefix) |
CGCall |
JSONObject.getCGCall(String key) |
CGCreator |
CGCreatorFactory.getCGCreator(String key) |
static gov.nasa.jpf.util.json.Creator |
CreatorsFactory.getCreator(String typeName) |
Value |
JSONObject.getValue(String key)
Get value read from JSON document with specified key.
|
static Token.Type |
Token.Type.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
Constructor and Description |
---|
AbstractValue(String read) |
CGCall(String name) |
DoubleValue(String strValue) |
JSONLexer(String JSONStr) |
StringValue(String str) |
Token(Token.Type type,
String value) |
Modifier and Type | Field and Description |
---|---|
protected String[] |
Event.arguments |
protected String |
Event.id |
static String |
ESParser.K_ANY |
static String |
ESParser.K_REPEAT
our keywords
|
static String |
ESParser.K_SECTION |
static String |
Event.NONE |
protected String |
EventGeneratorFactory.scriptFileName |
Modifier and Type | Field and Description |
---|---|
protected LinkedHashMap<String,ArrayList<EventGenerator>> |
EventGeneratorFactory.sections |
Modifier and Type | Method and Description |
---|---|
String[] |
Event.getArguments() |
String |
Event.getId() |
String |
EventGeneratorFactory.getScriptFileName() |
String |
ScriptElementContainer.toString() |
String |
Section.toString() |
String |
Alternative.toString() |
String |
Script.toString() |
String |
Repetition.toString() |
String |
Event.toString() |
protected String |
ScriptElementContainer.toString(String type) |
Modifier and Type | Method and Description |
---|---|
List<String> |
StringExpander.expand() |
List<String> |
Section.getIds() |
LinkedHashMap<String,ArrayList<gov.nasa.jpf.util.script.CG>> |
StringSetGenerator.getSections() |
Modifier and Type | Method and Description |
---|---|
boolean |
Section.containsId(String id) |
protected char[] |
StringExpander.createCategory(String cat) |
protected abstract CG |
ScriptEnvironment.createCGFromEvents(String id,
List<Event> events) |
Event |
ESParser.DefaultEventFactory.createEvent(ScriptElement parent,
String id,
List<String> args,
int line) |
Event |
EventFactory.createEvent(ScriptElement parent,
String id,
List<String> args,
int line) |
CG |
ScriptEnvironment.getNext(String id) |
CG |
ScriptEnvironment.getNext(String id,
String[] activeStates) |
CG |
ScriptEnvironment.getNext(String id,
String[] activeStates) |
CG |
ScriptEnvironment.getNext(String id,
String[] activeStates,
BitSet isReEntered) |
CG |
ScriptEnvironment.getNext(String id,
String[] activeStates,
BitSet isReEntered) |
ArrayList<EventGenerator> |
EventGeneratorFactory.getSection(String id) |
boolean |
EventGeneratorFactory.hasSection(String id) |
protected void |
EventGeneratorFactory.init(String fname) |
static boolean |
Event.isNone(String id) |
static void |
SequenceInterpreter.main(String[] args) |
static void |
StringExpander.main(String[] args) |
static void |
ESParser.main(String[] args) |
void |
Event.setArguments(String[] args) |
static void |
ESParser.tokenize(String fname)
test functions
|
protected String |
ScriptElementContainer.toString(String type) |
Modifier and Type | Method and Description |
---|---|
Event |
ESParser.DefaultEventFactory.createEvent(ScriptElement parent,
String id,
List<String> args,
int line) |
Event |
EventFactory.createEvent(ScriptElement parent,
String id,
List<String> args,
int line) |
Constructor and Description |
---|
ESParser(String fname) |
ESParser(String fname,
EventFactory eFact) |
ESParser(String name,
Reader r) |
ESParser(String name,
Reader r,
EventFactory eFact) |
Event(ScriptElement parent,
String id,
String[] args,
int line) |
Event(ScriptElement parent,
String id,
String[] args,
int line) |
EventGenerator(String id) |
ScriptEnvironment(String fname) |
ScriptEnvironment(String name,
Reader r) |
Section(ScriptElement parent,
String id) |
StringExpander(String src) |
Constructor and Description |
---|
Section(ScriptElement parent,
List<String> ids,
int line) |
Modifier and Type | Field and Description |
---|---|
static String |
TestJPF.SAME_PACKAGE |
protected String |
TestJPF.sutClassName |
static String |
TestJPF.UNNAMED_PACKAGE |
Modifier and Type | Method and Description |
---|---|
protected static String |
TestJPF.getSutClassName(String testClassName,
String sutPackage)
compute the SuT class name for a given JUnit test class: remove
optionally ending "..Test", and replace package (if specified)
|
Modifier and Type | Method and Description |
---|---|
static void |
TestJPF.assertEquals(String msg,
double expected,
double actual) |
static void |
TestJPF.assertEquals(String msg,
double expected,
double actual,
double delta) |
static void |
TestJPF.assertEquals(String msg,
float expected,
float actual) |
static void |
TestJPF.assertEquals(String msg,
float expected,
float actual,
float delta) |
static void |
TestJPF.assertEquals(String msg,
int expected,
int actual) |
static void |
TestJPF.assertEquals(String msg,
long expected,
long actual) |
static void |
TestJPF.assertEquals(String msg,
Object expected,
Object actual) |
static void |
TestJPF.assertFalse(String msg,
boolean cond) |
protected JPF |
TestJPF.assertionError(StackTraceElement testMethod,
String... args)
run JPF expecting a AssertionError in the SuT
|
protected JPF |
TestJPF.assertionError(String... args) |
protected JPF |
TestJPF.assertionErrorDetails(StackTraceElement testMethod,
String details,
String... args) |
protected JPF |
TestJPF.assertionErrorDetails(StackTraceElement testMethod,
String details,
String... args) |
protected JPF |
TestJPF.assertionErrorDetails(String details,
String... args) |
protected JPF |
TestJPF.assertionErrorDetails(String details,
String... args) |
static void |
TestJPF.assertNotNull(String msg,
Object o) |
static void |
TestJPF.assertNull(String msg,
Object o) |
static void |
TestJPF.assertSame(String msg,
Object expected,
Object actual) |
static void |
TestJPF.assertTrue(String msg,
boolean cond) |
protected JPF |
TestJPF.createAndRunJPF(StackTraceElement testMethod,
String[] args)
needs to be broken up into two methods for cases that do additional
JPF initialization (jpf-inspector)
this is called from the various verifyX() methods (i.e.
|
protected JPF |
TestJPF.createJPF(StackTraceElement testMethod,
String[] args)
this is never executed under JPF
|
protected JPF |
TestJPF.deadlock(String... args)
run JPF expecting a deadlock in the SuT
|
static void |
TestJPF.fail(String msg) |
static void |
TestJPF.fail(String msg,
String[] args,
String cause) |
static void |
TestJPF.fail(String msg,
String[] args,
String cause) |
protected static List<Method> |
TestJPF.getContextMethods(Class<? extends TestJPF> testCls,
int setModifiers,
int unsetModifiers,
String annotation) |
protected static List<Method> |
TestJPF.getMatchingMethods(Class<? extends TestJPF> testCls,
int setModifiers,
int unsetModifiers,
String[] annotationNames) |
protected static void |
TestJPF.getOptions(String[] args) |
protected static String |
TestJPF.getSutClassName(String testClassName,
String sutPackage)
compute the SuT class name for a given JUnit test class: remove
optionally ending "..Test", and replace package (if specified)
|
protected static List<Method> |
TestJPF.getTestMethods(Class<? extends TestJPF> testCls,
String[] args) |
protected static boolean |
TestJPF.hasExplicitTestMethods(String[] args) |
protected static boolean |
TestJPF.isMatchingMethod(Method m,
int setModifiers,
int unsetModifiers,
String[] annotationNames) |
protected JPF |
TestJPF.jpfException(Class<? extends Throwable> xCls,
String... args) |
protected JPF |
TestJPF.jpfException(StackTraceElement testMethod,
Class<? extends Throwable> xCls,
String... args)
run JPF expecting it to throw an exception
NOTE - xClassName needs to be the concrete exception, not a super class
|
protected boolean |
TestMultiProcessJPF.mpVerifyAssertionError(int prcNum,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyAssertionErrorDetails(int prcNum,
String details,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyAssertionErrorDetails(int prcNum,
String details,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyDeadlock(int prcNum,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyJPFException(int prcNum,
TypeRef xClsSpec,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyNoPropertyViolation(int prcNum,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyPropertyViolation(int prcNum,
TypeRef propertyClsSpec,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyUnhandledException(int prcNum,
String xClassName,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyUnhandledException(int prcNum,
String xClassName,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyUnhandledExceptionDetails(int prcNum,
String xClassName,
String details,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyUnhandledExceptionDetails(int prcNum,
String xClassName,
String details,
String... args) |
protected JPF |
TestJPF.noPropertyViolation(StackTraceElement testMethod,
String... args)
run JPF expecting no SuT property violations or JPF exceptions
|
protected JPF |
TestJPF.noPropertyViolation(String... args) |
protected JPF |
TestJPF.propertyViolation(Class<? extends Property> propertyCls,
String... args) |
protected JPF |
TestJPF.propertyViolation(StackTraceElement testMethod,
Class<? extends Property> propertyCls,
String... args)
run JPF expecting a property violation of the SuT
|
void |
TestJPF.report(String[] args) |
protected static void |
TestJPF.reportResults(String clsName,
int nTests,
int nFailures,
int nErrors,
List<String> results) |
protected static void |
TestJPF.reportTestCleanup(String mthName) |
protected static void |
TestJPF.reportTestFinished(String msg) |
protected static void |
TestJPF.reportTestInitialization(String mthName) |
protected static void |
TestJPF.reportTestStart(String mthName) |
static void |
TestJPF.runTests(Class<? extends TestJPF> testCls,
String... args)
this is the main test loop if this TestJPF instance is executed directly
or called from RunTest.
|
protected static void |
TestJPF.runTestsOfThisClass(String[] testMethods)
NOTE: this needs to be called from the concrete test class, typically from
its main() method, otherwise we don't know the name of the class we have
to pass to JPF
|
protected StackTraceElement |
TestJPF.setTestMethod(String mthName) |
protected StackTraceElement |
TestJPF.setTestMethod(String clsName,
String mthName) |
void |
TestJPF.start(String[] testMethods) |
protected JPF |
TestJPF.unhandledException(StackTraceElement testMethod,
String xClassName,
String details,
String... args)
NOTE: this uses the exception class name because it might be an
exception type that is only known to JPF (i.e.
|
protected JPF |
TestJPF.unhandledException(StackTraceElement testMethod,
String xClassName,
String details,
String... args)
NOTE: this uses the exception class name because it might be an
exception type that is only known to JPF (i.e.
|
protected JPF |
TestJPF.unhandledException(String xClassName,
String details,
String... args) |
protected JPF |
TestJPF.unhandledException(String xClassName,
String details,
String... args) |
protected boolean |
TestJPF.verifyAssertionError(String... args) |
protected boolean |
TestJPF.verifyAssertionErrorDetails(String details,
String... args) |
protected boolean |
TestJPF.verifyAssertionErrorDetails(String details,
String... args) |
protected boolean |
TestJPF.verifyDeadlock(String... args) |
protected boolean |
TestJPF.verifyJPFException(TypeRef xClsSpec,
String... args) |
protected boolean |
TestJPF.verifyNoPropertyViolation(String... args) |
protected boolean |
TestJPF.verifyPropertyViolation(TypeRef propertyClsSpec,
String... args) |
protected boolean |
TestJPF.verifyUnhandledException(String xClassName,
String... args) |
protected boolean |
TestJPF.verifyUnhandledException(String xClassName,
String... args) |
protected boolean |
TestJPF.verifyUnhandledExceptionDetails(String xClassName,
String details,
String... args) |
protected boolean |
TestJPF.verifyUnhandledExceptionDetails(String xClassName,
String details,
String... args) |
Modifier and Type | Method and Description |
---|---|
protected static void |
TestJPF.reportResults(String clsName,
int nTests,
int nFailures,
int nErrors,
List<String> results) |
Constructor and Description |
---|
TestJPF(String sutClassName)
to be used from default ctor of derived class if the SuT is in a different
package
|
Modifier and Type | Field and Description |
---|---|
static String |
SchedulerFactory.BEGIN_ATOMIC
used by Verify.beginAtomic()
|
protected String |
ClassInfo.classFileUrl
Uniform resource locater for the class file.
|
protected static String[] |
VM.EMPTY_ARGS |
protected String |
ClassInfo.enclosingClassName |
protected String |
ClassInfo.enclosingMethodName |
static String |
SchedulerFactory.END_ATOMIC
used by Verify.andAtomic()
|
protected String |
FieldInfo.genericSignature |
protected String |
ClassInfo.genericSignature
Generic type signatures of the class as per para.
|
protected String |
MethodInfo.genericSignature
Generic signature of the method
|
protected String |
ChoiceGeneratorBase.id |
protected String[] |
ClassInfo.innerClassNames |
protected String[] |
ClassInfo.interfaceNames
direct ifcs implemented by this class
|
static String |
SchedulerFactory.MONITOR_ENTER
used by MonitorEnter insns
|
static String |
SchedulerFactory.MONITOR_EXIT
used by MonitorExit insns
|
protected String |
FieldInfo.name |
protected String |
ClassInfo.name
Name of the class.
|
protected String |
MethodInfo.name
Name of the method
|
protected String |
ClassFileContainer.name |
protected String |
AnnotationInfo.name |
static String |
SchedulerFactory.NOTIFY
used by Object.notify()
|
static String |
SchedulerFactory.NOTIFY_ALL
used by Object.notifyAll()
|
protected String |
ClassInfo.packageName
Name of the package.
|
static String |
SchedulerFactory.PARK
used by sun.misc.Unsafe.park()
|
static String |
SchedulerFactory.SHARED_ARRAY_ACCESS
used from ArrayInstruction (various array element access insns)
|
static String |
SchedulerFactory.SHARED_FIELD_ACCESS
used by GetField,PutField,GetStatic,PutStatic insns of shared objects
|
static String |
SchedulerFactory.SHARED_OBJECT_EXPOSURE
used by PutField,PutStatic insns if previously unshared objects get stored in shared object fields
|
protected String |
FieldInfo.signature |
protected String |
ClassInfo.signature
type erased signature of the class.
|
protected String |
MethodInfo.signature
Signature of the method
|
protected String |
ClassInfo.sourceFileName
this is only set if the classfile has a SourceFile class attribute
|
protected String |
ClassInfo.superClassName |
static String |
SchedulerFactory.SYNC_METHOD_ENTER
used by InvokeInstructions of sync methods
|
static String |
SchedulerFactory.SYNC_METHOD_EXIT
user by Returns of sync methods
|
static String |
SchedulerFactory.THREAD_INTERRUPT
used by Thread.interrupt()
|
static String |
SchedulerFactory.THREAD_RESUME
used by Thread.resume()
|
static String |
SchedulerFactory.THREAD_SLEEP
used by Thread.sleep()
|
static String |
SchedulerFactory.THREAD_START
used by Thread.start()
|
static String |
SchedulerFactory.THREAD_STOP
used by Thread.stop()
|
static String |
SchedulerFactory.THREAD_SUSPEND
used by Thread.suspend()
|
static String |
SchedulerFactory.THREAD_TERMINATE
used by Return from run()
|
static String |
SchedulerFactory.THREAD_YIELD
used by Thread.yield()
|
protected String[] |
MethodInfo.thrownExceptionClassNames
classnames of checked exception thrown by the method
|
protected String |
FieldInfo.type |
String |
ClassFileMatch.typeName |
protected String |
MethodInfo.uniqueName
this is a lazy evaluated mangled name consisting of the name and
arg type signature
|
static String |
SchedulerFactory.UNPARK
used by sun.misc.Unsafe.unpark()
|
String |
ClassFileMatch.url |
protected String |
ClassFileContainer.url |
static String |
SchedulerFactory.WAIT
used by Object.wait()
|
Modifier and Type | Field and Description |
---|---|
protected Set<String> |
ClassInfo.allInterfaces
cache of all interfaceNames (parent interfaceNames and interface parents) - lazy eval
|
protected Map<String,Boolean> |
ClassLoaderInfo.classAssertionStatus |
protected IntTable<String> |
OVStatics.ids |
protected IntTable<String> |
GenericHeap.internStrings |
protected Map<String,MethodInfo> |
ClassInfo.methods
all our declared declaredMethods (we don't flatten, this is not
a high-performance VM)
|
protected Map<String,Boolean> |
ClassLoaderInfo.packageAssertionStatus |
protected Map<String,AnnotationInfo> |
ClassLoaderInfo.resolvedAnnotations |
protected Map<String,ClassInfo> |
ClassLoaderInfo.resolvedClasses |
Modifier and Type | Method and Description |
---|---|
String |
DynamicElementInfo.asString() |
String |
ElementInfo.asString() |
String |
AnnotationInfo.asString() |
String |
CharArrayFields.asString(int offset,
int length) |
static String |
Types.asTypeName(String type) |
protected static String |
ClassInfo.computeClassFileUrl(ClassFileMatch match,
String typeName,
ClassLoaderInfo cl) |
protected String |
ClassInfo.computeSourceFileName() |
String |
ClassLoaderInfo.findResource(String resourceName)
Finds the first Resource in the classpath which has the specified name.
|
String[] |
ClassLoaderInfo.findResources(String resourceName)
Finds all resources in the classpath with the given name.
|
String |
MJIEnv.format(int fmtRef,
int argRef) |
String |
MJIEnv.format(Locale l,
int fmtRef,
int argRef) |
String |
Path.getApplication() |
String[] |
MethodInfo.getArgumentTypeNames() |
static String[] |
Types.getArgumentTypeNames(String signature) |
static String |
Types.getArrayElementType(String type) |
String |
ElementInfo.getArrayType() |
String |
MJIEnv.getArrayType(int objref) |
String |
MethodInfo.getBaseName()
return classname.name (but w/o signature)
|
static String |
Types.getBoxedType(byte type) |
String |
ExceptionInfo.getCauseClassname() |
String |
ExceptionInfo.getCauseDetails() |
String |
ChoicePoint.getCgClassName() |
String |
ClassInfo.getClassFileUrl() |
String |
MethodInfo.getClassName() |
String |
StackFrame.getClassName() |
String |
MJIEnv.getClassName(int objref) |
static String |
Types.getClassNameFromSignature(String signature) |
static String |
Types.getClassNameFromTypeName(String typeName)
get the canonical representation of a type name, which happens to be
(1) the name of the builtin type (e.g.
|
String[] |
ClassLoaderInfo.getClassPathElements() |
String |
ClassFileMatch.getClassURL() |
abstract String |
ClassFileContainer.getClassURL(String clsName) |
String |
Step.getComment() |
String |
MethodInfo.getCompleteName()
Deprecated.
- use getFullName
|
static String |
Types.getComponentTerminal(String type) |
String |
ExceptionInfo.getDetails() |
String[] |
ClassInfo.getDirectInterfaceNames()
get names of directly implemented interfaceNames
|
static String |
Types.getElementDescriptorOfType(int arrayType)
thoses are according to the arrayType codes of the newarray JVMS definition
|
String |
ClassInfo.getEnclosingClassName()
beware - this loads (but not yet registers) the enclosing class
|
String |
ClassInfo.getEnclosingMethodName() |
String |
AnnotationInfo.EnumValue.getEnumClassName() |
String |
AnnotationInfo.EnumValue.getEnumConstName() |
String |
NotDeadlockedProperty.getErrorMessage() |
String |
NoUncaughtExceptionsProperty.getErrorMessage() |
String |
ClassInfoException.getExceptionClass() |
String |
ExceptionInfo.getExceptionClassname() |
String |
NoUncaughtExceptionsProperty.getExplanation() |
String |
ClassInfoException.getFailedClass() |
String |
ThreadData.getFieldValues() |
String |
Instruction.getFileLocation()
this returns a "pathname:line" string
|
String |
Instruction.getFilePos()
this returns a "filename:line" string
|
String |
FieldInfo.getFullName() |
String |
MethodInfo.getFullName()
Returns the full classname (if any) + name + signature.
|
String |
FieldInfo.getGenericSignature() |
String |
ClassInfo.getGenericSignature() |
String |
LocalVarInfo.getGenericSignature() |
String |
MethodInfo.getGenericSignature() |
String |
GenericSignatureHolder.getGenericSignature() |
String |
ApplicationContext.getHost() |
String |
ChoiceGeneratorBase.getId() |
String |
ChoiceGenerator.getId() |
String[] |
ClassInfo.getInnerClasses()
get names of direct inner classes
|
static String |
Types.getJNIMangledMethodName(Method m) |
static String |
Types.getJNIMangledMethodName(String cls,
String name,
String signature) |
static String |
Types.getJNIMethodName(String mangledName)
return the name part of a JNI mangled method name (which is of
course not completely safe - you should only use it if you know
this is a JNI name)
|
String |
MethodInfo.getJNIName() |
static String |
Types.getJNISignature(String mangledName)
get the argument type part of the signature out of a
JNI mangled method name.
|
static String |
Types.getJNITypeCode(String type)
type is supposed to be Class.getName conforming, i.e.
|
String |
AnnotationInfo.Entry.getKey() |
String |
Transition.getLabel() |
String |
Step.getLineString() |
String[] |
MethodInfo.getLocalVariableNames()
note that this might contain duplicates for variables with multiple
scope entries
|
String |
StackFrame.getLocalVariableType(int idx) |
String |
StackFrame.getLocalVariableType(String name) |
String |
Step.getLocationString() |
String |
MethodInfo.getLongName()
yet another name - this time with a non-mangled, but abbreviated signature
and without return type (e.g.
|
String |
ApplicationContext.getMainClassName() |
String |
UncaughtException.getMessage() |
String |
ClinitRequired.getMessage() |
String |
StackFrame.getMethodName() |
String |
Instruction.getMnemonic() |
String |
FieldInfo.getName()
Returns the name of the field.
|
String |
ThreadInfo.getName() |
String |
ClassInfo.getName()
Returns the name of the class.
|
String |
LocalVarInfo.getName() |
String |
MethodInfo.getName()
Returns the name of the method.
|
String |
ExceptionHandler.getName()
Returns the name of the exception caught.
|
String |
ClassFileContainer.getName() |
String |
AnnotationInfo.getName() |
String |
AnnotationInfo.ClassValue.getName() |
String |
Transition.getOutput() |
String |
ClassInfo.getPackageName() |
String[] |
ClassPath.getPathNames() |
String |
NativePeer.getPeerClassName() |
String |
VM.getPendingOutput()
get the pending output (not yet stored in the path)
|
static String |
Verify.getProperty(String key) |
String |
UncaughtException.getRawMessage() |
abstract String |
PredicateMap.getRep() |
protected String |
ClassLoaderInfo.getResourceURL(String path,
String resource) |
String |
MethodInfo.getReturnType() |
String |
MethodInfo.getReturnTypeName() |
static String |
Types.getReturnTypeName(String signature) |
static String |
Types.getReturnTypeSignature(String signature) |
String |
FieldInfo.getSignature() |
String |
ClassInfo.getSignature() |
String |
LocalVarInfo.getSignature() |
String |
MethodInfo.getSignature()
Returns the signature of the method.
|
static String |
Types.getSignatureName(String methodDecl)
return the JPF internal representation of a method signature that is given
in dot-notation (like javap),
e.g.
|
String |
ClassInfo.getSimpleName() |
String |
StackFrame.getSourceFile() |
String |
ClassInfo.getSourceFileName() |
String |
MethodInfo.getSourceFileName() |
String |
Instruction.getSourceLine() |
String |
ChoiceGeneratorBase.getSourceLocation() |
String |
ChoiceGenerator.getSourceLocation() |
String |
Instruction.getSourceLocation()
this returns a "class.method(line)" string
|
String |
Instruction.getSourceOrLocation()
this is for debugging/logging if we always want something back telling
us where this insn came from
|
String |
ThreadInfo.getStackTrace()
get the current stack trace of this thread
this is called during creation of a Throwable, hence we should skip
all throwable ctors in here
<2do> this is only a partial solution,since we don't catch exceptionHandlers
in Throwable ctors yet
|
String |
DirectCallStackFrame.getStackTraceInfo() |
String |
StackFrame.getStackTraceInfo() |
String |
MethodInfo.getStackTraceName()
returns stack trace name: classname (if any) + name
|
String |
MethodInfo.getStackTraceSource() |
String |
NativeMethodInfo.getStackTraceSource() |
String |
ThreadInfo.getStateDescription() |
String |
ThreadInfo.getStateName() |
String |
ClassInfo.getStaticFieldName(int index)
Returns the name of a static field.
|
String[] |
MJIEnv.getStringArrayObject(int aRef) |
String |
MJIEnv.getStringField(int objref,
String fname) |
String |
ElementInfo.getStringField(String fname) |
String |
MJIEnv.getStringObject(int objRef)
turn JPF String object into a VM String object
(this is a method available for non gov..jvm NativePeer classes)
|
String |
ClassInfo.getSuperClassName() |
String |
MultiProcessVM.getSUTDescription() |
String |
SingleProcessVM.getSUTDescription() |
abstract String |
VM.getSUTDescription() |
String |
JPF_java_lang_System.getSUTJavaClassPath(VM vm) |
String |
MultiProcessVM.getSUTName() |
String |
SingleProcessVM.getSUTName() |
abstract String |
VM.getSUTName() |
String |
VM.getThreadName() |
String[] |
MethodInfo.getThrownExceptionClassNames() |
String |
FieldInfo.getType()
Returns the type of the field as a fully qualified type name according to JLS 6.7
("int", "x.Y[]")
|
String |
ClassInfo.getType()
Returns the type of a class.
|
String |
LocalVarInfo.getType() |
String |
ElementInfo.getType() |
static String |
JPF_gov_nasa_jpf_vm_Verify.getType(int objRef,
MJIEnv env) |
String |
MJIEnv.getTypeName(int objref) |
static String |
Types.getTypeName(String signature)
return the qualified signature name according to JLS 6.7 (e.g.
|
static String |
Types.getTypeSignature(String type,
boolean asDotNotation) |
String |
MethodInfo.getUniqueName() |
static String |
MethodInfo.getUniqueName(String mname,
String signature)
return the minimal name that has to be unique for overloading
used as a lookup key
NOTE: with the silent introduction of covariant return types
in Java 5.0, we have to use the full signature to be unique
|
String |
ClassFileContainer.getURL() |
String |
AnnotationInfo.getValueAsString(String key) |
String[] |
AnnotationInfo.getValueAsStringArray() |
String[] |
AnnotationInfo.getValueAsStringArray(String key) |
protected static String[] |
ClassInfo.loadArrayInterfaces() |
protected static String[] |
ClassInfo.loadBuiltinInterfaces(String type) |
static String |
ClassInfo.makeModelClassPath(Config config) |
String |
FieldInfo.toString()
Returns a string representation of the field.
|
String |
ClassPath.toString() |
String |
ApplicationContext.toString() |
String |
ThreadInfo.toString() |
String |
ClassInfo.toString() |
String |
ObjRef.toString() |
String |
StaticElementInfo.toString() |
String |
LocalVarInfo.toString() |
String |
MethodInfo.toString() |
String |
TidSet.toString() |
String |
NativeStackFrame.toString() |
String |
ElementInfo.toString() |
String |
ChoiceGeneratorBase.toString() |
String |
NamedFields.toString() |
String |
BooleanChoiceGenerator.toString() |
String |
ExceptionHandler.toString() |
String |
Step.toString() |
String |
ThreadData.toString() |
String |
StackFrame.toString() |
String |
Instruction.toString() |
String |
AnnotationInfo.EnumValue.toString() |
String |
AnnotationInfo.ClassValue.toString() |
String |
PreciseAllocationContext.toString()
mostly for debugging purposes
|
String |
AnnotationInfo.valueAsString() |
abstract String |
FieldInfo.valueToString(Fields f) |
String |
BooleanFieldInfo.valueToString(Fields f) |
String |
IntegerFieldInfo.valueToString(Fields f) |
String |
FloatFieldInfo.valueToString(Fields f) |
String |
ShortFieldInfo.valueToString(Fields f) |
String |
ByteFieldInfo.valueToString(Fields f) |
String |
DoubleFieldInfo.valueToString(Fields f) |
String |
ReferenceFieldInfo.valueToString(Fields f) |
String |
CharFieldInfo.valueToString(Fields f) |
String |
LongFieldInfo.valueToString(Fields f) |
Modifier and Type | Method and Description |
---|---|
Set<String> |
ClassInfo.getAllInterfaces()
get names of all interfaceNames (transitive, idx.e.
|
Map<String,ClassLoaderInfo> |
ClassLoaderInfo.getPackages() |
protected List<String> |
VM.getStartupSystemClassNames()
the minimal set of system classes we need for initialization
|
Modifier and Type | Method and Description |
---|---|
static void |
Verify.addComment(String s)
Adds a comment to the error trace, which will be printed and saved.
|
void |
MJIEnv.addFieldAttr(int objref,
String fname,
Object a) |
static void |
Verify.addFieldAttribute(Object o,
String fieldName,
int val) |
static void |
Verify.addLocalAttribute(String varName,
int val) |
void |
ClassPath.addPathName(String pathName) |
protected void |
GenericHeap.addToInternStrings(String str,
int objref) |
static void |
Verify.assertTrue(String s,
boolean cond)
Deprecated.
use "assert cond : msg"
|
static String |
Types.asTypeName(String type) |
static void |
Verify.atLabel(String label) |
boolean |
ThreadInfo.atMethod(String mname) |
protected Instruction |
ThreadInfo.callUncaughtHandler(ExceptionInfo xi,
int handlerRef,
String id) |
protected static boolean |
JPF_java_lang_ClassLoader.check(MJIEnv env,
String cname,
byte[] buffer,
int offset,
int length) |
protected void |
ThreadInfo.checkAssertion(boolean cond,
String failMsg) |
protected void |
ElementInfo.checkAssertion(boolean cond,
String failMsg) |
protected static void |
JPF_java_lang_ClassLoader.checkForIllegalName(MJIEnv env,
String name) |
protected static void |
JPF_java_lang_ClassLoader.checkForProhibitedPkg(MJIEnv env,
String name) |
protected static String |
ClassInfo.computeClassFileUrl(ClassFileMatch match,
String typeName,
ClassLoaderInfo cl) |
static FieldInfo |
FieldInfo.create(String name,
String signature,
int modifiers) |
static MethodInfo |
MethodInfo.create(String name,
String signature,
int modifiers) |
Instruction |
ThreadInfo.createAndThrowException(ClassInfo ci,
String details)
Creates and throws an exception.
|
Instruction |
ThreadInfo.createAndThrowException(String cname)
Creates an exception and throws it.
|
Instruction |
ThreadInfo.createAndThrowException(String cname,
String details) |
abstract AnnotationInfo |
ClassFileContainer.createAnnotationInfo(String typeName,
ClassLoaderInfo classLoader,
byte[] data) |
protected ClassInfo |
ClassInfo.createAnnotationProxy(String proxyName) |
protected ElementInfo |
GenericHeap.createArray(String elementType,
int nElements,
ClassInfo ci,
ThreadInfo ti,
int objref) |
Fields |
DefaultFieldsFactory.createArrayFields(String type,
ClassInfo ci,
int nElements,
int typeSize,
boolean isReferenceArray) |
Fields |
FieldsFactory.createArrayFields(String type,
ClassInfo ci,
int nElements,
int typeSize,
boolean isReferenceArray) |
ClassFileContainer |
ClassFactory.createClassFileContainer(String spec)
return a ClassFileContainer for the given container URL (e.g.
|
abstract ClassInfo |
ClassFileContainer.createClassInfo(String typeName,
ClassLoaderInfo classLoader,
String url,
byte[] data) |
ClassInfo |
ClassFactory.createClassInfo(String typeName,
ClassLoaderInfo classLoader,
String url,
byte[] buffer,
int offset,
int length)
create a ClassInfo from raw data
|
protected ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createEnterCG(String id,
ElementInfo ei,
ThreadInfo ti)
the public interface towards the insns
|
protected ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createExitCG(String id,
ElementInfo ei,
ThreadInfo ti) |
static <T> T |
Verify.createFromJSON(Class<T> clazz,
String json) |
static int |
JPF_java_lang_ClassLoader.createPackageObject(MJIEnv env,
ClassInfo pkgClass,
String pkgName,
ClassLoaderInfo cl) |
protected boolean |
ClassLoaderInfo.desiredAssertionStatus(String cname) |
boolean |
CharArrayFields.equals(int offset,
int length,
String s) |
boolean |
DynamicElementInfo.equalsString(String s)
just a helper to avoid creating objects just for the sake of comparing
|
boolean |
ElementInfo.equalsString(String s)
just a helper to avoid creating objects just for the sake of comparing
|
protected static void |
ClassPath.error(String msg) |
protected static void |
ClassFileContainer.error(String msg) |
ClassFileMatch |
ClassPath.findMatch(String clsName) |
String |
ClassLoaderInfo.findResource(String resourceName)
Finds the first Resource in the classpath which has the specified name.
|
String[] |
ClassLoaderInfo.findResources(String resourceName)
Finds all resources in the classpath with the given name.
|
protected ClassInfo |
ClassLoaderInfo.getAlreadyResolvedClassInfo(String cname) |
AnnotationInfo |
InfoObject.getAnnotation(String name) |
AnnotationInfo |
ClassInfo.getAnnotation(String annotationName) |
static int |
Types.getArgumentsSize(String sig)
get size in stack slots (ints), excluding this
|
static String[] |
Types.getArgumentTypeNames(String signature) |
static byte[] |
Types.getArgumentTypes(String signature) |
protected ClassInfo |
GenericHeap.getArrayClassInfo(ThreadInfo ti,
String elementType) |
static String |
Types.getArrayElementType(String type) |
boolean |
MJIEnv.getBooleanField(int objref,
String fname) |
boolean |
ElementInfo.getBooleanField(String fname) |
static byte |
Types.getBuiltinType(String typeName) |
static byte |
Types.getBuiltinTypeFromSignature(String signature) |
byte |
MJIEnv.getByteField(int objref,
String fname) |
byte |
ElementInfo.getByteField(String fname) |
char |
MJIEnv.getCharField(int objref,
String fname) |
char |
ElementInfo.getCharField(String fname) |
ChoiceGenerator<?> |
SystemState.getChoiceGenerator(String id) |
byte[] |
ClassPath.getClassData(String clsName) |
abstract byte[] |
ClassFileContainer.getClassData(String clsName) |
static String |
Types.getClassNameFromSignature(String signature) |
static String |
Types.getClassNameFromTypeName(String typeName)
get the canonical representation of a type name, which happens to be
(1) the name of the builtin type (e.g.
|
abstract String |
ClassFileContainer.getClassURL(String clsName) |
static Object |
AnnotationInfo.getClassValue(String type) |
static String |
Types.getComponentTerminal(String type) |
ChoiceGenerator<?> |
SystemState.getCurrentChoiceGenerator(String id) |
<T extends ChoiceGenerator<?>> |
SystemState.getCurrentChoiceGenerator(String id,
Class<T> cgType) |
<T extends ChoiceGenerator<?>> |
VM.getCurrentChoiceGenerator(String id,
Class<T> cgType)
return the latest registered ChoiceGenerator used in this transition
that matches the provided 'id' and is of 'cgType'.
|
static ClassInfo |
ClassLoaderInfo.getCurrentResolvedClassInfo(String clsName) |
boolean |
ElementInfo.getDeclaredBooleanField(String fname,
String refType) |
byte |
ElementInfo.getDeclaredByteField(String fname,
String refType) |
char |
ElementInfo.getDeclaredCharField(String fname,
String refType) |
double |
ElementInfo.getDeclaredDoubleField(String fname,
String refType) |
protected FieldInfo |
StaticElementInfo.getDeclaredFieldInfo(String clsBase,
String fname) |
protected FieldInfo |
DynamicElementInfo.getDeclaredFieldInfo(String clsBase,
String fname) |
protected abstract FieldInfo |
ElementInfo.getDeclaredFieldInfo(String clsBase,
String fname) |
float |
ElementInfo.getDeclaredFloatField(String fname,
String refType) |
FieldInfo |
ClassInfo.getDeclaredInstanceField(String fName)
FieldInfo lookup in the fields that are declared in this class
|
int |
MJIEnv.getDeclaredIntField(int objref,
String refType,
String fname) |
int |
ElementInfo.getDeclaredIntField(String fname,
String clsBase) |
long |
ElementInfo.getDeclaredLongField(String fname,
String clsBase) |
ElementInfo |
ElementInfo.getDeclaredObjectField(String fname,
String referenceType) |
int |
ElementInfo.getDeclaredReferenceField(String fname,
String clsBase) |
short |
ElementInfo.getDeclaredShortField(String fname,
String refType) |
FieldInfo |
ClassInfo.getDeclaredStaticField(String fName)
FieldInfo lookup in the static fields that are declared in this class
<2do> pcm - should employ a map at some point, but it's usually not that
important since we can cash the returned FieldInfo in the PUT/GET_STATIC insns
|
protected ClassInfo |
ClassLoaderInfo.getDefinedClassInfo(String typeName) |
static double |
Verify.getDouble(String key)
this is the API for double value choice generators.
|
double |
MJIEnv.getDoubleField(int objref,
String fname) |
double |
ElementInfo.getDoubleField(String fname) |
double |
StackFrame.getDoubleLocalVariable(String name) |
ElementInfo |
ClassLoaderInfo.getElementInfo(String typeName) |
static Object |
AnnotationInfo.getEnumValue(String eType,
String eConst) |
Object |
MJIEnv.getFieldAttr(int objref,
String fname)
this returns all of them - use either if you know there will be only
one attribute at a time, or check/process result with ObjectList
|
<T> T |
MJIEnv.getFieldAttr(int objref,
String fname,
Class<T> attrType)
this only returns the first attr of this type, there can be more
if you don't use client private types or the provided type is too general
|
static int |
Verify.getFieldAttribute(Object o,
String fieldName) |
static int[] |
Verify.getFieldAttributes(Object o,
String fieldName) |
FieldInfo |
StaticElementInfo.getFieldInfo(String fname) |
FieldInfo |
DynamicElementInfo.getFieldInfo(String fname) |
protected abstract FieldInfo |
ElementInfo.getFieldInfo(String fname) |
Object |
StackFrame.getFieldValue(String id) |
Object |
ElementInfo.getFieldValueObject(String fname) |
float |
MJIEnv.getFloatField(int objref,
String fname) |
float |
ElementInfo.getFloatField(String fname) |
static ClassInfo |
ClassInfo.getInitializedClassInfo(String clsName,
ThreadInfo ti)
this one is for clients that need to synchronously get an initialized classinfo.
|
ClassInfo |
ClassLoaderInfo.getInitializedClassInfo(String clsName,
ThreadInfo ti)
this one is for clients that need to synchronously get an initialized classinfo.
|
static ClassInfo |
ClassInfo.getInitializedSystemClassInfo(String clsName,
ThreadInfo ti) |
FieldInfo |
ClassInfo.getInstanceField(String fName)
base relative FieldInfo lookup - the workhorse
<2do> again, should eventually use Maps
|
static int |
Verify.getInt(String key)
this is the API for int value choice generators.
|
int |
MJIEnv.getIntField(int objref,
String fname) |
int |
ElementInfo.getIntField(String fname) |
static String |
Types.getJNIMangledMethodName(String cls,
String name,
String signature) |
static String |
Types.getJNIMethodName(String mangledName)
return the name part of a JNI mangled method name (which is of
course not completely safe - you should only use it if you know
this is a JNI name)
|
static String |
Types.getJNISignature(String mangledName)
get the argument type part of the signature out of a
JNI mangled method name.
|
static String |
Types.getJNITypeCode(String type)
type is supposed to be Class.getName conforming, i.e.
|
static int |
Verify.getLocalAttribute(String varName) |
static int[] |
Verify.getLocalAttributes(String varName) |
Object |
StackFrame.getLocalOrFieldValue(String id) |
LocalVarInfo |
MethodInfo.getLocalVar(String name,
int pc) |
int |
StackFrame.getLocalVariable(String name) |
int |
StackFrame.getLocalVariableSlotIndex(String name) |
String |
StackFrame.getLocalVariableType(String name) |
LocalVarInfo |
StackFrame.getLocalVarInfo(String name) |
long |
MJIEnv.getLongField(int objref,
String fname) |
long |
ElementInfo.getLongField(String fname) |
long |
StackFrame.getLongLocalVariable(String name) |
protected ClassInfo |
VM.getMainClassInfo(SystemClassLoaderInfo sysCl,
String mainClassName,
ThreadInfo tiMain,
List<ClassInfo> list)
this adds the application main class and its supers to the list of startup classes
|
protected MethodInfo |
VM.getMainEntryMethodInfo(String mthName,
ClassInfo ciMain) |
protected ClassFileMatch |
ClassLoaderInfo.getMatch(String typeName) |
MethodInfo |
ClassInfo.getMethod(String uniqueName,
boolean isRecursiveLookup)
Note that 'uniqueName' is the name plus the argument type part of the
signature, idx.e.
|
MethodInfo |
ClassInfo.getMethod(String name,
String signature,
boolean isRecursiveLookup)
if we don't know the return type
signature is in paren/dot notation
|
ElementInfo |
ClassLoaderInfo.getModifiableElementInfo(String typeName) |
static int |
Types.getNumberOfArguments(String signature) |
static int |
Types.getNumberOfStackSlots(String signature,
boolean isStatic) |
static Object |
Verify.getObject(String key) |
ElementInfo |
ElementInfo.getObjectField(String fname) |
static String |
Verify.getProperty(String key) |
int |
MJIEnv.getReferenceField(int objref,
String fname) |
int |
ElementInfo.getReferenceField(String fname) |
MethodInfo |
ClassInfo.getReflectionMethod(String fullName,
boolean isRecursiveLookup)
almost the same as above, except of that Class.getMethod() doesn't specify
the return type.
|
AnnotationInfo |
ClassInfo.getResolvedAnnotationInfo(String typeName) |
AnnotationInfo |
ClassLoaderInfo.getResolvedAnnotationInfo(String typeName) |
ClassInfo |
ClassLoaderInfo.getResolvedClassInfo(String className)
obtain ClassInfo object for given class name
if the requested class or any of its superclasses and interfaces
is not found this method will throw a ClassInfoException.
|
ClassInfo |
SystemClassLoaderInfo.getResolvedClassInfo(String clsName) |
ClassInfo |
ClassLoaderInfo.getResolvedClassInfo(String className,
byte[] data,
int offset,
int length)
this is for user defined ClassLoaders that explicitly provide the class file data
|
protected String |
ClassLoaderInfo.getResourceURL(String path,
String resource) |
static byte |
Types.getReturnBuiltinType(String signature) |
static String |
Types.getReturnTypeName(String signature) |
static String |
Types.getReturnTypeSignature(String signature) |
protected ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.getRunnableCG(String id,
ThreadInfo ti) |
protected ChoiceGenerator<ThreadInfo> |
ContextBoundingSchedulerFactory.getRunnableCG(String id,
ThreadInfo ti) |
short |
MJIEnv.getShortField(int objref,
String fname) |
short |
ElementInfo.getShortField(String fname) |
static String |
Types.getSignatureName(String methodDecl)
return the JPF internal representation of a method signature that is given
in dot-notation (like javap),
e.g.
|
boolean |
MJIEnv.getStaticBooleanField(String clsName,
String fname) |
byte |
MJIEnv.getStaticByteField(String clsName,
String fname) |
char |
MJIEnv.getStaticCharField(String clsName,
String fname) |
double |
MJIEnv.getStaticDoubleField(ClassInfo ci,
String fname) |
double |
MJIEnv.getStaticDoubleField(int clsObjRef,
String fname) |
double |
MJIEnv.getStaticDoubleField(String clsName,
String fname) |
FieldInfo |
ClassInfo.getStaticField(String fName)
Search up the class hierarchy to find a static field
|
Object |
ClassInfo.getStaticFieldValueObject(String id) |
float |
MJIEnv.getStaticFloatField(String clsName,
String fname) |
int |
MJIEnv.getStaticIntField(ClassInfo ci,
String fname) |
int |
MJIEnv.getStaticIntField(int clsObjRef,
String fname) |
int |
MJIEnv.getStaticIntField(String clsName,
String fname) |
long |
MJIEnv.getStaticLongField(ClassInfo ci,
String fname) |
long |
MJIEnv.getStaticLongField(int clsRef,
String fname) |
long |
MJIEnv.getStaticLongField(String clsName,
String fname) |
int |
MJIEnv.getStaticReferenceField(ClassInfo ci,
String fname) |
int |
MJIEnv.getStaticReferenceField(int clsObjRef,
String fname) |
int |
MJIEnv.getStaticReferenceField(String clsName,
String fname) |
short |
MJIEnv.getStaticShortField(String clsName,
String fname) |
String |
MJIEnv.getStringField(int objref,
String fname) |
String |
ElementInfo.getStringField(String fname) |
ClassInfo |
ClassInfo.getSuperClass(String clsName)
return the ClassInfo for the provided superclass name.
|
protected ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.getSyncCG(String id,
ElementInfo ei,
ThreadInfo ti) |
static ClassInfo |
ClassLoaderInfo.getSystemResolvedClassInfo(String clsName) |
static byte |
Types.getTypeCode(String signature) |
static String |
Types.getTypeName(String signature)
return the qualified signature name according to JLS 6.7 (e.g.
|
static String |
Types.getTypeSignature(String type,
boolean asDotNotation) |
static int |
Types.getTypeSize(String signature) |
static int |
Types.getTypeSizeInBytes(String signature)
what would be the info size in bytes, not words
(we ignore 64bit machines for now)
|
static byte |
Types.getUnboxedType(String typeName) |
static String |
MethodInfo.getUniqueName(String mname,
String signature)
return the minimal name that has to be unique for overloading
used as a lookup key
NOTE: with the silent introduction of covariant return types
in Java 5.0, we have to use the full signature to be unique
|
static int |
Verify.getValue(String key) |
Object |
AnnotationInfo.getValue(String key)
this is the common getter that should trigger parsing the corresponding class file
|
<T> T |
AnnotationInfo.getValue(String key,
Class<T> type) |
boolean |
AnnotationInfo.getValueAsBoolean(String key) |
double |
AnnotationInfo.getValueAsDouble(String key) |
float |
AnnotationInfo.getValueAsFloat(String key) |
int |
AnnotationInfo.getValueAsInt(String key) |
long |
AnnotationInfo.getValueAsLong(String key) |
String |
AnnotationInfo.getValueAsString(String key) |
String[] |
AnnotationInfo.getValueAsStringArray(String key) |
boolean |
ClassInfo.hasInnerClass(String innerName) |
protected boolean |
ClassLoaderInfo.hasResolved(String cname) |
boolean |
ThreadInfo.hasReturnedFromDirectCall(String directCallId) |
protected ElementInfo |
GenericHeap.initializeStringObject(String str,
int index,
int vref) |
boolean |
ElementInfo.instanceOf(String type) |
static boolean |
Types.instanceOf(String type,
String ofType) |
static void |
Verify.instrumentPoint(String label) |
static void |
Verify.instrumentPointDeep(String label) |
static void |
Verify.instrumentPointDeepRecur(String label,
int depth) |
static boolean |
Types.isArray(String type) |
static boolean |
Types.isBasicType(String typeName) |
static boolean |
Verify.isCalledFromClass(String refClsName) |
boolean |
ClassInfo.isInnerClassOf(String enclosingName) |
boolean |
MJIEnv.isInstanceOf(int objref,
String clsName) |
boolean |
ClassInfo.isInstanceOf(String cname)
Returns true if the given class is an instance of the class
or interface specified.
|
static boolean |
Types.isReference(String type) |
static boolean |
Types.isReferenceSignature(String signature) |
static boolean |
Types.isTypeCode(String t) |
protected static String[] |
ClassInfo.loadBuiltinInterfaces(String type) |
ClassInfo |
ClassLoaderInfo.loadClass(String cname) |
ClassInfo |
SystemClassLoaderInfo.loadClass(String cname) |
protected ClassInfo |
ClassLoaderInfo.loadClassOnJPF(String typeName) |
protected ClassInfo |
ClassLoaderInfo.loadClassOnJVM(String cname) |
protected Set<ClassInfo> |
ClassInfo.loadInterfaces(String[] ifcNames) |
protected ClassInfo |
ClassInfo.loadSuperClass(String superName) |
protected ClassInfo |
ClassLoaderInfo.loadSystemClass(String clsName) |
protected ClassInfo |
SystemClassLoaderInfo.loadSystemClass(String typeName) |
static void |
Verify.log(String loggerId,
int logLevel,
String msg) |
static void |
Verify.log(String loggerId,
int logLevel,
String format,
Object... args) |
static void |
Verify.log(String loggerId,
int logLevel,
String msg,
String arg) |
static void |
JenkinsStateSet.main(String[] args)
Main for testing speed, mostly.
|
static void |
ClassPath.main(String[] args) |
boolean |
LocalVarInfo.matches(String name,
int pc) |
ElementInfo |
GenericHeap.newArray(String elementType,
int nElements,
ThreadInfo ti) |
ElementInfo |
Heap.newArray(String elementType,
int nElements,
ThreadInfo ti) |
ElementInfo |
GenericHeap.newInternString(String str,
ThreadInfo ti) |
ElementInfo |
Heap.newInternString(String str,
ThreadInfo ti) |
int |
MJIEnv.newObject(String clsName) |
int |
MJIEnv.newObjectArray(String elementClsName,
int size) |
protected ElementInfo |
GenericHeap.newString(ClassInfo ciString,
ClassInfo ciChars,
String str,
ThreadInfo ti,
AllocationContext ctx) |
int |
MJIEnv.newString(String s) |
ElementInfo |
GenericHeap.newString(String str,
ThreadInfo ti) |
ElementInfo |
Heap.newString(String str,
ThreadInfo ti) |
int |
MJIEnv.newStringArray(String[] a) |
ElementInfo |
GenericHeap.newSystemArray(String elementType,
int nElements,
ThreadInfo ti,
int anchor) |
ElementInfo |
Heap.newSystemArray(String elementType,
int nElements,
ThreadInfo ti,
int anchor) |
ElementInfo |
GenericHeap.newSystemString(String str,
ThreadInfo ti,
int anchor) |
ElementInfo |
Heap.newSystemString(String str,
ThreadInfo ti,
int anchor) |
ElementInfo |
GenericHeap.newSystemThrowable(ClassInfo ciThrowable,
String details,
int[] stackSnapshot,
int causeRef,
ThreadInfo ti,
int anchor) |
ElementInfo |
Heap.newSystemThrowable(ClassInfo ci,
String details,
int[] stackSnapshot,
int causeRef,
ThreadInfo ti,
int anchor) |
int |
JPF_java_io_FileDescriptor.openRead(String fname) |
int |
JPF_java_io_FileDescriptor.openWrite(String fname) |
static void |
Verify.print(String... args)
this is to avoid StringBuilders
|
static void |
Verify.print(String s) |
void |
VM.print(String s) |
static void |
Verify.print(String s,
boolean b) |
static void |
Verify.print(String s,
int i) |
void |
JPFOutputStream.printCommentLine(String msg) |
static void |
Verify.println(String s) |
void |
VM.println(String s) |
static void |
Verify.printPathOutput(boolean cond,
String msg) |
static void |
Verify.printPathOutput(String msg)
simple debugging aids to imperatively print the current path output of the SUT
(to be used with vm.path_output)
|
protected void |
ClassLoaderInfo.pushloadClassFrame(String typeName) |
protected void |
VM.pushMainEntry(MethodInfo miMain,
String[] args,
ThreadInfo tiMain) |
protected void |
VM.pushMainEntryArgs(MethodInfo miMain,
String[] args,
ThreadInfo tiMain,
DirectCallStackFrame frame) |
static void |
Verify.putValue(String key,
int value) |
static Object |
Verify.randomObject(String type) |
static <T> T |
Verify.readObjectFromFile(Class<T> clazz,
String fileName) |
static ChoicePoint |
ChoicePoint.readTrace(String fileName,
String sutName)
"application:" appName
{arg}
"["searchLevel"]" (choiceGeneratorName | '#'cgID) nChoice
|
void |
ThreadInfo.requestSUTException(String exceptionClsName,
String details) |
ClassInfo |
ThreadInfo.resolveReferencedClass(String clsName) |
ClassInfo |
ClassInfo.resolveReferencedClass(String cname)
get a ClassInfo for a referenced type that is resolved with the same classLoader, but make
sure we only do this once per path
This method is called by the following bytecode instructions:
anewarray, checkcast, getstatic, instanceof, invokespecial,
invokestatic, ldc, ldc_w, multianewarray, new, and putstatic
It loads the class referenced by these instructions and adds it to the
resolvedClasses map of the classLoader
|
void |
MJIEnv.setBooleanField(int objref,
String fname,
boolean val) |
void |
ElementInfo.setBooleanField(String fname,
boolean value) |
void |
MJIEnv.setByteField(int objref,
String fname,
byte val) |
void |
ElementInfo.setByteField(String fname,
byte value) |
void |
MJIEnv.setCharField(int objref,
String fname,
char val) |
void |
ElementInfo.setCharField(String fname,
char value) |
void |
ClassInfo.setClass(String clsName,
String superClsName,
int flags,
int cpCount) |
void |
ClassLoaderInfo.setClassAssertionStatus(String cname,
boolean enabled) |
void |
AnnotationInfo.setClonedEntryValue(String key,
Object newValue) |
void |
Step.setComment(String s) |
void |
Instruction.setContext(String className,
String methodName,
int lineNumber,
int offset) |
void |
MJIEnv.setDeclaredIntField(int objref,
String refType,
String fname,
int val) |
void |
ElementInfo.setDeclaredIntField(String fname,
String clsBase,
int value) |
void |
ElementInfo.setDeclaredLongField(String fname,
String clsBase,
long value) |
void |
MJIEnv.setDeclaredReferenceField(int objref,
String refType,
String fname,
int val) |
void |
ElementInfo.setDeclaredReferenceField(String fname,
String clsBase,
int value) |
void |
MJIEnv.setDoubleField(int objref,
String fname,
double val) |
void |
ElementInfo.setDoubleField(String fname,
double value) |
void |
ClassInfo.setEnclosingClass(String clsName) |
void |
ClassInfo.setEnclosingMethod(String mthName) |
protected void |
MethodInfo.setException(int index,
String exceptionType) |
protected void |
MethodInfo.setExceptionHandler(int index,
int startPc,
int endPc,
int handlerPc,
String catchType) |
void |
MJIEnv.setFieldAttr(int objref,
String fname,
Object a)
this replaces all of them - use only if you know
- there will be only one attribute at a time
- you obtained the value you set by a previous getXAttr()
- you constructed a multi value list with ObjectList.createList()
|
static void |
Verify.setFieldAttribute(Object o,
String fieldName,
int val)
note - these are mostly for debugging purposes (to see if attributes get
propagated correctly, w/o having to write a listener), since attributes are
supposed to be created at the native side, and hence can't be accessed from
the application
|
void |
MJIEnv.setFloatField(int objref,
String fname,
float val) |
void |
ElementInfo.setFloatField(String fname,
float value) |
void |
FieldInfo.setGenericSignature(String sig) |
void |
ClassInfo.setGenericSignature(String sig) |
void |
MethodInfo.setGenericSignature(String sig) |
void |
GenericSignatureHolder.setGenericSignature(String signature) |
void |
ChoiceGeneratorBase.setId(String id) |
void |
ChoiceGenerator.setId(String id) |
void |
ClassInfo.setInnerClassNames(String[] clsNames) |
void |
ClassInfo.setInterfaceNames(String[] ifcNames) |
void |
MJIEnv.setIntField(int objref,
String fname,
int val) |
void |
ElementInfo.setIntField(String fname,
int value) |
static void |
Verify.setLocalAttribute(String varName,
int val) |
protected void |
MethodInfo.setLocalVar(int index,
String varName,
String descriptor,
int scopeStartPc,
int scopeEndPc,
int slotIndex) |
void |
MJIEnv.setLongField(int objref,
String fname,
long val) |
void |
ElementInfo.setLongField(String fname,
long value) |
void |
MJIEnv.setMandatoryNextChoiceGenerator(ChoiceGenerator<?> cg,
String failMsg) |
void |
SystemState.setMandatoryNextChoiceGenerator(ChoiceGenerator<?> cg,
String failMsg) |
void |
VM.setMandatoryNextChoiceGenerator(ChoiceGenerator<?> cg,
String failMsg) |
void |
AnnotationInfo.setName(String name) |
void |
Transition.setOutput(String s) |
void |
ClassLoaderInfo.setPackageAssertionStatus(String pname,
boolean enabled) |
static void |
Verify.setProperties(String... p) |
void |
MJIEnv.setReferenceField(int objref,
String fname,
int ref) |
void |
ElementInfo.setReferenceField(String fname,
int value) |
void |
MJIEnv.setShortField(int objref,
String fname,
short val) |
void |
ElementInfo.setShortField(String fname,
short value) |
void |
ClassInfo.setSourceFile(String fileName) |
void |
MJIEnv.setStaticBooleanField(int clsObjRef,
String fname,
boolean val) |
void |
MJIEnv.setStaticBooleanField(String clsName,
String fname,
boolean value) |
void |
MJIEnv.setStaticByteField(String clsName,
String fname,
byte value) |
void |
MJIEnv.setStaticCharField(String clsName,
String fname,
char value) |
void |
MJIEnv.setStaticDoubleField(String clsName,
String fname,
double val) |
void |
MJIEnv.setStaticFloatField(String clsName,
String fname,
float val) |
void |
MJIEnv.setStaticIntField(int clsObjRef,
String fname,
int val) |
void |
MJIEnv.setStaticIntField(String clsName,
String fname,
int val) |
void |
MJIEnv.setStaticLongField(int clsObjRef,
String fname,
long val) |
void |
MJIEnv.setStaticLongField(String clsName,
String fname,
long value) |
void |
MJIEnv.setStaticReferenceField(int clsObjRef,
String fname,
int objref) |
void |
MJIEnv.setStaticReferenceField(String clsName,
String fname,
int objref) |
void |
MethodInfo.setThrownExceptions(String[] exceptions) |
static void |
Verify.storeTrace(String fileName,
String comment) |
void |
VM.storeTrace(String fileName,
String comment,
boolean verbose) |
static void |
ChoicePoint.storeTrace(String fileName,
String sutName,
String comment,
ChoiceGenerator[] trace,
boolean verbose) |
static void |
Verify.storeTraceAndTerminate(String fileName,
String comment) |
static void |
Verify.storeTraceAndTerminateIf(boolean cond,
String fileName,
String comment) |
static void |
Verify.storeTraceIf(boolean cond,
String fileName,
String comment) |
void |
MJIEnv.throwAssertion(String details) |
void |
MJIEnv.throwException(String clsName) |
void |
MJIEnv.throwException(String clsName,
String details) |
ClassInfo |
ClassLoaderInfo.tryGetResolvedClassInfo(String className)
obtain ClassInfo from context that does not care about resolution, i.e.
|
static ThreadInfo.State |
ThreadInfo.State.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static HandlerContext.UncaughtHandlerType |
HandlerContext.UncaughtHandlerType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static void |
Verify.writeObjectToFile(Object object,
String fileName) |
Constructor and Description |
---|
AnnotationInfo.Entry(String key,
Object value) |
AnnotationInfo(String name,
AnnotationInfo.Entry[] entries,
boolean isInherited) |
AnnotationInfo(String name,
ClassLoaderInfo classLoader,
AnnotationParser parser) |
BooleanChoiceGenerator(Config conf,
String id) |
BooleanChoiceGenerator(String id) |
BooleanChoiceGenerator(String id,
boolean falseFirst) |
BooleanFieldInfo(String name,
int modifiers) |
ByteFieldInfo(String name,
int modifiers) |
CharFieldInfo(String name,
int modifiers) |
ChoiceGeneratorBase(String id) |
ClassFileContainer(String name) |
ClassInfo(ClassInfo annotationCls,
String name,
ClassLoaderInfo classLoader,
String url)
createAndInitialize a fully synthetic implementation of an Annotation proxy
|
ClassInfo(String builtinClassName,
ClassLoaderInfo classLoader)
ClassInfo ctor used for builtin types (arrays and primitive types)
idx.e.
|
ClassInfo(String name,
ClassLoaderInfo classLoader,
ClassParser parser,
String classFileUrl) |
ClassInfoException(String details,
ClassLoaderInfo cl,
String exceptionClass,
String faildClass) |
ClassInfoException(String details,
ClassLoaderInfo cl,
String exceptionClass,
String faildClass,
Throwable cause) |
ClassParseException(String details) |
ClassPath(String[] pathNames) |
DoubleFieldInfo(String name,
int modifiers) |
DoubleSlotFieldInfo(String name,
String signature,
int modifiers) |
ExceptionHandler(String n,
int b,
int e,
int h)
Creates a new exception handler.
|
FieldInfo(String name,
String signature,
int modifiers) |
FloatFieldInfo(String name,
int modifiers) |
IntegerFieldInfo(String name,
int modifiers) |
LoadOnJPFRequired(String className) |
LocalVarInfo(String name,
String signature,
String genericSignature,
int startPC,
int endPC,
int slotIndex) |
LongFieldInfo(String name,
int modifiers) |
MethodInfo(ClassInfo ci,
String name,
String signature,
int modifiers,
int maxLocals,
int maxStack) |
MethodInfo(String name,
String signature,
int modifiers) |
Path(String app) |
ReferenceFieldInfo(String name,
String type,
int modifiers) |
ShortFieldInfo(String name,
int modifiers) |
SingleSlotFieldInfo(String name,
String signature,
int modifiers) |
Modifier and Type | Field and Description |
---|---|
protected String |
TypedObjectChoice.type |
Modifier and Type | Method and Description |
---|---|
String |
NumberChoiceFromList.getValueLabel()
get String label of current value, as specified in config file
|
String |
TypedObjectChoice.toString() |
String |
RandomIntIntervalGenerator.toString() |
String |
NumberChoiceFromList.toString() |
String |
IntIntervalGenerator.toString() |
String |
InvocationCG.toString() |
String |
DoubleThresholdGenerator.toString() |
Modifier and Type | Method and Description |
---|---|
static double |
DoubleSpec.eval(String spec)
return double from String spec, which can be either a literal
or a local variable name, or a field name
|
protected T |
NumberChoiceFromList.parse(String varSpec,
StackFrame resolveFrame) |
protected Long |
LongChoiceFromList.parseLiteral(String literal,
int sign) |
protected Integer |
IntChoiceFromList.parseLiteral(String literal,
int sign) |
protected abstract T |
NumberChoiceFromList.parseLiteral(String literal,
int sign) |
protected Double |
DoubleChoiceFromList.parseLiteral(String literal,
int sign) |
protected Float |
FloatChoiceFromList.parseLiteral(String literal,
int sign) |
static double |
DoubleSpec.resolveVar(String spec) |
Constructor and Description |
---|
BreakGenerator(String id,
ThreadInfo ti,
boolean isTerminator) |
DoubleChoiceFromList(Config conf,
String id) |
DoubleChoiceFromList(String id)
super constructor for subclasses that want to configure themselves
|
DoubleChoiceFromList(String id,
double... val) |
DoubleChoiceFromList(String id,
Double[] vals) |
DoubleChoiceFromSet(Config conf,
String id) |
DoubleChoiceFromSet(String id)
super constructor for subclasses that want to configure themselves
|
DoubleChoiceFromSet(String id,
double... val) |
DoubleThresholdGenerator(Config conf,
String id) |
FloatChoiceFromList(Config conf,
String id) |
FloatChoiceFromList(String id)
super constructor for subclasses that want to configure themselves
|
FloatChoiceFromList(String id,
float... val) |
FloatChoiceFromList(String id,
Float[] vals) |
IntChoiceFromList(Config conf,
String id) |
IntChoiceFromList(String id)
super constructor for subclasses that want to configure themselves
|
IntChoiceFromList(String id,
int... val) |
IntChoiceFromList(String id,
Integer[] vals) |
IntChoiceFromSet(Config conf,
String id) |
IntChoiceFromSet(String id)
super constructor for subclasses that want to configure themselves
|
IntChoiceFromSet(String id,
int... val) |
IntIntervalGenerator(Config conf,
String id) |
IntIntervalGenerator(String id,
int min,
int max) |
IntIntervalGenerator(String id,
int min,
int max,
int delta) |
InvocationCG(String id,
List<Invocation> invokes) |
LongChoiceFromList(Config conf,
String id) |
LongChoiceFromList(String id)
super constructor for subclasses that want to configure themselves
|
LongChoiceFromList(String id,
long... val) |
LongChoiceFromList(String id,
Long[] vals) |
NumberChoiceFromList(Config conf,
String id) |
NumberChoiceFromList(String id)
super constructor for subclasses that want to configure themselves
|
NumberChoiceFromList(String id,
T[] vals) |
RandomIntIntervalGenerator(Config conf,
String id) |
RandomIntIntervalGenerator(String id,
int min,
int max,
int nChoices) |
RandomIntIntervalGenerator(String id,
int min,
int max,
int nChoices,
long seed) |
ThreadChoiceFromSet(String id,
ThreadInfo[] set,
boolean isSchedulingPoint) |
TypedObjectChoice(Config conf,
String id) |
Modifier and Type | Field and Description |
---|---|
protected Set<String> |
FieldAmmendmentByName.fullFieldNames |
Constructor and Description |
---|
FieldAmmendmentByName(String[] fieldNames,
boolean policy) |
Constructor and Description |
---|
FieldAmmendmentByName(Collection<String> fullFieldNames,
boolean policy) |
FieldAmmendmentByName(Iterable<String> fullFieldNames,
boolean policy) |
Modifier and Type | Field and Description |
---|---|
static String |
File.pathSeparator |
static String |
File.separator |
Modifier and Type | Method and Description |
---|---|
String |
File.getAbsolutePath() |
String |
File.getCanonicalPath() |
String |
OutputStreamWriter.getEncoding() |
String |
File.getName() |
String |
File.getParent() |
String |
File.getPath() |
String[] |
File.list() |
String[] |
File.list(FilenameFilter fnf) |
String |
File.toString() |
Modifier and Type | Method and Description |
---|---|
static File |
File.createTempFile(String prefix,
String suffix) |
static File |
File.createTempFile(String prefix,
String suffix,
File dir) |
void |
OutputStreamWriter.write(String s,
int off,
int len) |
Constructor and Description |
---|
File(File parent,
String child) |
File(String filename) |
File(String parent,
String child) |
FileInputStream(String fname) |
FileOutputStream(String fname) |
InputStreamReader(InputStream in,
String charSetName) |
OutputStreamWriter(OutputStream os,
String charsetName) |
RandomAccessFile(File name,
String permissions) |
Modifier and Type | Field and Description |
---|---|
protected String |
Throwable.detailMessage |
Modifier and Type | Field and Description |
---|---|
static Comparator<String> |
String.CASE_INSENSITIVE_ORDER |
Modifier and Type | Method and Description |
---|---|
static String |
System.clearProperty(String key) |
String |
String.concat(String str) |
static String |
String.copyValueOf(char[] values) |
static String |
String.copyValueOf(char[] values,
int offset,
int count) |
protected String |
ClassLoader.findLibrary(String libname) |
static String |
String.format(Locale l,
String format,
Object... args) |
static String |
String.format(String format,
Object... args) |
String |
Class.getCanonicalName() |
String |
StackTraceElement.getClassName() |
static String |
System.getenv(String key) |
String |
StackTraceElement.getFileName() |
String |
Throwable.getLocalizedMessage() |
String |
Throwable.getMessage() |
String |
StackTraceElement.getMethodName() |
String |
Thread.getName() |
String |
Class.getName() |
static String |
System.getProperty(String key) |
static String |
System.getProperty(String key,
String def) |
String |
Class.getSimpleName() |
String |
String.intern() |
static String |
System.mapLibraryName(String libName) |
String |
String.replace(char oldChar,
char newChar) |
String |
String.replace(CharSequence target,
CharSequence other) |
String |
String.replaceAll(String regex,
String replacement) |
String |
String.replaceFirst(String regex,
String replacement) |
static String |
System.setProperty(String key,
String value) |
String[] |
String.split(String regex) |
String[] |
String.split(String regex,
int limit) |
String |
String.substring(int beginIndex) |
String |
String.substring(int beginIndex,
int endIndex) |
String |
String.toLowerCase() |
String |
String.toLowerCase(Locale locale) |
String |
Throwable.toString() |
String |
Thread.toString() |
String |
String.toString() |
String |
StackTraceElement.toString()
public int hashCode () {
return 0;
}
|
String |
Object.toString() |
String |
Class.toString() |
String |
String.toUpperCase() |
String |
String.toUpperCase(Locale locale) |
String |
String.trim() |
static String |
String.valueOf(boolean bool) |
static String |
String.valueOf(char character) |
static String |
String.valueOf(char[] values) |
static String |
String.valueOf(char[] values,
int offset,
int count) |
static String |
String.valueOf(double d) |
static String |
String.valueOf(float f) |
static String |
String.valueOf(int i) |
static String |
String.valueOf(long l) |
static String |
String.valueOf(Object x) |
Modifier and Type | Method and Description |
---|---|
static Map<String,String> |
System.getenv() |
static Map<String,String> |
System.getenv() |
Modifier and Type | Method and Description |
---|---|
static String |
System.clearProperty(String key) |
int |
String.compareTo(String anotherString) |
int |
String.compareToIgnoreCase(String str) |
String |
String.concat(String str) |
protected Class<?> |
ClassLoader.defineClass(String name,
byte[] b,
int off,
int len) |
protected Class<?> |
ClassLoader.defineClass(String name,
byte[] b,
int off,
int len,
ProtectionDomain protectionDomain) |
protected Class<?> |
ClassLoader.defineClass(String name,
ByteBuffer b,
ProtectionDomain protectionDomain) |
protected Package |
ClassLoader.definePackage(String name,
String specTitle,
String specVersion,
String specVendor,
String implTitle,
String implVersion,
String implVendor,
URL sealBase) |
boolean |
String.endsWith(String suffix) |
boolean |
String.equalsIgnoreCase(String anotherString) |
protected Class<?> |
ClassLoader.findClass(String name)
Finds the class with a given name.
|
protected String |
ClassLoader.findLibrary(String libname) |
protected Class<?> |
ClassLoader.findLoadedClass(String name)
If the class with the given name has been already defined, it is returned.
|
protected URL |
ClassLoader.findResource(String name)
Finds the resource with the given name.
|
protected Enumeration<URL> |
ClassLoader.findResources(String name)
Returns an enumeration representing all the resources with the given
name.
|
protected Class<?> |
ClassLoader.findSystemClass(String name) |
static String |
String.format(Locale l,
String format,
Object... args) |
static String |
String.format(String format,
Object... args) |
static Class<?> |
Class.forName(String clsName)
this one is in JPF reflection land, it's 'native' for us
|
static Class<?> |
Class.forName(String clsName,
boolean initialize,
ClassLoader loader) |
byte[] |
String.getBytes(String charsetName) |
protected Object |
ClassLoader.getClassLoadingLock(String className) |
Field |
Class.getDeclaredField(String fieldName) |
Method |
Class.getDeclaredMethod(String mthName,
Class<?>... paramTypes) |
static String |
System.getenv(String key) |
Field |
Class.getField(String fieldName) |
Method |
Class.getMethod(String mthName,
Class<?>... paramTypes) |
protected Package |
ClassLoader.getPackage(String name) |
static String |
System.getProperty(String key) |
static String |
System.getProperty(String key,
String def) |
URL |
ClassLoader.getResource(String name) |
URL |
Class.getResource(String rname) |
InputStream |
ClassLoader.getResourceAsStream(String name) |
InputStream |
Class.getResourceAsStream(String name) |
Enumeration<URL> |
ClassLoader.getResources(String name) |
static URL |
ClassLoader.getSystemResource(String name) |
static InputStream |
ClassLoader.getSystemResourceAsStream(String name) |
static Enumeration<URL> |
ClassLoader.getSystemResources(String name) |
int |
String.indexOf(String str) |
int |
String.indexOf(String str,
int fromIndex) |
int |
String.lastIndexOf(String str) |
int |
String.lastIndexOf(String str,
int fromIndex) |
static void |
System.load(String pathName) |
Class<?> |
ClassLoader.loadClass(String name) |
protected Class<?> |
ClassLoader.loadClass(String name,
boolean resolve) |
static void |
System.loadLibrary(String libName) |
static String |
System.mapLibraryName(String libName) |
boolean |
String.matches(String regex) |
boolean |
String.regionMatches(boolean ignoreCase,
int toffset,
String other,
int ooffset,
int len) |
boolean |
String.regionMatches(int toffset,
String other,
int ooffset,
int len) |
String |
String.replaceAll(String regex,
String replacement) |
String |
String.replaceFirst(String regex,
String replacement) |
void |
ClassLoader.setClassAssertionStatus(String className,
boolean enabled) |
void |
Thread.setName(String name) |
void |
ClassLoader.setPackageAssertionStatus(String packageName,
boolean enabled) |
static String |
System.setProperty(String key,
String value) |
String[] |
String.split(String regex) |
String[] |
String.split(String regex,
int limit) |
boolean |
String.startsWith(String prefix) |
boolean |
String.startsWith(String prefix,
int toffset) |
static Thread.State |
Thread.State.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
Constructor and Description |
---|
StackTraceElement(String clsName,
String mthName,
String fileName,
int line) |
String(byte[] bytes,
int offset,
int length,
String charsetName) |
String(byte[] bytes,
String charsetName) |
String(String original) |
Thread(Runnable target,
String name) |
Thread(String name) |
Thread(ThreadGroup group,
Runnable target,
String name) |
Thread(ThreadGroup group,
Runnable target,
String name,
long stackSize) |
Thread(ThreadGroup group,
String name) |
Throwable(String msg) |
Throwable(String msg,
Throwable xCause) |
Modifier and Type | Field and Description |
---|---|
protected String |
Constructor.name |
Modifier and Type | Method and Description |
---|---|
String |
Method.getName() |
String |
Field.getName() |
String |
Constructor.getName() |
String |
Method.toGenericString() |
String |
Field.toGenericString() |
String |
Constructor.toGenericString() |
String |
Method.toString() |
String |
Field.toString() |
String |
Constructor.toString() |
Modifier and Type | Method and Description |
---|---|
protected Package |
URLClassLoader.definePackage(String name,
Manifest man,
URL url) |
protected Class<?> |
URLClassLoader.findClass(String name) |
URL |
URLClassLoader.findResource(String rname) |
Enumeration<URL> |
URLClassLoader.findResources(String name) |
Modifier and Type | Method and Description |
---|---|
static MessageDigest |
MessageDigest.getInstance(String algorithm) |
Constructor and Description |
---|
MessageDigest(String algorithm) |
Modifier and Type | Method and Description |
---|---|
String |
NumberFormat.format(double d) |
String |
DecimalFormat.format(double number) |
String |
NumberFormat.format(long number) |
String |
DecimalFormat.format(long number) |
String |
Format.format(Object o) |
String |
DecimalFormat.getNegativePrefix() |
String |
DecimalFormat.getNegativeSuffix() |
String |
DecimalFormat.getPositivePrefix() |
String |
DecimalFormat.getPositiveSuffix() |
Modifier and Type | Method and Description |
---|---|
Date |
SimpleDateFormat.parse(String arg0,
ParsePosition arg1) |
abstract Number |
NumberFormat.parse(String source,
ParsePosition pos) |
Number |
DecimalFormat.parse(String source,
ParsePosition pos) |
Object |
Format.parseObject(String source) |
Object |
NumberFormat.parseObject(String source,
ParsePosition pos) |
abstract Object |
Format.parseObject(String source,
ParsePosition pos) |
Constructor and Description |
---|
DecimalFormat(String pattern) |
DecimalFormat(String pattern,
DecimalFormatSymbols symbols) |
SimpleDateFormat(String pattern) |
SimpleDateFormat(String pattern,
Locale locale) |
Modifier and Type | Method and Description |
---|---|
static String[] |
TimeZone.getAvailableIDs() |
static String[] |
TimeZone.getAvailableIDs(int rawOffset) |
String |
TimeZone.getDisplayName() |
String |
TimeZone.getDisplayName(boolean daylight,
int style) |
String |
TimeZone.getDisplayName(boolean daylight,
int style,
Locale locale) |
String |
TimeZone.getDisplayName(Locale locale) |
String |
TimeZone.getID() |
Modifier and Type | Method and Description |
---|---|
static TimeZone |
TimeZone.getTimeZone(String ID) |
void |
TimeZone.setID(String ID) |
Constructor and Description |
---|
TimeZone(String ID) |
Constructor and Description |
---|
BrokenBarrierException(String details) |
Modifier and Type | Method and Description |
---|---|
String |
AtomicReferenceArray.toString() |
String |
AtomicLongArray.toString() |
String |
AtomicIntegerArray.toString() |
Modifier and Type | Method and Description |
---|---|
static <O,F> AtomicReferenceFieldUpdater<O,F> |
AtomicReferenceFieldUpdater.newUpdater(Class<O> objClass,
Class<F> fieldClass,
String fieldName) |
static <O> AtomicLongFieldUpdater<O> |
AtomicLongFieldUpdater.newUpdater(Class<O> objClass,
String fieldName) |
static <O> AtomicIntegerFieldUpdater<O> |
AtomicIntegerFieldUpdater.newUpdater(Class<O> objClass,
String fieldName) |
Constructor and Description |
---|
AtomicIntegerFieldUpdater(Class<T> objClass,
String fieldName) |
AtomicLongFieldUpdater(Class<T> objClass,
String fieldName) |
AtomicReferenceFieldUpdater(Class<T> objClass,
Class<V> fieldClass,
String fieldName) |
Constructor and Description |
---|
FileHandler(String pattern) |
Modifier and Type | Method and Description |
---|---|
String |
Matcher.group() |
String |
Matcher.group(int group) |
String |
Pattern.pattern() |
static String |
Matcher.quoteReplacement(String abc) |
String |
Matcher.replaceAll(String replacement) |
String |
Matcher.replaceFirst(String replacement) |
String[] |
Pattern.split(CharSequence input) |
String[] |
Pattern.split(CharSequence input,
int limit) |
String |
Pattern.toString() |
String |
Matcher.toString() |
Modifier and Type | Method and Description |
---|---|
static Pattern |
Pattern.compile(String regex) |
static Pattern |
Pattern.compile(String regex,
int flags) |
static String |
Matcher.quoteReplacement(String abc) |
String |
Matcher.replaceAll(String replacement) |
String |
Matcher.replaceFirst(String replacement) |
Modifier and Type | Method and Description |
---|---|
String |
JavaNioAccess.BufferPool.getName() |
Modifier and Type | Method and Description |
---|---|
static int |
Hashing.stringHash32(String s) |
Modifier and Type | Field and Description |
---|---|
protected String |
Handler.proxy |
Constructor and Description |
---|
Handler(String proxy,
int port) |
Modifier and Type | Method and Description |
---|---|
String[] |
ConstantPool.getMemberRefInfoAt(int index) |
String |
ConstantPool.getStringAt(int index) |
String |
ConstantPool.getUTF8At(int index) |
Modifier and Type | Method and Description |
---|---|
Map<String,Object> |
AnnotationType.memberDefaults() |
Map<String,Method> |
AnnotationType.members() |
Map<String,Class<?>> |
AnnotationType.memberTypes() |