checkers.source
Class Result.DiagMessage

java.lang.Object
  checkers.source.Result.DiagMessage

Enclosing class:

Result

public static class Result.DiagMessage
extends Object

A class that represents the diangosis 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

Modifier	Constructor and Description
protected	Result.DiagMessage(String message, Object[] args)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Object[]	getArgs()
String	getMessageKey()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Result.DiagMessage

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

Method Detail

getMessageKey

@CompilerMessageKey
public String getMessageKey()

Returns:

the message key of this DiagMessage

getArgs

public Object[] getArgs()

Returns:

the customized optional arguments for the message

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object