edu.rice.cs.cunit.instrumentors.threadCheck
Class AAddThreadCheckStrategy.SharedAddData

java.lang.Object
  edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy.SharedAddData

All Implemented Interfaces:

IInstrumentationStrategy, IScannerStrategy

Enclosing class:

AAddThreadCheckStrategy

public static class AAddThreadCheckStrategy.SharedAddData
extends java.lang.Object
implements IScannerStrategy

Data shared among all AAddThreadCheckStrategy instances.

Nested Class Summary

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

IScannerStrategy.IScanResult

Field Summary

protected AAddThreadCheckStrategy.CacheInfo	cacheInfo Class info.
protected SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord>	classAnnotations Hash table from a fully-qualified class name to the annotations that class has.
protected SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord>	methodAnnotations Hash table from a string of the form "<fully-qualified class name>::<method name><descriptor>" to the annotations that method has.
protected java.util.HashSet<IScannerStrategy.IScanResult>	otherWarnings Warnings.
protected java.util.HashSet<SubtypingWarning>	subtypingWarnings Subtyping Warnings.
protected XMLConfig	xmlAnnot XML configurations used for additional annotations not based in the code.

Constructor Summary

AAddThreadCheckStrategy.SharedAddData(java.util.List<java.lang.String> parameters, AThreadCheckStrategy.SharedData sharedData)
Create a new instance of shared data.

Method Summary

void	done() Instrumentation of all classes is done.
AAddThreadCheckStrategy.CacheInfo	getCacheInfo()
SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord>	getClassAnnotations()
SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord>	getMethodAnnotations()
java.util.HashSet<IScannerStrategy.IScanResult>	getOtherWarnings()
java.util.List<? extends IScannerStrategy.IScanResult>	getScanResults() Return a list of scan results.
java.util.HashSet<SubtypingWarning>	getSubtypingWarnings()
XMLConfig	getXmlAnnot()
void	instrument(ClassFile cf) Instrument the class.

Methods inherited from class java.lang.Object

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

Field Detail

classAnnotations

protected SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord> classAnnotations

Hash table from a fully-qualified class name to the annotations that class has.

methodAnnotations

protected SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord> methodAnnotations

Hash table from a string of the form "<fully-qualified class name>::<method name><descriptor>" to the annotations that method has.

cacheInfo

protected AAddThreadCheckStrategy.CacheInfo cacheInfo

Class info.

otherWarnings

protected java.util.HashSet<IScannerStrategy.IScanResult> otherWarnings

Warnings.

subtypingWarnings

protected java.util.HashSet<SubtypingWarning> subtypingWarnings

Subtyping Warnings.

xmlAnnot

protected XMLConfig xmlAnnot

XML configurations used for additional annotations not based in the code.

Constructor Detail

AAddThreadCheckStrategy.SharedAddData

public AAddThreadCheckStrategy.SharedAddData(java.util.List<java.lang.String> parameters,
                                             AThreadCheckStrategy.SharedData sharedData)

Create a new instance of shared data.

Parameters:

parameters - parameters for the instrumentation strategy

sharedData - data shared among all AThreadCheckStrategy instances

Method Detail

getClassAnnotations

public SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord> getClassAnnotations()

getMethodAnnotations

public SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord> getMethodAnnotations()

getCacheInfo

public AAddThreadCheckStrategy.CacheInfo getCacheInfo()

getOtherWarnings

public java.util.HashSet<IScannerStrategy.IScanResult> getOtherWarnings()

getSubtypingWarnings

public java.util.HashSet<SubtypingWarning> getSubtypingWarnings()

getXmlAnnot

public XMLConfig getXmlAnnot()

instrument

public void instrument(ClassFile cf)

Instrument the class.

Specified by:

instrument in interface IInstrumentationStrategy

Parameters:

cf - class file info

getScanResults

public java.util.List<? extends IScannerStrategy.IScanResult> getScanResults()

Return a list of scan results.

Specified by:

getScanResults in interface IScannerStrategy

Returns:

list of scan results.

done

public void done()

Instrumentation of all classes is done.

Specified by:

done in interface IInstrumentationStrategy