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 --- .../applicationConfiguration/Solver.java | 517 +++++++++++---------- 1 file changed, 260 insertions(+), 257 deletions(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java index e2750467..9bd03568 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java @@ -1,257 +1,260 @@ -/** - * generated by Xtext 2.12.0 - */ -package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; - -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 'Solver', - * and utility methods for working with them. - * - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getSolver() - * @model - * @generated - */ -public enum Solver implements Enumerator -{ - /** - * The 'SMT Solver' literal object. - * - * - * @see #SMT_SOLVER_VALUE - * @generated - * @ordered - */ - SMT_SOLVER(0, "SMTSolver", "SMTSolver"), - - /** - * The 'Alloy Solver' literal object. - * - * - * @see #ALLOY_SOLVER_VALUE - * @generated - * @ordered - */ - ALLOY_SOLVER(1, "AlloySolver", "AlloySolver"), - - /** - * The 'Viatra Solver' literal object. - * - * - * @see #VIATRA_SOLVER_VALUE - * @generated - * @ordered - */ - VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver"); - - /** - * The 'SMT Solver' literal value. - * - *

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

- * - * @see #SMT_SOLVER - * @model name="SMTSolver" - * @generated - * @ordered - */ - public static final int SMT_SOLVER_VALUE = 0; - - /** - * The 'Alloy Solver' literal value. - * - *

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

- * - * @see #ALLOY_SOLVER - * @model name="AlloySolver" - * @generated - * @ordered - */ - public static final int ALLOY_SOLVER_VALUE = 1; - - /** - * The 'Viatra Solver' literal value. - * - *

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

- * - * @see #VIATRA_SOLVER - * @model name="ViatraSolver" - * @generated - * @ordered - */ - public static final int VIATRA_SOLVER_VALUE = 2; - - /** - * An array of all the 'Solver' enumerators. - * - * - * @generated - */ - private static final Solver[] VALUES_ARRAY = - new Solver[] - { - SMT_SOLVER, - ALLOY_SOLVER, - VIATRA_SOLVER, - }; - - /** - * A public read-only list of all the 'Solver' enumerators. - * - * - * @generated - */ - public static final List VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); - - /** - * Returns the 'Solver' literal with the specified literal value. - * - * - * @param literal the literal. - * @return the matching enumerator or null. - * @generated - */ - public static Solver get(String literal) - { - for (int i = 0; i < VALUES_ARRAY.length; ++i) - { - Solver result = VALUES_ARRAY[i]; - if (result.toString().equals(literal)) - { - return result; - } - } - return null; - } - - /** - * Returns the 'Solver' literal with the specified name. - * - * - * @param name the name. - * @return the matching enumerator or null. - * @generated - */ - public static Solver getByName(String name) - { - for (int i = 0; i < VALUES_ARRAY.length; ++i) - { - Solver result = VALUES_ARRAY[i]; - if (result.getName().equals(name)) - { - return result; - } - } - return null; - } - - /** - * Returns the 'Solver' literal with the specified integer value. - * - * - * @param value the integer value. - * @return the matching enumerator or null. - * @generated - */ - public static Solver get(int value) - { - switch (value) - { - case SMT_SOLVER_VALUE: return SMT_SOLVER; - case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER; - case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER; - } - 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 Solver(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; - } - -} //Solver +/** + * generated by Xtext 2.16.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + +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 'Solver', + * and utility methods for working with them. + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getSolver() + * @model + * @generated + */ +public enum Solver implements Enumerator +{ + /** + * The 'SMT Solver' literal object. + * + * + * @see #SMT_SOLVER_VALUE + * @generated + * @ordered + */ + SMT_SOLVER(0, "SMTSolver", "SMTSolver"), + + /** + * The 'Alloy Solver' literal object. + * + * + * @see #ALLOY_SOLVER_VALUE + * @generated + * @ordered + */ + ALLOY_SOLVER(1, "AlloySolver", "AlloySolver"), + + /** + * The 'Viatra Solver' literal object. + * + * + * @see #VIATRA_SOLVER_VALUE + * @generated + * @ordered + */ + VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver"); + + /** + * The 'SMT Solver' literal value. + * + *

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

+ * + * @see #SMT_SOLVER + * @model name="SMTSolver" + * @generated + * @ordered + */ + public static final int SMT_SOLVER_VALUE = 0; + + /** + * The 'Alloy Solver' literal value. + * + *

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

+ * + * @see #ALLOY_SOLVER + * @model name="AlloySolver" + * @generated + * @ordered + */ + public static final int ALLOY_SOLVER_VALUE = 1; + + /** + * The 'Viatra Solver' literal value. + * + *

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

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