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

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by edu.rice.cs.cunit.instrumentors.threadCheck.BadPredicateAnnotationWarning
All Implemented Interfaces:
IScannerStrategy.IScanResult, java.io.Serializable, java.lang.Comparable<BadPredicateAnnotationWarning>

public class BadPredicateAnnotationWarning
extends java.lang.RuntimeException
implements IScannerStrategy.IScanResult, java.lang.Comparable<BadPredicateAnnotationWarning>

Storage class for bad predicate annotation warnings.

See Also:
Serialized Form

Field Summary
 java.lang.String desc
          Description of what was bad.
 
Constructor Summary
BadPredicateAnnotationWarning(java.lang.String desc)
          Create a new bad predicate annotation warning.
 
Method Summary
 int compareTo(BadPredicateAnnotationWarning o)
          Compares this object with the specified object for order.
 boolean equals(java.lang.Object o)
          Return true if this object is equal to the other object.
 java.lang.String getPropertyName()
          Return the name of the property that was scanned for.
 int hashCode()
          Return a hash code for this object.
 java.lang.String toString()
          Returns a string representation of the object.
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

desc

public final java.lang.String desc
Description of what was bad.

Constructor Detail

BadPredicateAnnotationWarning

public BadPredicateAnnotationWarning(java.lang.String desc)
Create a new bad predicate annotation warning.

Parameters:
desc - description of what was bad
Method Detail

equals

public boolean equals(java.lang.Object o)
Return true if this object is equal to the other object.

Overrides:
equals in class java.lang.Object
Parameters:
o - other object
Returns:
true if equal

hashCode

public int hashCode()
Return a hash code for this object.

Overrides:
hashCode in class java.lang.Object
Returns:
hash code

compareTo

public int compareTo(BadPredicateAnnotationWarning o)
Compares this object with the specified object for order.

Specified by:
compareTo in interface java.lang.Comparable<BadPredicateAnnotationWarning>
Parameters:
o - the Object to be compared.
Returns:
a negative integer, zero, or a positive integer as this object is less than, equal to, or greater than the specified object.
Throws:
java.lang.ClassCastException - if the specified object's type prevents it from being compared to this Object.

toString

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

Overrides:
toString in class java.lang.Throwable
Returns:
a string representation of the object

getPropertyName

public java.lang.String getPropertyName()
Return the name of the property that was scanned for.

Specified by:
getPropertyName in interface IScannerStrategy.IScanResult
Returns:
property name