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

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

SubAnnotThreadCheck.PredicateViolation, SubAnnotThreadCheck.ReflectionPredicateViolation

Enclosing class:

SubAnnotThreadCheck

public static class SubAnnotThreadCheck.Violation
extends java.lang.Object
implements java.io.Serializable

See Also:

Serialized Form

Nested Class Summary

static class

SubAnnotThreadCheck.Violation.TYPE

Field Summary

long	checkCount
static java.lang.String	LF
java.lang.StackTraceElement[]	stackTrace
java.lang.String	threadGroupName
long	threadId
java.lang.String	threadName
SubAnnotThreadCheck.Violation.TYPE	type
long	violationCount

Constructor Summary

SubAnnotThreadCheck.Violation(SubAnnotThreadCheck.Violation.TYPE type, java.lang.String threadName, java.lang.String threadGroupName, long threadId, java.lang.StackTraceElement[] ste)

Method Summary

boolean	equals(java.lang.Object o)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

LF

public static final java.lang.String LF

type

public final SubAnnotThreadCheck.Violation.TYPE type

threadName

public final java.lang.String threadName

threadGroupName

public final java.lang.String threadGroupName

threadId

public final long threadId

stackTrace

public final java.lang.StackTraceElement[] stackTrace

checkCount

public final long checkCount

violationCount

public final long violationCount

Constructor Detail

SubAnnotThreadCheck.Violation

public SubAnnotThreadCheck.Violation(SubAnnotThreadCheck.Violation.TYPE type,
                                     java.lang.String threadName,
                                     java.lang.String threadGroupName,
                                     long threadId,
                                     java.lang.StackTraceElement[] ste)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object