checkers.source

Class Result

@NonNull java.lang.Object

checkers.source.Result

public final class Result
extends @NonNull Object

Represents the outcome of a typechecking operation (success, warning, or failure, plus a list of explanatory messages). Results created during typechecking can be reported using SourceChecker.report(checkers.source.Result, java.lang.Object), which ultimately delivers an error or warning message via the JSR 199 compiler interface.

See Also:

SourceChecker.report(checkers.source.Result, java.lang.Object)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Result.DiagMessage A class that represents the diangosis messages.

Field Summary

Fields

Modifier and Type	Field and Description
static Result	SUCCESS The success result.

Method Summary

Methods

Modifier and Type	Method and Description
static Result	failure(@ReadOnly String messageKey, Object... args) Creates a new failure result with the given message key.
List<Result.DiagMessage>	getDiagMessages()
List<@ReadOnly String>	getMessageKeys()
boolean	isFailure()
boolean	isSuccess()
boolean	isWarning()
Result	merge(Result r) Merges two results into one.
@ReadOnly String	toString()
static Result	warning(@ReadOnly String messageKey, Object... args) Creates a new warning result with the given message.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

SUCCESS

public static final Result SUCCESS

The success result.

Method Detail

failure

public static Result failure(@ReadOnly String messageKey,
             Object... args)

Creates a new failure result with the given message key.

Parameters:

messageKey - the key representing the reason for failure

args - optional arguments to be included in the message

Returns:

the failure result

warning

public static Result warning(@ReadOnly String messageKey,
             Object... args)

Creates a new warning result with the given message.

Parameters:

messageKey - the key for the warning message

args - optional arguments to be included in the message

Returns:

the warning result

merge

public Result merge(Result r)

Merges two results into one.

Parameters:

r - the result to merge with this result

Returns:

a result that is the success result if both this and r are success results, or a result that has the more significant type (failure > warning > success) and the message keys of both this result and r

isSuccess

public boolean isSuccess()

Returns:

true if the result is success (not a failure or warning)

isFailure

public boolean isFailure()

Returns:

true if the result is a failure

isWarning

public boolean isWarning()

Returns:

true if the result is a warning

getMessageKeys

public List<@ReadOnly String> getMessageKeys()

Returns:

the message keys associated with the result

getDiagMessages

public List<Result.DiagMessage> getDiagMessages()

Returns:

an unmodifiable list of the message pairs

toString

public @ReadOnly String toString()

Overrides:

toString in class @NonNull Object