public enum ParserMode extends java.lang.Enum<ParserMode>
Enum Constant and Description |
---|
DECLARATION
Only parse declarations.
|
GLOBALDECL
Parse global declarations.
|
PROBLEM
Only parse the problem declaration at the end of a KeY input file.
|
TACLET
Only parse taclet definitions.
|
TERM
Only parse terms.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName()
Get the name of this parser mode.
|
static ParserMode |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ParserMode[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ParserMode DECLARATION
public static final ParserMode TERM
public static final ParserMode GLOBALDECL
de.uka.ilkd.key.logic.TestClashFreeSubst
.public static final ParserMode TACLET
KeYParser.parseTaclet(String, de.uka.ilkd.key.java.Services)
public static final ParserMode PROBLEM
public static ParserMode[] values()
for (ParserMode c : ParserMode.values()) System.out.println(c);
public static ParserMode 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 java.lang.String getName()
Enum.toString()