org.checkerframework.framework.source

Class Result.DiagMessage

java.lang.Object

org.checkerframework.framework.source.Result.DiagMessage

Enclosing class:

Result

public static class Result.DiagMessage
extends java.lang.Object

A class that represents diagnostic messages.

DiagMessage encapsulate the message key which would identify the relevant standard error message according to the user locale.

The optional arguments are possible custom strings for the error message.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DiagMessage(@CompilerMessageKey java.lang.String message, java.lang.Object[] args)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.lang.Object[]	getArgs()
@CompilerMessageKey java.lang.String	getMessageKey()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DiagMessage

protected DiagMessage(@CompilerMessageKey java.lang.String message,
                      java.lang.Object[] args)

Method Detail

getMessageKey

public @CompilerMessageKey java.lang.String getMessageKey()

Returns:

the message key of this DiagMessage

getArgs

public java.lang.Object[] getArgs()

Returns:

the customized optional arguments for the message

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

@Pure
public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

@SideEffectFree
public java.lang.String toString()

Overrides:

toString in class java.lang.Object