edu.rice.cs.cunit.instrumentors.threadCheck
Class CompoundThreadCheckStrategy

java.lang.Object
  edu.rice.cs.cunit.instrumentors.util.CompoundStrategy
      edu.rice.cs.cunit.instrumentors.threadCheck.CompoundThreadCheckStrategy

All Implemented Interfaces:

IInstrumentationStrategy, IScannerStrategy

public class CompoundThreadCheckStrategy
extends CompoundStrategy

Compound instrumentor for the Thread Check strategies.

Author:

Mathias Ricken

Nested Class Summary

Nested classes/interfaces inherited from interface edu.rice.cs.cunit.instrumentors.util.IScannerStrategy

IScannerStrategy.IScanResult

Field Summary

static java.lang.String

CONVERT_SYNC_METHODS_PARAM Parameter that enables conversion of synchronized methods to methods containing synchronized blocks.

Constructor Summary

CompoundThreadCheckStrategy(java.util.List<java.lang.String> parameters)
Create a new compound instrumentor for the Thread Check strategies.

Method Summary

Methods inherited from class edu.rice.cs.cunit.instrumentors.util.CompoundStrategy

done, getCombined, getScanResults, instrument

Methods inherited from class java.lang.Object

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

Field Detail

CONVERT_SYNC_METHODS_PARAM

public static final java.lang.String CONVERT_SYNC_METHODS_PARAM

Parameter that enables conversion of synchronized methods to methods containing synchronized blocks.

See Also:

Constant Field Values

Constructor Detail

CompoundThreadCheckStrategy

public CompoundThreadCheckStrategy(java.util.List<java.lang.String> parameters)

Create a new compound instrumentor for the Thread Check strategies.

Parameters:

parameters - parameters for the instrumentors