| /******************************************************************************* | |
| * CHESS core plugin | |
| * | |
| * Copyright (C) 2011-2015 | |
| * Mälardalen University, Sweden | |
| * | |
| * | |
| * All rights reserved. This program and the accompanying materials | |
| * are made available under the terms of the Eclipse Public License | |
| * v1.0 which accompanies this distribution, and is available at | |
| * http://www.eclipse.org/legal/epl-v10.html | |
| *******************************************************************************/ | |
| package org.polarsys.chess.fla.flamm.FailureTypes; | |
| 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>Failure Type</b></em>', | |
| * and utility methods for working with them. | |
| * <!-- end-user-doc --> | |
| * @see org.polarsys.chess.fla.flamm.FailureTypes.FailureTypesPackage#getFailureType() | |
| * @model | |
| * @generated | |
| */ | |
| public enum FailureType implements Enumerator { | |
| /** | |
| * The '<em><b>No Failure</b></em>' literal object. | |
| * <!-- begin-user-doc --> | |
| * <!-- end-user-doc --> | |
| * @see #NO_FAILURE_VALUE | |
| * @generated | |
| * @ordered | |
| */ | |
| NO_FAILURE(0, "noFailure", "noFailure"), | |
| /** | |
| * The '<em><b>Failure</b></em>' literal object. | |
| * <!-- begin-user-doc --> | |
| * <!-- end-user-doc --> | |
| * @see #FAILURE_VALUE | |
| * @generated | |
| * @ordered | |
| */ | |
| FAILURE(1, "failure", "failure"), | |
| /** | |
| * The '<em><b>Variable</b></em>' literal object. | |
| * <!-- begin-user-doc --> | |
| * <!-- end-user-doc --> | |
| * @see #VARIABLE_VALUE | |
| * @generated | |
| * @ordered | |
| */ | |
| VARIABLE(2, "variable", "variable"), | |
| /** | |
| * The '<em><b>Wildcard</b></em>' literal object. | |
| * <!-- begin-user-doc --> | |
| * <!-- end-user-doc --> | |
| * @see #WILDCARD_VALUE | |
| * @generated | |
| * @ordered | |
| */ | |
| WILDCARD(3, "wildcard", "wildcard"); | |
| /** | |
| * The '<em><b>No Failure</b></em>' literal value. | |
| * <!-- begin-user-doc --> | |
| * <p> | |
| * If the meaning of '<em><b>No Failure</b></em>' literal object isn't clear, | |
| * there really should be more of a description here... | |
| * </p> | |
| * <!-- end-user-doc --> | |
| * @see #NO_FAILURE | |
| * @model name="noFailure" | |
| * @generated | |
| * @ordered | |
| */ | |
| public static final int NO_FAILURE_VALUE = 0; | |
| /** | |
| * The '<em><b>Failure</b></em>' literal value. | |
| * <!-- begin-user-doc --> | |
| * <p> | |
| * If the meaning of '<em><b>Failure</b></em>' literal object isn't clear, | |
| * there really should be more of a description here... | |
| * </p> | |
| * <!-- end-user-doc --> | |
| * @see #FAILURE | |
| * @model name="failure" | |
| * @generated | |
| * @ordered | |
| */ | |
| public static final int FAILURE_VALUE = 1; | |
| /** | |
| * The '<em><b>Variable</b></em>' literal value. | |
| * <!-- begin-user-doc --> | |
| * <p> | |
| * If the meaning of '<em><b>Variable</b></em>' literal object isn't clear, | |
| * there really should be more of a description here... | |
| * </p> | |
| * <!-- end-user-doc --> | |
| * @see #VARIABLE | |
| * @model name="variable" | |
| * @generated | |
| * @ordered | |
| */ | |
| public static final int VARIABLE_VALUE = 2; | |
| /** | |
| * The '<em><b>Wildcard</b></em>' literal value. | |
| * <!-- begin-user-doc --> | |
| * <p> | |
| * If the meaning of '<em><b>Wildcard</b></em>' literal object isn't clear, | |
| * there really should be more of a description here... | |
| * </p> | |
| * <!-- end-user-doc --> | |
| * @see #WILDCARD | |
| * @model name="wildcard" | |
| * @generated | |
| * @ordered | |
| */ | |
| public static final int WILDCARD_VALUE = 3; | |
| /** | |
| * An array of all the '<em><b>Failure Type</b></em>' enumerators. | |
| * <!-- begin-user-doc --> | |
| * <!-- end-user-doc --> | |
| * @generated | |
| */ | |
| private static final FailureType[] VALUES_ARRAY = | |
| new FailureType[] { | |
| NO_FAILURE, | |
| FAILURE, | |
| VARIABLE, | |
| WILDCARD, | |
| }; | |
| /** | |
| * A public read-only list of all the '<em><b>Failure Type</b></em>' enumerators. | |
| * <!-- begin-user-doc --> | |
| * <!-- end-user-doc --> | |
| * @generated | |
| */ | |
| public static final List<FailureType> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | |
| /** | |
| * Returns the '<em><b>Failure Type</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 FailureType get(String literal) { | |
| for (int i = 0; i < VALUES_ARRAY.length; ++i) { | |
| FailureType result = VALUES_ARRAY[i]; | |
| if (result.toString().equals(literal)) { | |
| return result; | |
| } | |
| } | |
| return null; | |
| } | |
| /** | |
| * Returns the '<em><b>Failure Type</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 FailureType getByName(String name) { | |
| for (int i = 0; i < VALUES_ARRAY.length; ++i) { | |
| FailureType result = VALUES_ARRAY[i]; | |
| if (result.getName().equals(name)) { | |
| return result; | |
| } | |
| } | |
| return null; | |
| } | |
| /** | |
| * Returns the '<em><b>Failure Type</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 FailureType get(int value) { | |
| switch (value) { | |
| case NO_FAILURE_VALUE: return NO_FAILURE; | |
| case FAILURE_VALUE: return FAILURE; | |
| case VARIABLE_VALUE: return VARIABLE; | |
| case WILDCARD_VALUE: return WILDCARD; | |
| } | |
| 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 FailureType(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; | |
| } | |
| } //FailureType |