Package org.checkerframework.framework.source

Class SourceChecker.CheckerMessage

java.lang.Object

org.checkerframework.framework.source.SourceChecker.CheckerMessage

All Implemented Interfaces:

Comparable<SourceChecker.CheckerMessage>

Enclosing class:

SourceChecker

protected static class SourceChecker.CheckerMessage
extends Object
implements Comparable<SourceChecker.CheckerMessage>

Represents a message (e.g., an error message) issued by a checker.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CheckerMessage(Diagnostic.Kind kind, String message, Tree source, SourceChecker checker, StackTraceElement[] trace)	Create a new CheckerMessage.

Method Summary

Modifier and Type	Method	Description
int	compareTo(SourceChecker.CheckerMessage other)	Compares other with this SourceChecker.CheckerMessage.
boolean	equals(@Nullable Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

CheckerMessage

protected CheckerMessage(Diagnostic.Kind kind,
 String message,
 @FindDistinct
 Tree source,
 @FindDistinct
 SourceChecker checker,
 StackTraceElement[] trace)

Create a new CheckerMessage.

Parameters:

kind - kind of diagnostic, for example, error or warning

message - error message that needs to be printed

source - tree node causing the error

checker - the type-checker in use

trace - the stack trace when the message is created

Method Details

equals

public boolean equals(@Nullable Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

compareTo

public int compareTo(SourceChecker.CheckerMessage other)

Compares other with this SourceChecker.CheckerMessage. Compares first by position at which the error will be printed, then by kind of message, then the order in which the checkers run, and finally by the message string.

Specified by:

compareTo in interface Comparable<SourceChecker.CheckerMessage>

Parameters:

other - the other CheckerMessage

Returns:

a negative integer, zero, or a positive integer if this CheckerMessage is less than, equal to, or greater than other