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

java.lang.Object
  extended by edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
      extended by edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.ReflectionPredicateViolation
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
SubAnnotThreadCheck

public static class SubAnnotThreadCheck.ReflectionPredicateViolation
extends SubAnnotThreadCheck.Violation

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
SubAnnotThreadCheck.Violation.TYPE
 
Field Summary
 java.lang.Object[] methodArgs
           
 java.lang.String predicateString
           
 
Fields inherited from class edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck.Violation
checkCount, LF, stackTrace, threadGroupName, threadId, threadName, type, violationCount
 
Constructor Summary
SubAnnotThreadCheck.ReflectionPredicateViolation(java.lang.String threadName, java.lang.String threadGroupName, long threadId, java.lang.StackTraceElement[] ste, java.lang.String predicateString, java.lang.Object[] methodArgs)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 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

predicateString

public final java.lang.String predicateString

methodArgs

public final java.lang.Object[] methodArgs
Constructor Detail

SubAnnotThreadCheck.ReflectionPredicateViolation

public SubAnnotThreadCheck.ReflectionPredicateViolation(java.lang.String threadName,
                                                        java.lang.String threadGroupName,
                                                        long threadId,
                                                        java.lang.StackTraceElement[] ste,
                                                        java.lang.String predicateString,
                                                        java.lang.Object[] methodArgs)
Method Detail

toString

public java.lang.String toString()
Returns a string representation of the object.

Overrides:
toString in class java.lang.Object
Returns:
string representation

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class SubAnnotThreadCheck.Violation

hashCode

public int hashCode()
Overrides:
hashCode in class SubAnnotThreadCheck.Violation