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

Packages that use ThreadCheckAnnotationRecord

edu.rice.cs.cunit.instrumentors.threadCheck
edu.rice.cs.cunit.threadCheck

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

Fields in edu.rice.cs.cunit.instrumentors.threadCheck declared as ThreadCheckAnnotationRecord

ThreadCheckAnnotationRecord

ThreadCheckDefinitionRecord.invariant The invariant applied to the classes and methods below.

Fields in edu.rice.cs.cunit.instrumentors.threadCheck with type parameters of type ThreadCheckAnnotationRecord

protected SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord>	AAddThreadCheckStrategy.SharedAddData.classAnnotations Hash table from a fully-qualified class name to the annotations that class has.
protected SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord>	AAddThreadCheckStrategy.SharedAddData.methodAnnotations Hash table from a string of the form "<fully-qualified class name>::<method name><descriptor>" to the annotations that method has.

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

ThreadCheckAnnotationRecord	AAddThreadCheckStrategy.extractXMLAnnotations(org.w3c.dom.Node elt) Extract annotations for the specified path from the XML file, if there is one.
protected ThreadCheckAnnotationRecord	AAddThreadCheckStrategy.getClassAnnotations(ClassFile cf) Get the annotations for the specified class file.
ThreadCheckAnnotationRecord	ThreadCheckDefinitionRecord.getInvariant() Return the invariant of this definition.
protected ThreadCheckAnnotationRecord	AAddThreadCheckStrategy.getMethodAnnotations(ClassFile cf, MethodInfo mi) Get the annotations for the specified method in the specified class file.

Methods in edu.rice.cs.cunit.instrumentors.threadCheck that return types with arguments of type ThreadCheckAnnotationRecord

SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord>	AAddThreadCheckStrategy.SharedAddData.getClassAnnotations()
SoftHashMap<java.lang.String,ThreadCheckAnnotationRecord>	AAddThreadCheckStrategy.SharedAddData.getMethodAnnotations()

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

void	ThreadCheckAnnotationRecord.add(ThreadCheckAnnotationRecord otherAR) Adds the annotations in the other annotation record to this one
protected void	AAddThreadCheckStrategy.checkForSubtypingClassWarnings(ClassFile cf, MethodInfo mi, ClassFile scf, ThreadCheckAnnotationRecord classAR, ThreadCheckAnnotationRecord superClassAR) Check for subtyping warnings.

Constructors in edu.rice.cs.cunit.instrumentors.threadCheck with parameters of type ThreadCheckAnnotationRecord

ThreadCheckAnnotationRecord(ThreadCheckAnnotationRecord firstAR, ThreadCheckAnnotationRecord secondAR)
Create a new annotation record by merging the two specified records

ThreadCheckDefinitionRecord(ThreadCheckAnnotationRecord inv)
Create a new empty definition record that just specifies the invariant.

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

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

static void

XMLAnnotUtils.AnnotationToXML.processAnnotations(XMLConfig xc, org.w3c.dom.Node root, ThreadCheckAnnotationRecord tcAR) Put the annotations from the lists into the XML document.

Method parameters in edu.rice.cs.cunit.threadCheck with type arguments of type ThreadCheckAnnotationRecord

private static void	XMLAnnotUtils.ClassBased.processClassNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, org.w3c.dom.Node n, java.lang.String path, java.lang.String className, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList, AAddThreadCheckStrategy dummy) Process a <class> node
private static void	XMLAnnotUtils.ClassBased.processClassNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, org.w3c.dom.Node n, java.lang.String path, java.lang.String className, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList, AAddThreadCheckStrategy dummy) Process a <class> node
static void	XMLAnnotUtils.ClassBased.processNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList) Process a node.
static void	XMLAnnotUtils.ClassBased.processNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList) Process a node.
private static void	XMLAnnotUtils.ClassBased.processNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, org.w3c.dom.Node n, java.lang.String path, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList) Process a node.
private static void	XMLAnnotUtils.ClassBased.processNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, org.w3c.dom.Node n, java.lang.String path, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList) Process a node.