edu.rice.cs.cunit
Class TCFileInstrumentor

java.lang.Object
  edu.rice.cs.cunit.FileInstrumentor
      edu.rice.cs.cunit.TCFileInstrumentor

public class TCFileInstrumentor
extends FileInstrumentor

Instruments files using the CompoundThreadCheckStrategy.

Author:

Mathias Ricken

Nested Class Summary

static class

TCFileInstrumentor.TCTool Class to perform the command line utility tasks.

Nested classes/interfaces inherited from class edu.rice.cs.cunit.FileInstrumentor

FileInstrumentor.Tool

Field Summary

Fields inherited from class edu.rice.cs.cunit.FileInstrumentor

_addAnnotationAttribute, _debugOut, _defaultCunitRtJarName, _defaultDestRtJarName, _defaultInstrumentorName, _defaultSystemInstrumentorName, _forceInstrumentation, _instrumentors, INSTRUMENTOR_PACKAGE_PREFIX

Constructor Summary

TCFileInstrumentor(IInstrumentationStrategy[] instrumentors)
Creates a new instrumenting class loader using specified instrumentors.

Method Summary

static void

main(java.lang.String[] args) Run the general file instrumentor.

Methods inherited from class edu.rice.cs.cunit.FileInstrumentor

addClassJarStream, addJarStream, done, getDefaultCunitRtJarName, getDefaultDestRtJarName, getDefaultInstrumentorName, getDefaultSourceRtJarName, getDefaultSystemInstrumentorName, getInstrumentors, instrumentFile, instrumentJar, instrumentJarStream, instrumentStream, setDefaultCunitRtJarName, setDefaultDestRtJarName, setDefaultInstrumentorName, setDefaultSystemInstrumentorName

Methods inherited from class java.lang.Object

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

Constructor Detail

TCFileInstrumentor

public TCFileInstrumentor(IInstrumentationStrategy[] instrumentors)

Creates a new instrumenting class loader using specified instrumentors.

Parameters:

instrumentors - array of instrumentors

Method Detail

main

public static void main(java.lang.String[] args)

Run the general file instrumentor.

Parameters:

args - command line arguments.