public static enum Message.Severity extends java.lang.Enum<Message.Severity>
Enum Constant and Description |
---|
HIGH
Important, an runtime error is generated if this situation occurs.
|
LOW
Probably not an error if this situation occurs.
|
MEDIUM
Likely an error if this situation occurs.
|
MEDIUM_IF_CERTAIN_NONE_OTHERWISE
Likely an error if this situation occurs, but only report if status is 'certain'.
|
TAJS_ERROR
Error or missing feature in TAJS that does not require the analysis to throw an exception immediately.
|
TAJS_META
Information about TAJS internal behavior.
|
TAJS_UNSOUNDNESS
Information about known use of unsoundness.
|
Modifier and Type | Method and Description |
---|---|
static Message.Severity |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Message.Severity[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Message.Severity HIGH
public static final Message.Severity LOW
public static final Message.Severity MEDIUM
public static final Message.Severity MEDIUM_IF_CERTAIN_NONE_OTHERWISE
public static final Message.Severity TAJS_ERROR
public static final Message.Severity TAJS_META
public static final Message.Severity TAJS_UNSOUNDNESS
public static Message.Severity valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic static Message.Severity[] values()
for (Message.Severity c : Message.Severity.values()) System.out.println(c);
Copyright © 2009-2019 Aarhus University