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

java.lang.Object
  extended by edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy
      extended by edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy
          extended by edu.rice.cs.cunit.instrumentors.threadCheck.AddReflectionThreadCheckStrategy
All Implemented Interfaces:
IInstrumentationStrategy

public class AddReflectionThreadCheckStrategy
extends AAddThreadCheckStrategy

Instrumentor to add calls to ThreadCheck.checkCurrentThreadReflection to check if the current thread is not allowed to execute a class or method.

Author:
Mathias Ricken

Nested Class Summary
 
Nested classes/interfaces inherited from class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy
AAddThreadCheckStrategy.CacheInfo, AAddThreadCheckStrategy.OnlyAfterRealizedWarning, AAddThreadCheckStrategy.SharedAddData
 
Nested classes/interfaces inherited from class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy
AThreadCheckStrategy.SharedData
 
Field Summary
 
Fields inherited from class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy
_sharedAddData, XML_ANNOT_SAVE_MERGED_PREFIX
 
Fields inherited from class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy
_sharedData, CLASS_PATH_PARAM_PREFIX, CLASS_SIG_SEPARATOR_STRING, DEFAULT_XML_CONC_DEF_PATH_PREFIX, DEFAULT_XML_PATH_PREFIX, UPDATE_PARAM_ORDER_PREFIX, XML_ANNOT_FORMAT_PARAM, XML_ANNOT_PARAM_PREFIX
 
Constructor Summary
AddReflectionThreadCheckStrategy(AThreadCheckStrategy.SharedData shared, AAddThreadCheckStrategy.SharedAddData sharedAdd)
          Constructor for this strategy.
AddReflectionThreadCheckStrategy(java.util.List<java.lang.String> parameters, AThreadCheckStrategy.SharedData shared, AAddThreadCheckStrategy.SharedAddData sharedAdd)
          Constructor for this strategy.
 
Method Summary
 void instrument(ClassFile cf)
          Instrument the class.
 
Methods inherited from class edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy
checkForSubtypingClassWarnings, checkXMLConcDef, done, extractMemberValue, extractXMLAnnotations, extractXMLConcDef, extractXMLConcDef, getClassAnnotations, getMethodAnnotations, insertCtorCall
 
Methods inherited from class edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy
checkCombineMembers, checkPredicateMembers, checkPublicStaticIfNestedClass, extractAnnotationArray, extractLists, extractLongArray, extractPredicateSet, extractStringArray, getAnnotationClassFile, getCombineMode, getPredicateAnnotationRecord, getPredicateLink, includePredicateMethodParameterOrder, processAnnotation
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AddReflectionThreadCheckStrategy

public AddReflectionThreadCheckStrategy(AThreadCheckStrategy.SharedData shared,
                                        AAddThreadCheckStrategy.SharedAddData sharedAdd)
Constructor for this strategy.

Parameters:
shared - data shared among all AThreadCheckStrategy instances
sharedAdd - data for all AAddThreadCheckStrategy instances

AddReflectionThreadCheckStrategy

public AddReflectionThreadCheckStrategy(java.util.List<java.lang.String> parameters,
                                        AThreadCheckStrategy.SharedData shared,
                                        AAddThreadCheckStrategy.SharedAddData sharedAdd)
Constructor for this strategy.

Parameters:
parameters - parameters for the instrumentors
shared - data shared among all AThreadCheckStrategy instances
sharedAdd - data for all AAddThreadCheckStrategy instances
Method Detail

instrument

public void instrument(ClassFile cf)
Instrument the class.

Parameters:
cf - class file info