public static enum IProofFileParser.ProofElementID extends Enum<IProofFileParser.ProofElementID>
Modifier and Type | Method and Description |
---|---|
String |
getRawName() |
static IProofFileParser.ProofElementID |
valueOf(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 JOIN_PROCEDURE
public static final IProofFileParser.ProofElementID NUMBER_JOIN_PARTNERS
public static final IProofFileParser.ProofElementID JOIN_NODE
public static final IProofFileParser.ProofElementID JOIN_ID
public static final IProofFileParser.ProofElementID JOIN_DIST_FORMULA
public static final IProofFileParser.ProofElementID USER_INTERACTION
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
private String rawName
public static IProofFileParser.ProofElementID[] values()
for (IProofFileParser.ProofElementID c : IProofFileParser.ProofElementID.values()) System.out.println(c);
public static IProofFileParser.ProofElementID valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic String getRawName()