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

Packages that use Combine

edu.rice.cs.cunit.threadCheck

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

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

java.util.HashSet<Pair<java.lang.annotation.Annotation,Combine>>

ThreadCheck.ThreadCheckAnnotationRecord.combineAnnotations

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

static java.lang.Boolean	ThreadCheck.checkCombineAnnotation(java.lang.annotation.Annotation ann, Combine co, java.lang.Object thisO, java.lang.Object[] methodArgs) Handle a @Combine-style annotation.
private static java.lang.Boolean	ThreadCheck.processCombineMember(java.lang.annotation.Annotation member, PredicateLink memberPL, Combine memberCO, java.lang.Object thisO, java.lang.Object[] methodArgs) Process the value of a member annotation in a @Combine-style annotation.