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

java.lang.Object
  edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy
      edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy
          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