org.checkerframework.framework.source

Class Result

java.lang.Object

org.checkerframework.framework.source.Result

Deprecated.

use DiagMessage or List<DiagMessage> instead

@Deprecated
public final class Result
extends Object

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

See Also:

SourceChecker.report(org.checkerframework.framework.source.Result, java.lang.Object)

Field Summary

Fields

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

Method Summary

Modifier and Type	Method and Description
static Result	failure(@CompilerMessageKey String messageKey, Object... args) Deprecated. use a DiagMessage instead, or call reportError or reportWarning directly
List<DiagMessage>	getDiagMessages() Deprecated.
List<String>	getMessageKeys() Deprecated.
boolean	isFailure() Deprecated.
boolean	isSuccess() Deprecated.
boolean	isWarning() Deprecated.
Result	merge(Result r) Deprecated. Merges two results into one.
String	toString() Deprecated.
static Result	warning(@CompilerMessageKey String messageKey, Object... args) Deprecated. use a DiagMessage instead

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

Deprecated.

The success result.

Method Detail

failure

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

Deprecated. use a DiagMessage instead, or call reportError or reportWarning directly

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

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

Deprecated. use a DiagMessage instead

Creates a new warning result with the given message key.

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)

Deprecated.

Merges two results into one.

If both this and r are success results, returns the success result.

Otherwise, returns a result with the more severe type (failure > warning > success) and the union of the messages.

Parameters:

r - the result to merge with this result

Returns:

the merge of the two results

isSuccess

public boolean isSuccess()

Deprecated.

Returns:

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

isFailure

public boolean isFailure()

Deprecated.

Returns:

true if the result is a failure

isWarning

public boolean isWarning()

Deprecated.

Returns:

true if the result is a warning

getMessageKeys

public List<String> getMessageKeys()

Deprecated.

Returns:

the message keys associated with the result

getDiagMessages

public List<DiagMessage> getDiagMessages()

Deprecated.

Returns:

an unmodifiable list of the message pairs

toString

@SideEffectFree
public String toString()

Deprecated.

Overrides:

toString in class Object