| /** |
| */ |
| package laxcondition; |
| |
| import java.util.Arrays; |
| import java.util.Collections; |
| import java.util.List; |
| |
| import org.eclipse.emf.common.util.Enumerator; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * A representation of the literals of the enumeration '<em><b>Operator</b></em>', |
| * and utility methods for working with them. |
| * <!-- end-user-doc --> |
| * @see laxcondition.LaxconditionPackage#getOperator() |
| * @model |
| * @generated |
| */ |
| public enum Operator implements Enumerator { |
| /** |
| * The '<em><b>NOT</b></em>' literal object. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #NOT_VALUE |
| * @generated |
| * @ordered |
| */ |
| NOT(0, "NOT", "NOT"), |
| |
| /** |
| * The '<em><b>AND</b></em>' literal object. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #AND_VALUE |
| * @generated |
| * @ordered |
| */ |
| AND(1, "AND", "AND"), |
| |
| /** |
| * The '<em><b>OR</b></em>' literal object. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #OR_VALUE |
| * @generated |
| * @ordered |
| */ |
| OR(2, "OR", "OR"), |
| |
| /** |
| * The '<em><b>IMPLIES</b></em>' literal object. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #IMPLIES_VALUE |
| * @generated |
| * @ordered |
| */ |
| IMPLIES(3, "IMPLIES", "IMPLIES"), |
| |
| /** |
| * The '<em><b>EQUIVALENT</b></em>' literal object. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #EQUIVALENT_VALUE |
| * @generated |
| * @ordered |
| */ |
| EQUIVALENT(4, "EQUIVALENT", "EQUIVALENT"), |
| |
| /** |
| * The '<em><b>XOR</b></em>' literal object. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #XOR_VALUE |
| * @generated |
| * @ordered |
| */ |
| XOR(5, "XOR", "XOR"); |
| |
| /** |
| * The '<em><b>NOT</b></em>' literal value. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of '<em><b>NOT</b></em>' literal object isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @see #NOT |
| * @model |
| * @generated |
| * @ordered |
| */ |
| public static final int NOT_VALUE = 0; |
| |
| /** |
| * The '<em><b>AND</b></em>' literal value. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of '<em><b>AND</b></em>' literal object isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @see #AND |
| * @model |
| * @generated |
| * @ordered |
| */ |
| public static final int AND_VALUE = 1; |
| |
| /** |
| * The '<em><b>OR</b></em>' literal value. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of '<em><b>OR</b></em>' literal object isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @see #OR |
| * @model |
| * @generated |
| * @ordered |
| */ |
| public static final int OR_VALUE = 2; |
| |
| /** |
| * The '<em><b>IMPLIES</b></em>' literal value. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of '<em><b>IMPLIES</b></em>' literal object isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @see #IMPLIES |
| * @model |
| * @generated |
| * @ordered |
| */ |
| public static final int IMPLIES_VALUE = 3; |
| |
| /** |
| * The '<em><b>EQUIVALENT</b></em>' literal value. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of '<em><b>EQUIVALENT</b></em>' literal object isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @see #EQUIVALENT |
| * @model |
| * @generated |
| * @ordered |
| */ |
| public static final int EQUIVALENT_VALUE = 4; |
| |
| /** |
| * The '<em><b>XOR</b></em>' literal value. |
| * <!-- begin-user-doc --> |
| * <p> |
| * If the meaning of '<em><b>XOR</b></em>' literal object isn't clear, |
| * there really should be more of a description here... |
| * </p> |
| * <!-- end-user-doc --> |
| * @see #XOR |
| * @model |
| * @generated |
| * @ordered |
| */ |
| public static final int XOR_VALUE = 5; |
| |
| /** |
| * An array of all the '<em><b>Operator</b></em>' enumerators. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| private static final Operator[] VALUES_ARRAY = |
| new Operator[] { |
| NOT, |
| AND, |
| OR, |
| IMPLIES, |
| EQUIVALENT, |
| XOR, |
| }; |
| |
| /** |
| * A public read-only list of all the '<em><b>Operator</b></em>' enumerators. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| public static final List<Operator> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); |
| |
| /** |
| * Returns the '<em><b>Operator</b></em>' literal with the specified literal value. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @param literal the literal. |
| * @return the matching enumerator or <code>null</code>. |
| * @generated |
| */ |
| public static Operator get(String literal) { |
| for (int i = 0; i < VALUES_ARRAY.length; ++i) { |
| Operator result = VALUES_ARRAY[i]; |
| if (result.toString().equals(literal)) { |
| return result; |
| } |
| } |
| return null; |
| } |
| |
| /** |
| * Returns the '<em><b>Operator</b></em>' literal with the specified name. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @param name the name. |
| * @return the matching enumerator or <code>null</code>. |
| * @generated |
| */ |
| public static Operator getByName(String name) { |
| for (int i = 0; i < VALUES_ARRAY.length; ++i) { |
| Operator result = VALUES_ARRAY[i]; |
| if (result.getName().equals(name)) { |
| return result; |
| } |
| } |
| return null; |
| } |
| |
| /** |
| * Returns the '<em><b>Operator</b></em>' literal with the specified integer value. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @param value the integer value. |
| * @return the matching enumerator or <code>null</code>. |
| * @generated |
| */ |
| public static Operator get(int value) { |
| switch (value) { |
| case NOT_VALUE: return NOT; |
| case AND_VALUE: return AND; |
| case OR_VALUE: return OR; |
| case IMPLIES_VALUE: return IMPLIES; |
| case EQUIVALENT_VALUE: return EQUIVALENT; |
| case XOR_VALUE: return XOR; |
| } |
| return null; |
| } |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| private final int value; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| private final String name; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| private final String literal; |
| |
| /** |
| * Only this class can construct instances. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| private Operator(int value, String name, String literal) { |
| this.value = value; |
| this.name = name; |
| this.literal = literal; |
| } |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| public int getValue() { |
| return value; |
| } |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| public String getName() { |
| return name; |
| } |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| public String getLiteral() { |
| return literal; |
| } |
| |
| /** |
| * Returns the literal value of the enumerator, which is its string representation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| @Override |
| public String toString() { |
| return literal; |
| } |
| |
| } //Operator |