de.uka.ilkd.key.proof.io

Enum IProofFileParser.ProofElementID

java.lang.Object

java.lang.Enum<IProofFileParser.ProofElementID>

de.uka.ilkd.key.proof.io.IProofFileParser.ProofElementID

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<IProofFileParser.ProofElementID>

Enclosing interface:

IProofFileParser

public static enum IProofFileParser.ProofElementID
extends java.lang.Enum<IProofFileParser.ProofElementID>

Enumeration of the different syntactic elements occurring in a saved proof tree representation. TODO: ProofSaver should not hardcode ids Enum names should be used instead of rawnames (old proofs should be converted)

Author:

Richard Bubel

Enum Constant Summary

Enum Constants

Enum Constant and Description
ASSUMES_FORMULA_DIRECT
ASSUMES_FORMULA_IN_SEQUENT
ASSUMES_INST_BUILT_IN
AUTOMODE_TIME
BRANCH
BUILT_IN_RULE
CONTRACT
FORMULA
INSTANTIATION
KeY_LOG
KeY_SETTINGS
KeY_USER
KeY_VERSION
MERGE_ABSTRACTION_PREDICATES
MERGE_DIST_FORMULA
MERGE_ID
MERGE_NODE
MERGE_PREDICATE_ABSTRACTION_LATTICE_TYPE
MERGE_PROCEDURE
MERGE_USER_CHOICES
NEW_NAMES
NUMBER_MERGE_PARTNERS
OPEN_GOAL
PROOF_SCRIPT
RULE
RULESET
TERM
USER_INTERACTION

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	rawName

Method Summary

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.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

BRANCH

public static final IProofFileParser.ProofElementID BRANCH

RULE

public static final IProofFileParser.ProofElementID RULE

TERM

public static final IProofFileParser.ProofElementID TERM

FORMULA

public static final IProofFileParser.ProofElementID FORMULA

INSTANTIATION

public static final IProofFileParser.ProofElementID INSTANTIATION

ASSUMES_FORMULA_IN_SEQUENT

public static final IProofFileParser.ProofElementID ASSUMES_FORMULA_IN_SEQUENT

ASSUMES_FORMULA_DIRECT

public static final IProofFileParser.ProofElementID ASSUMES_FORMULA_DIRECT

RULESET

public static final IProofFileParser.ProofElementID RULESET

BUILT_IN_RULE

public static final IProofFileParser.ProofElementID BUILT_IN_RULE

CONTRACT

public static final IProofFileParser.ProofElementID CONTRACT

ASSUMES_INST_BUILT_IN

public static final IProofFileParser.ProofElementID ASSUMES_INST_BUILT_IN

MERGE_ABSTRACTION_PREDICATES

public static final IProofFileParser.ProofElementID MERGE_ABSTRACTION_PREDICATES

MERGE_PREDICATE_ABSTRACTION_LATTICE_TYPE

public static final IProofFileParser.ProofElementID MERGE_PREDICATE_ABSTRACTION_LATTICE_TYPE

MERGE_PROCEDURE

public static final IProofFileParser.ProofElementID MERGE_PROCEDURE

NUMBER_MERGE_PARTNERS

public static final IProofFileParser.ProofElementID NUMBER_MERGE_PARTNERS

MERGE_NODE

public static final IProofFileParser.ProofElementID MERGE_NODE

MERGE_ID

public static final IProofFileParser.ProofElementID MERGE_ID

MERGE_DIST_FORMULA

public static final IProofFileParser.ProofElementID MERGE_DIST_FORMULA

MERGE_USER_CHOICES

public static final IProofFileParser.ProofElementID MERGE_USER_CHOICES

USER_INTERACTION

public static final IProofFileParser.ProofElementID USER_INTERACTION

PROOF_SCRIPT

public static final IProofFileParser.ProofElementID PROOF_SCRIPT

NEW_NAMES

public static final IProofFileParser.ProofElementID NEW_NAMES

AUTOMODE_TIME

public static final IProofFileParser.ProofElementID AUTOMODE_TIME

KeY_LOG

public static final IProofFileParser.ProofElementID KeY_LOG

KeY_USER

public static final IProofFileParser.ProofElementID KeY_USER

KeY_VERSION

public static final IProofFileParser.ProofElementID KeY_VERSION

KeY_SETTINGS

public static final IProofFileParser.ProofElementID KeY_SETTINGS

OPEN_GOAL

public static final IProofFileParser.ProofElementID OPEN_GOAL

Field Detail

rawName

private java.lang.String rawName

Method Detail

values

public static IProofFileParser.ProofElementID[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (IProofFileParser.ProofElementID c : IProofFileParser.ProofElementID.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static IProofFileParser.ProofElementID valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

getRawName

public java.lang.String getRawName()