/** */ package ca.mcgill.ecse.dslreasoner.vampire.yakindumm; import java.util.Arrays; import java.util.Collections; import java.util.List; import org.eclipse.emf.common.util.Enumerator; /** * * A representation of the literals of the enumeration 'Entry Type', * and utility methods for working with them. * * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getEntryType() * @model * @generated */ public enum EntryType implements Enumerator { /** * The 'Normal' literal object. * * * @see #NORMAL_VALUE * @generated * @ordered */ NORMAL(0, "Normal", "Normal"), /** * The 'History' literal object. * * * @see #HISTORY_VALUE * @generated * @ordered */ HISTORY(0, "History", "History"), /** * The 'Deep History' literal object. * * * @see #DEEP_HISTORY_VALUE * @generated * @ordered */ DEEP_HISTORY(0, "DeepHistory", "DeepHistory"); /** * The 'Normal' literal value. * *
* If the meaning of 'Normal' literal object isn't clear, * there really should be more of a description here... *
* * @see #NORMAL * @model name="Normal" * @generated * @ordered */ public static final int NORMAL_VALUE = 0; /** * The 'History' literal value. * ** If the meaning of 'History' literal object isn't clear, * there really should be more of a description here... *
* * @see #HISTORY * @model name="History" * @generated * @ordered */ public static final int HISTORY_VALUE = 0; /** * The 'Deep History' literal value. * ** If the meaning of 'Deep History' literal object isn't clear, * there really should be more of a description here... *
* * @see #DEEP_HISTORY * @model name="DeepHistory" * @generated * @ordered */ public static final int DEEP_HISTORY_VALUE = 0; /** * An array of all the 'Entry Type' enumerators. * * * @generated */ private static final EntryType[] VALUES_ARRAY = new EntryType[] { NORMAL, HISTORY, DEEP_HISTORY, }; /** * A public read-only list of all the 'Entry Type' enumerators. * * * @generated */ public static final Listnull
.
* @generated
*/
public static EntryType get(String literal) {
for (int i = 0; i < VALUES_ARRAY.length; ++i) {
EntryType result = VALUES_ARRAY[i];
if (result.toString().equals(literal)) {
return result;
}
}
return null;
}
/**
* Returns the 'Entry Type' literal with the specified name.
*
*
* @param name the name.
* @return the matching enumerator or null
.
* @generated
*/
public static EntryType getByName(String name) {
for (int i = 0; i < VALUES_ARRAY.length; ++i) {
EntryType result = VALUES_ARRAY[i];
if (result.getName().equals(name)) {
return result;
}
}
return null;
}
/**
* Returns the 'Entry Type' literal with the specified integer value.
*
*
* @param value the integer value.
* @return the matching enumerator or null
.
* @generated
*/
public static EntryType get(int value) {
switch (value) {
case NORMAL_VALUE: return NORMAL;
}
return null;
}
/**
*
*
* @generated
*/
private final int value;
/**
*
*
* @generated
*/
private final String name;
/**
*
*
* @generated
*/
private final String literal;
/**
* Only this class can construct instances.
*
*
* @generated
*/
private EntryType(int value, String name, String literal) {
this.value = value;
this.name = name;
this.literal = literal;
}
/**
*
*
* @generated
*/
public int getValue() {
return value;
}
/**
*
*
* @generated
*/
public String getName() {
return name;
}
/**
*
*
* @generated
*/
public String getLiteral() {
return literal;
}
/**
* Returns the literal value of the enumerator, which is its string representation.
*
*
* @generated
*/
@Override
public String toString() {
return literal;
}
} //EntryType