org.checkerframework.framework.test.diagnostics

Class TestDiagnostic

java.lang.Object

org.checkerframework.framework.test.diagnostics.TestDiagnostic

public class TestDiagnostic
extends java.lang.Object

Represents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler. See JavaDiagnosticReader and TestDiagnosticLine.

Constructor Summary

Constructors

Constructor and Description
TestDiagnostic(java.lang.String filename, long lineNumber, DiagnosticKind kind, java.lang.String message, boolean isFixable, boolean omitParentheses) Basic constructor that sets the immutable fields of this diagnostic.

Method Summary

Modifier and Type	Method and Description
java.lang.String	asSourceString()
boolean	equals(java.lang.Object otherObj) Equality is compared without isFixable/omitParentheses
java.lang.String	getFilename()
DiagnosticKind	getKind()
long	getLineNumber()
java.lang.String	getMessage()
int	hashCode()
boolean	isFixable()
boolean	shouldOmitParentheses()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestDiagnostic

public TestDiagnostic(java.lang.String filename,
                      long lineNumber,
                      DiagnosticKind kind,
                      java.lang.String message,
                      boolean isFixable,
                      boolean omitParentheses)

Basic constructor that sets the immutable fields of this diagnostic.

Method Detail

getFilename

public java.lang.String getFilename()

getLineNumber

public long getLineNumber()

getKind

public DiagnosticKind getKind()

isFixable

public boolean isFixable()

getMessage

public java.lang.String getMessage()

shouldOmitParentheses

public boolean shouldOmitParentheses()

Returns:

whether or not String representation methods should omit the parentheses around the message

asSourceString

public java.lang.String asSourceString()

Returns:

a String representing the format of this diagnostic as if it appeared in a source file

equals

public boolean equals(java.lang.Object otherObj)

Equality is compared without isFixable/omitParentheses

Overrides:

equals in class java.lang.Object

Returns:

true if this and otherObj are equal according to lineNumber, kind, and message

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Returns:

a representation of this diagnostic as if it appeared in a diagnostics file