public static enum IProofFileParser.ProofElementID extends java.lang.Enum<IProofFileParser.ProofElementID>
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
rawName |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getRawName() |
static IProofFileParser.ProofElementID |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static IProofFileParser.ProofElementID[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final IProofFileParser.ProofElementID BRANCH
public static final IProofFileParser.ProofElementID RULE
public static final IProofFileParser.ProofElementID TERM
public static final IProofFileParser.ProofElementID FORMULA
public static final IProofFileParser.ProofElementID INSTANTIATION
public static final IProofFileParser.ProofElementID ASSUMES_FORMULA_IN_SEQUENT
public static final IProofFileParser.ProofElementID ASSUMES_FORMULA_DIRECT
public static final IProofFileParser.ProofElementID RULESET
public static final IProofFileParser.ProofElementID BUILT_IN_RULE
public static final IProofFileParser.ProofElementID CONTRACT
public static final IProofFileParser.ProofElementID ASSUMES_INST_BUILT_IN
public static final IProofFileParser.ProofElementID MERGE_ABSTRACTION_PREDICATES
public static final IProofFileParser.ProofElementID MERGE_PREDICATE_ABSTRACTION_LATTICE_TYPE
public static final IProofFileParser.ProofElementID MERGE_PROCEDURE
public static final IProofFileParser.ProofElementID NUMBER_MERGE_PARTNERS
public static final IProofFileParser.ProofElementID MERGE_NODE
public static final IProofFileParser.ProofElementID MERGE_ID
public static final IProofFileParser.ProofElementID MERGE_DIST_FORMULA
public static final IProofFileParser.ProofElementID MERGE_USER_CHOICES
public static final IProofFileParser.ProofElementID USER_INTERACTION
public static final IProofFileParser.ProofElementID PROOF_SCRIPT
public static final IProofFileParser.ProofElementID NEW_NAMES
public static final IProofFileParser.ProofElementID AUTOMODE_TIME
public static final IProofFileParser.ProofElementID KeY_LOG
public static final IProofFileParser.ProofElementID KeY_USER
public static final IProofFileParser.ProofElementID KeY_VERSION
public static final IProofFileParser.ProofElementID KeY_SETTINGS
public static final IProofFileParser.ProofElementID OPEN_GOAL
public static IProofFileParser.ProofElementID[] values()
for (IProofFileParser.ProofElementID c : IProofFileParser.ProofElementID.values()) System.out.println(c);
public static IProofFileParser.ProofElementID 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 getRawName()