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

Packages that use PredicateAnnotationRecord

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

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

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

protected SoftHashMap<java.lang.String,PredicateAnnotationRecord>	AddPredicateThreadCheckStrategy._generatedPredicateRecords Hash table from a fully-qualified class name of the @Combine-type annotation to the generated predicate annotation record.
java.util.HashMap<java.lang.String,java.util.ArrayList<PredicateAnnotationRecord>>	PredicateAnnotationRecord.combinedPredicates Hashmap from member name to a list of other predicates that should be combined.
java.util.ArrayList<PredicateAnnotationRecord>	ThreadCheckAnnotationRecord.predicateAnnotations

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

protected PredicateAnnotationRecord	AddPredicateThreadCheckStrategy.generatePredicateAnnotationRecord(PredicateAnnotationRecord par, java.lang.String miDescriptor) Generate the predicate annotation record for the @Combine-type annotation that contains all information except for the valueList.
protected PredicateAnnotationRecord	AddPredicateThreadCheckStrategy.getGeneratedPredicate(ClassFile cf, PredicateAnnotationRecord par, java.lang.String miDescriptor) Return a generated predicate annotation record for a @Combine-type annotation.
protected PredicateAnnotationRecord	AThreadCheckStrategy.getPredicateAnnotationRecord(AAnnotationsAttributeInfo.Annotation annot, ClassFileTools.ClassLocation annotCL, ClassFile predicateCF, java.lang.String predicateMethod, Combine.Mode combineMode, boolean passArguments) Return the method info for the predicate method, or null if not found.
protected PredicateAnnotationRecord	AThreadCheckStrategy.processAnnotation(AAnnotationsAttributeInfo.Annotation annot) Process the specified annotation and return a PredicateAnnotationRecord if the annotation is a Thread Checker predicate annotation, or null otherwise.

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

protected PredicateAnnotationRecord	AddPredicateThreadCheckStrategy.generatePredicateAnnotationRecord(PredicateAnnotationRecord par, java.lang.String miDescriptor) Generate the predicate annotation record for the @Combine-type annotation that contains all information except for the valueList.
protected PredicateAnnotationRecord	AddPredicateThreadCheckStrategy.getGeneratedPredicate(ClassFile cf, PredicateAnnotationRecord par, java.lang.String miDescriptor) Return a generated predicate annotation record for a @Combine-type annotation.
protected java.lang.String	AddPredicateThreadCheckStrategy.getMethodName(PredicateAnnotationRecord par) Return the name of the predicate method for a @Combine-type annotation, taking annotation array sizes into account.
protected void	AddPredicateThreadCheckStrategy.getMethodNameHelper(PredicateAnnotationRecord par, java.lang.StringBuilder sb, java.lang.String suffix) Return part of the method name.
protected int	AddPredicateThreadCheckStrategy.insertPredicateCall(ClassFile cf, MethodInfo mi, InstructionList il, PredicateAnnotationRecord par) Insert a call to the predicate sp
protected void	AddPredicateThreadCheckStrategy.performCombineTreeWalk(PredicateAnnotationRecord par, ILambda.Ternary<java.lang.Object,java.lang.String,java.lang.String,AAnnotationsAttributeInfo.Annotation.AMemberValue> lambda, java.lang.String suffix) Walk the tree of combined predicates and apply the lambda for each parameter name-parameter type-value triple.

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

protected void

AThreadCheckStrategy.extractPredicateSet(java.util.ArrayList<AAttributeInfo> attributesList, java.util.ArrayList<PredicateAnnotationRecord> predicateSet, java.lang.String methodSig) Extract the list of predicate annotation records.

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

PredicateAnnotationRecord(PredicateAnnotationRecord otherPAR)

Constructor parameters in edu.rice.cs.cunit.instrumentors.threadCheck with type arguments of type PredicateAnnotationRecord

PredicateAnnotationRecord(AAnnotationsAttributeInfo.Annotation annotation, java.lang.String predicateClass, MethodInfo predicateMI, java.util.List<java.lang.String> paramNames, java.util.HashMap<java.lang.String,java.lang.String> paramTypes, java.util.ArrayList<AAnnotationsAttributeInfo.Annotation.AMemberValue> valueList, boolean passArguments, Combine.Mode combineMode, java.util.HashMap<java.lang.String,java.util.ArrayList<PredicateAnnotationRecord>> combinedPredicates)

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

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

private static void

XMLAnnotUtils.AnnotationToXML.processPredicateAnnotations(XMLConfig xc, org.w3c.dom.Node node, java.util.HashMap<java.lang.String,java.util.ArrayList<PredicateAnnotationRecord>> pars) Process a list of predicate annotations and add <predicate> or <combine> tags underneath the specified node.