From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 20 Mar 2019 16:09:09 +0100 Subject: Fault tree transformation for partial models WIP --- .../dslreasoner/faulttree/model/cft/Modality.java | 244 +++++++++++++++++++++ 1 file changed, 244 insertions(+) create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java new file mode 100644 index 00000000..6b7dc1e4 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java @@ -0,0 +1,244 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +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 'Modality', + * and utility methods for working with them. + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getModality() + * @model + * @generated + */ +public enum Modality implements Enumerator { + /** + * The 'MAY' literal object. + * + * + * @see #MAY_VALUE + * @generated + * @ordered + */ + MAY(0, "MAY", "MAY"), + + /** + * The 'CURRENT' literal object. + * + * + * @see #CURRENT_VALUE + * @generated + * @ordered + */ + CURRENT(1, "CURRENT", "CURRENT"), + + /** + * The 'MUST' literal object. + * + * + * @see #MUST_VALUE + * @generated + * @ordered + */ + MUST(2, "MUST", "MUST"); + + /** + * The 'MAY' literal value. + * + *

+ * If the meaning of 'MAY' literal object isn't clear, + * there really should be more of a description here... + *

+ * + * @see #MAY + * @model + * @generated + * @ordered + */ + public static final int MAY_VALUE = 0; + + /** + * The 'CURRENT' literal value. + * + *

+ * If the meaning of 'CURRENT' literal object isn't clear, + * there really should be more of a description here... + *

+ * + * @see #CURRENT + * @model + * @generated + * @ordered + */ + public static final int CURRENT_VALUE = 1; + + /** + * The 'MUST' literal value. + * + *

+ * If the meaning of 'MUST' literal object isn't clear, + * there really should be more of a description here... + *

+ * + * @see #MUST + * @model + * @generated + * @ordered + */ + public static final int MUST_VALUE = 2; + + /** + * An array of all the 'Modality' enumerators. + * + * + * @generated + */ + private static final Modality[] VALUES_ARRAY = + new Modality[] { + MAY, + CURRENT, + MUST, + }; + + /** + * A public read-only list of all the 'Modality' enumerators. + * + * + * @generated + */ + public static final List VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); + + /** + * Returns the 'Modality' literal with the specified literal value. + * + * + * @param literal the literal. + * @return the matching enumerator or null. + * @generated + */ + public static Modality get(String literal) { + for (int i = 0; i < VALUES_ARRAY.length; ++i) { + Modality result = VALUES_ARRAY[i]; + if (result.toString().equals(literal)) { + return result; + } + } + return null; + } + + /** + * Returns the 'Modality' literal with the specified name. + * + * + * @param name the name. + * @return the matching enumerator or null. + * @generated + */ + public static Modality getByName(String name) { + for (int i = 0; i < VALUES_ARRAY.length; ++i) { + Modality result = VALUES_ARRAY[i]; + if (result.getName().equals(name)) { + return result; + } + } + return null; + } + + /** + * Returns the 'Modality' literal with the specified integer value. + * + * + * @param value the integer value. + * @return the matching enumerator or null. + * @generated + */ + public static Modality get(int value) { + switch (value) { + case MAY_VALUE: return MAY; + case CURRENT_VALUE: return CURRENT; + case MUST_VALUE: return MUST; + } + 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 Modality(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; + } + +} //Modality -- cgit v1.2.3-70-g09d2