Uses of Class
edu.rice.cs.cunit.threadCheck.ThreadCheck.ThreadCheckAnnotationRecord

Packages that use ThreadCheck.ThreadCheckAnnotationRecord

edu.rice.cs.cunit.threadCheck

Uses of ThreadCheck.ThreadCheckAnnotationRecord in edu.rice.cs.cunit.threadCheck

Methods in edu.rice.cs.cunit.threadCheck that return ThreadCheck.ThreadCheckAnnotationRecord

static ThreadCheck.ThreadCheckAnnotationRecord	ThreadCheck.getClassAnnotations(java.lang.Class cf) Get the annotations for the specified class file.
static ThreadCheck.ThreadCheckAnnotationRecord	ThreadCheck.getMethodAnnotations(java.lang.Class cf, java.lang.reflect.Method mi) Get the annotations for the specified method in the specified class file.
static ThreadCheck.ThreadCheckAnnotationRecord	ThreadCheck.getPredicateSets(java.lang.annotation.Annotation[] annotations) Get the predicate sets from the array of annotations.

Methods in edu.rice.cs.cunit.threadCheck with parameters of type ThreadCheck.ThreadCheckAnnotationRecord

void	ThreadCheck.ThreadCheckAnnotationRecord.add(ThreadCheck.ThreadCheckAnnotationRecord otherAR)
static void	ThreadCheck.checkForSubtypingClassWarnings(java.lang.Class cf, java.lang.reflect.Method mi, java.lang.Class scf, ThreadCheck.ThreadCheckAnnotationRecord classAR, ThreadCheck.ThreadCheckAnnotationRecord superClassAR) Check for subtyping warnings.