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

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

All Implemented Interfaces:

java.io.Serializable

public class ThreadCheckAnnotationRecord
extends java.lang.Object
implements java.io.Serializable

Class that keeps track of what thread names/ids/groups are allowed and denied for a method.

See Also:

Serialized Form

Field Summary

OnlyRunBy.EVENT_THREAD	allowEventThread
java.util.HashSet<java.lang.String>	allowThreadGroups
java.util.HashSet<java.lang.Long>	allowThreadIds
java.util.HashSet<java.lang.String>	allowThreadNames
java.util.HashSet<java.lang.String>	denyThreadGroups
java.util.HashSet<java.lang.Long>	denyThreadIds
java.util.HashSet<java.lang.String>	denyThreadNames
java.util.ArrayList<PredicateAnnotationRecord>	predicateAnnotations
boolean	suppressSubtypingWarning
long	timeStamp Timestamp of the last modification.

Constructor Summary

ThreadCheckAnnotationRecord()
Create a new empty annotation record.

ThreadCheckAnnotationRecord(ThreadCheckAnnotationRecord firstAR, ThreadCheckAnnotationRecord secondAR)
Create a new annotation record by merging the two specified records

Method Summary

void	add(ThreadCheckAnnotationRecord otherAR) Adds the annotations in the other annotation record to this one
boolean	empty() Return true if there is nothing specified in this annotation record.
boolean	equals(java.lang.Object o) Returns true if the two ThreadCheckAnnotationRecords are equal.
int	hashCode() Returns a hashcode for this ThreadCheckAnnotationRecord.
java.lang.String	toString() Returns a string representation of the object.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

denyThreadNames

public java.util.HashSet<java.lang.String> denyThreadNames

denyThreadIds

public java.util.HashSet<java.lang.Long> denyThreadIds

denyThreadGroups

public java.util.HashSet<java.lang.String> denyThreadGroups

allowThreadNames

public java.util.HashSet<java.lang.String> allowThreadNames

allowThreadIds

public java.util.HashSet<java.lang.Long> allowThreadIds

allowThreadGroups

public java.util.HashSet<java.lang.String> allowThreadGroups

allowEventThread

public OnlyRunBy.EVENT_THREAD allowEventThread

predicateAnnotations

public java.util.ArrayList<PredicateAnnotationRecord> predicateAnnotations

suppressSubtypingWarning

public boolean suppressSubtypingWarning

timeStamp

public long timeStamp

Timestamp of the last modification.

Constructor Detail

ThreadCheckAnnotationRecord

public ThreadCheckAnnotationRecord()

Create a new empty annotation record.

ThreadCheckAnnotationRecord

public ThreadCheckAnnotationRecord(ThreadCheckAnnotationRecord firstAR,
                                   ThreadCheckAnnotationRecord secondAR)

Create a new annotation record by merging the two specified records

Parameters:

firstAR - first record to merge

secondAR - second record to merge

Method Detail

add

public void add(ThreadCheckAnnotationRecord otherAR)

Adds the annotations in the other annotation record to this one

Parameters:

otherAR - other record

empty

public boolean empty()

Return true if there is nothing specified in this annotation record.

Returns:

true if nothing specified

equals

public boolean equals(java.lang.Object o)

Returns true if the two ThreadCheckAnnotationRecords are equal.

Overrides:

equals in class java.lang.Object

Parameters:

o - other object

Returns:

true if equal

hashCode

public int hashCode()

Returns a hashcode for this ThreadCheckAnnotationRecord.

Overrides:

hashCode in class java.lang.Object

Returns:

hashcode

toString

public java.lang.String toString()

Returns a string representation of the object.

Overrides:

toString in class java.lang.Object

Returns:

a string representation of the object.