randoop.instrument

Class ReplaceCallAgent

java.lang.Object

randoop.instrument.ReplaceCallAgent

public class ReplaceCallAgent
extends java.lang.Object

The replacecall javaagent applies the CallReplacementTransformer to replace calls in loaded classes by calls to alternate implementations.

The transformer applies method call replacements as specified in either the default or a user-provided replacement file. (See the replacecall user documentation the file format.) Default replacements are given in an internal resource file "default-replacements.txt". User replacements are then loaded using the --replacement-file command-line argument. A user replacement may override a default replacement.

The classes of packages listed in the resource file "default-load-exclusions.txt" are excluded from transformation.

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	debug Run the replacecall agent in debug mode.
static @Nullable java.lang.String	debug_directory The directory where debug logs are written when debug is set.
static @Nullable java.nio.file.Path	dont_transform Exclude transformation of classes in the listed packages.
static @Nullable java.nio.file.Path	replacement_file The file from which to read the user replacements for replacing calls.
static boolean	verbose

Constructor Summary

Constructors

Constructor and Description
ReplaceCallAgent()

Method Summary

Modifier and Type	Method and Description
protected static java.lang.String	getJarPathFromURL(java.net.URL url) Extracts the path from a URL of type jar.
static void	premain(java.lang.String agentArgs, java.lang.instrument.Instrumentation instrumentation) Entry point of the replacecall Java agent.

Methods inherited from class java.lang.Object

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

Field Detail

debug

public static boolean debug

Run the replacecall agent in debug mode.

debug_directory

public static @Nullable java.lang.String debug_directory

The directory where debug logs are written when debug is set. If no directory is given, then the current working directory is used.

verbose

public static boolean verbose

replacement_file

public static @Nullable java.nio.file.Path replacement_file

The file from which to read the user replacements for replacing calls.

dont_transform

public static @Nullable java.nio.file.Path dont_transform

Exclude transformation of classes in the listed packages.

Constructor Detail

ReplaceCallAgent

public ReplaceCallAgent()

Method Detail

premain

public static void premain(java.lang.String agentArgs,
                           java.lang.instrument.Instrumentation instrumentation)
                    throws java.io.IOException

Entry point of the replacecall Java agent. Initializes the CallReplacementTransformer so that when classes are loaded they are transformed to replace calls to methods as specified in the replacements file(s).

Parameters:

agentArgs - the arguments to the agent

instrumentation - the Instrumentation object

Throws:

java.io.IOException - if there is an error reading a file

getJarPathFromURL

protected static java.lang.String getJarPathFromURL(java.net.URL url)

Extracts the path from a URL of type jar.

Parameters:

url - the url to extract the path from

Returns:

the path for the jar file, as a string