private static enum JavaDocument.Mode extends java.lang.Enum<JavaDocument.Mode>
Enum Constant and Description |
---|
ANNOTATION
parser is currently inside an annotation (starting with "@")
|
COMMENT
parser is currently inside a comment (starting with "/*")
|
JAVADOC
parser is currently inside JavaDoc (starting with "/**")
|
JML
parser is currently inside a JML annotation (starting with "/*@")
|
JML_KEYWORD
parser is currently inside a JML keyword
|
KEYWORD
parser is currently inside a keyword
|
LINE_COMMENT
parser is currently inside a line comment (starting with "//")
|
LINE_JML
parser is currently inside a line JML annotation (starting with "//@")
|
NORMAL
parser is currently inside normal java code
|
Modifier and Type | Method and Description |
---|---|
static JavaDocument.Mode |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static JavaDocument.Mode[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final JavaDocument.Mode NORMAL
public static final JavaDocument.Mode KEYWORD
public static final JavaDocument.Mode COMMENT
public static final JavaDocument.Mode LINE_COMMENT
public static final JavaDocument.Mode LINE_JML
public static final JavaDocument.Mode JAVADOC
public static final JavaDocument.Mode ANNOTATION
public static final JavaDocument.Mode JML
public static final JavaDocument.Mode JML_KEYWORD
public static JavaDocument.Mode[] values()
for (JavaDocument.Mode c : JavaDocument.Mode.values()) System.out.println(c);
public static JavaDocument.Mode 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 null