edu.rice.cs.cunit.threadCheck
Class ThreadCheck.ThreadCheckAnnotationRecord

java.lang.Object
  edu.rice.cs.cunit.threadCheck.ThreadCheck.ThreadCheckAnnotationRecord

Enclosing class:

ThreadCheck

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

Storage class for predicate annotations.

Field Summary

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

Constructor Summary

ThreadCheck.ThreadCheckAnnotationRecord()

Method Summary

void	add(ThreadCheck.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

combineAnnotations

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

suppressSubtypingWarning

public boolean suppressSubtypingWarning

Constructor Detail

ThreadCheck.ThreadCheckAnnotationRecord

public ThreadCheck.ThreadCheckAnnotationRecord()

Method Detail

add

public void add(ThreadCheck.ThreadCheckAnnotationRecord otherAR)