randoop.instrument

Class ReplacementFileReader

java.lang.Object

randoop.instrument.ReplacementFileReader

public class ReplacementFileReader
extends java.lang.Object

Provides the methods readReplacements(Reader, String) and readReplacements(Path) that read a replacecall agent replacement file and populate the method replacement map used by the agent. See the replacecall user documentation for the file format.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	DOT_DELIMITED_IDS Regex to match a sequence of identifiers separated by periods.
static java.lang.String	ID_STRING Regex for Java identifiers.

Constructor Summary

Constructors

Constructor and Description
ReplacementFileReader()

Method Summary

Modifier and Type	Method and Description
protected static @Nullable org.apache.bcel.classfile.JavaClass	getJavaClassFromClassname(java.lang.String classname) Returns a JavaClass object for the given class name.

Methods inherited from class java.lang.Object

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

Field Detail

ID_STRING

public static final java.lang.String ID_STRING

Regex for Java identifiers.

See Also:

Constant Field Values

DOT_DELIMITED_IDS

public static final java.lang.String DOT_DELIMITED_IDS

Regex to match a sequence of identifiers separated by periods. Corresponds to package names, fully-qualified classnames, or method names with fully-qualified classname.

See Also:

Constant Field Values

Constructor Detail

ReplacementFileReader

public ReplacementFileReader()

Method Detail

getJavaClassFromClassname

protected static @Nullable org.apache.bcel.classfile.JavaClass getJavaClassFromClassname(java.lang.String classname)
                                                                                  throws randoop.instrument.ReplacementFileReader.ReplacementException

Returns a JavaClass object for the given class name. Works by trying to find a class file and loading it into a JavaClass object.

Parameters:

classname - name of class to find and load

Returns:

JavaClass object or null if not found

Throws:

ReplacementException - if any error loading and converting class file

randoop.instrument.ReplacementFileReader.ReplacementException