edu.rice.cs.cunit.threadCheck.subAnnot
Class SubAnnotThreadCheck.ThreadCheckAnnotationRecord

java.lang.Object
  edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ThreadCheckAnnotationRecord

Enclosing class:

SubAnnotThreadCheck

public static class SubAnnotThreadCheck.ThreadCheckAnnotationRecord
extends java.lang.Object

Storage class for predicate annotations.

Field Summary

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

Constructor Summary

SubAnnotThreadCheck.ThreadCheckAnnotationRecord()

Method Summary

void	add(SubAnnotThreadCheck.ThreadCheckAnnotationRecord otherAR)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

predicateLinkAnnotations

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

suppressSubtypingWarning

public boolean suppressSubtypingWarning

Constructor Detail

SubAnnotThreadCheck.ThreadCheckAnnotationRecord

public SubAnnotThreadCheck.ThreadCheckAnnotationRecord()

Method Detail

add

public void add(SubAnnotThreadCheck.ThreadCheckAnnotationRecord otherAR)