From 7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 10 May 2020 22:09:17 +0200 Subject: Add satellite case study --- .../ecore-gen/satellite/TransceiverBand.java | 230 +++++++++++++++++++++ 1 file changed, 230 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java new file mode 100644 index 00000000..9d8d5697 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java @@ -0,0 +1,230 @@ +/** + */ +package satellite; + +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 'Transceiver Band', + * and utility methods for working with them. + * + * @see satellite.SatellitePackage#getTransceiverBand() + * @model + * @generated + */ +public enum TransceiverBand implements Enumerator { + /** + * The 'UHF' literal object. + * + * + * @see #UHF_VALUE + * @generated + * @ordered + */ + UHF(0, "UHF", "UHF"), + + /** + * The 'X' literal object. + * + * + * @see #X_VALUE + * @generated + * @ordered + */ + X(1, "X", "X"), + + /** + * The 'Ka' literal object. + * + * + * @see #KA_VALUE + * @generated + * @ordered + */ + KA(2, "Ka", "Ka"); + + /** + * The 'UHF' literal value. + * + * + * @see #UHF + * @model + * @generated + * @ordered + */ + public static final int UHF_VALUE = 0; + + /** + * The 'X' literal value. + * + * + * @see #X + * @model + * @generated + * @ordered + */ + public static final int X_VALUE = 1; + + /** + * The 'Ka' literal value. + * + * + * @see #KA + * @model name="Ka" + * @generated + * @ordered + */ + public static final int KA_VALUE = 2; + + /** + * An array of all the 'Transceiver Band' enumerators. + * + * + * @generated + */ + private static final TransceiverBand[] VALUES_ARRAY = new TransceiverBand[] { UHF, X, KA, }; + + /** + * A public read-only list of all the 'Transceiver Band' enumerators. + * + * + * @generated + */ + public static final List VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); + + /** + * Returns the 'Transceiver Band' literal with the specified literal value. + * + * + * @param literal the literal. + * @return the matching enumerator or null. + * @generated + */ + public static TransceiverBand get(String literal) { + for (int i = 0; i < VALUES_ARRAY.length; ++i) { + TransceiverBand result = VALUES_ARRAY[i]; + if (result.toString().equals(literal)) { + return result; + } + } + return null; + } + + /** + * Returns the 'Transceiver Band' literal with the specified name. + * + * + * @param name the name. + * @return the matching enumerator or null. + * @generated + */ + public static TransceiverBand getByName(String name) { + for (int i = 0; i < VALUES_ARRAY.length; ++i) { + TransceiverBand result = VALUES_ARRAY[i]; + if (result.getName().equals(name)) { + return result; + } + } + return null; + } + + /** + * Returns the 'Transceiver Band' literal with the specified integer value. + * + * + * @param value the integer value. + * @return the matching enumerator or null. + * @generated + */ + public static TransceiverBand get(int value) { + switch (value) { + case UHF_VALUE: + return UHF; + case X_VALUE: + return X; + case KA_VALUE: + return KA; + } + 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 TransceiverBand(int value, String name, String literal) { + this.value = value; + this.name = name; + this.literal = literal; + } + + /** + * + * + * @generated + */ + @Override + public int getValue() { + return value; + } + + /** + * + * + * @generated + */ + @Override + public String getName() { + return name; + } + + /** + * + * + * @generated + */ + @Override + public String getLiteral() { + return literal; + } + + /** + * Returns the literal value of the enumerator, which is its string representation. + * + * + * @generated + */ + @Override + public String toString() { + return literal; + } + +} //TransceiverBand -- cgit v1.2.3-54-g00ecf