|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.rice.cs.cunit.instrumentors.threadCheck.AThreadCheckStrategy edu.rice.cs.cunit.instrumentors.threadCheck.AAddThreadCheckStrategy edu.rice.cs.cunit.instrumentors.threadCheck.AddReflectionThreadCheckStrategy
public class AddReflectionThreadCheckStrategy
Instrumentor to add calls to ThreadCheck.checkCurrentThreadReflection to check if the current thread is not allowed to execute a class or method.
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 |
---|
public AddReflectionThreadCheckStrategy(AThreadCheckStrategy.SharedData shared, AAddThreadCheckStrategy.SharedAddData sharedAdd)
shared
- data shared among all AThreadCheckStrategy instancessharedAdd
- data for all AAddThreadCheckStrategy instancespublic AddReflectionThreadCheckStrategy(java.util.List<java.lang.String> parameters, AThreadCheckStrategy.SharedData shared, AAddThreadCheckStrategy.SharedAddData sharedAdd)
parameters
- parameters for the instrumentorsshared
- data shared among all AThreadCheckStrategy instancessharedAdd
- data for all AAddThreadCheckStrategy instancesMethod Detail |
---|
public void instrument(ClassFile cf)
cf
- class file info
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |