randoop.instrument

Class CoveredClassAgent

java.lang.Object

randoop.instrument.CoveredClassAgent

public class CoveredClassAgent
extends java.lang.Object

Defines the Java agent to instrument classes for covered-class filtering. Sets up Instrumentation for JVM so that bytecode first passed through an CoveredClassTransformer that performs instrumentation.

Constructor Summary

Constructors

Constructor and Description
CoveredClassAgent() Creates a CoveredClassAgent.

Method Summary

Modifier and Type	Method and Description
static void	premain(java.lang.String agentArgs, java.lang.instrument.Instrumentation inst) The premain method that instruments classes.

Methods inherited from class java.lang.Object

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

Constructor Detail

CoveredClassAgent

public CoveredClassAgent()

Creates a CoveredClassAgent.

Method Detail

premain

public static void premain(java.lang.String agentArgs,
                           java.lang.instrument.Instrumentation inst)

The premain method that instruments classes.

Parameters:

agentArgs - agent options

inst - the instrumentation