|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<ReportType>
uk.ac.starlink.ttools.taplint.ReportType
public enum ReportType
Message types for use with a reporter.
Enum Constant Summary | |
---|---|
ERROR
Compliance error. |
|
FAILURE
Unable to perform test (internal error or missing precondition). |
|
INFO
Information about validator progress. |
|
SUMMARY
Summary of previous reports. |
|
WARNING
Questionable or non-Recommended behaviour. |
Method Summary | |
---|---|
static ReportType |
forChar(char chr)
Returns the type instance corresponding to a given character. |
char |
getChar()
Returns the single-character identifier for this type. |
String |
getDescription()
Returns the description text for this type. |
String |
getName()
Returns the human-readable name. |
String |
getNames()
Returns plural of human-readable name. |
static ReportType |
valueOf(String name)
Returns the enum constant of this type with the specified name. |
static ReportType[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final ReportType ERROR
public static final ReportType WARNING
public static final ReportType INFO
public static final ReportType SUMMARY
public static final ReportType FAILURE
Method Detail |
---|
public static final ReportType[] values()
for(ReportType c : ReportType.values()) System.out.println(c);
public static ReportType valueOf(String name)
name
- the name of the enum constant to be returned.
IllegalArgumentException
- if this enum type has no constant
with the specified namepublic char getChar()
public String getName()
public String getNames()
public String getDescription()
public static ReportType forChar(char chr)
chr
- case-insensitive character
type.getChar()==chr
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |