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

Packages that use PredicateLink

edu.rice.cs.cunit.threadCheck

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

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

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

ThreadCheck.ThreadCheckAnnotationRecord.predicateLinkAnnotations

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

static java.lang.Boolean	ThreadCheck.checkPredicateLinkAnnotation(java.lang.annotation.Annotation ann, PredicateLink pl, java.lang.Object thisO, java.lang.Object[] methodArgs) Handle a @PredicateLink-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.