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

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              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