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

Packages that use BadPredicateAnnotationWarning

edu.rice.cs.cunit.instrumentors.threadCheck

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

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

private java.util.HashSet<BadPredicateAnnotationWarning>

AThreadCheckStrategy.SharedData._badPredicateAnnotWarnings Warnings about badly formatted predicate annotations.

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

void	AThreadCheckStrategy.SharedData.addBadPredicateAnnotWarning(BadPredicateAnnotationWarning badPredicateAnnotWarning) Add a bad predicate annotation warning.
int	BadPredicateAnnotationWarning.compareTo(BadPredicateAnnotationWarning o) Compares this object with the specified object for order.