Uses of Class
edu.rice.cs.cunit.threadCheck.Combine.Mode

Packages that use Combine.Mode

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

Uses of Combine.Mode in edu.rice.cs.cunit.instrumentors.threadCheck

Fields in edu.rice.cs.cunit.instrumentors.threadCheck declared as Combine.Mode

Combine.Mode

PredicateAnnotationRecord.combineMode Combine mode, or null if @Combine was not specified.

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

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.

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

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 Combine.Mode in edu.rice.cs.cunit.threadCheck

Methods in edu.rice.cs.cunit.threadCheck that return Combine.Mode

static Combine.Mode	Combine.Mode.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Combine.Mode[]	Combine.Mode.values() Returns an array containing the constants of this enum type, in the order they are declared.