org.checkerframework.framework.source

Class DiagMessage

java.lang.Object

org.checkerframework.framework.source.DiagMessage

@AnnotatedFor(value="nullness")
public class DiagMessage
extends Object

A DiagMessage is a kind, a message key, and arguments. The message key will be expanded according to the user locale. Any arguments will then be interpolated into the localized message.

By contrast, javax.tools.Diagnostic has just a string message.

Constructor Summary

Constructors

Constructor and Description
DiagMessage(Diagnostic.Kind kind, @CompilerMessageKey String messageKey, Object... args) Create a DiagMessage.

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable Object obj)
Object[]	getArgs() Returns the customized optional arguments for the message.
Diagnostic.Kind	getKind() Returns the kind of this DiagMessage.
@CompilerMessageKey String	getMessageKey() Returns the message key of this DiagMessage.
int	hashCode()
static List<DiagMessage>	mergeLists(List<DiagMessage> list1, List<DiagMessage> list2) Returns the concatenation of the lists.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DiagMessage

public DiagMessage(Diagnostic.Kind kind,
                   @CompilerMessageKey String messageKey,
                   Object... args)

Create a DiagMessage.

Parameters:

kind - the kind of message

messageKey - the message key

args - the arguments that will be interpolated into the localized message

Method Detail

getKind

public Diagnostic.Kind getKind()

Returns the kind of this DiagMessage.

Returns:

the kind of this DiagMessage

getMessageKey

public @CompilerMessageKey String getMessageKey()

Returns the message key of this DiagMessage.

Returns:

the message key of this DiagMessage

getArgs

public Object[] getArgs()

Returns the customized optional arguments for the message.

Returns:

the customized optional arguments for the message

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object

hashCode

@Pure
public int hashCode()

Overrides:

hashCode in class Object

toString

@SideEffectFree
public String toString()

Overrides:

toString in class Object

mergeLists

public static List<DiagMessage> mergeLists(List<DiagMessage> list1,
                                           List<DiagMessage> list2)

Returns the concatenation of the lists.

Parameters:

list1 - a list of DiagMessage, or null

list2 - a list of DiagMessage, or null

Returns:

the concatenation of the lists