From 42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 23 Jun 2020 15:17:00 +0200 Subject: New configuration language parser WIP --- .../solver/language/solverLanguage/Quantifier.java | 233 --------------------- 1 file changed, 233 deletions(-) delete mode 100644 Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/Quantifier.java (limited to 'Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/Quantifier.java') diff --git a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/Quantifier.java b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/Quantifier.java deleted file mode 100644 index 4c674fe0..00000000 --- a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/Quantifier.java +++ /dev/null @@ -1,233 +0,0 @@ -/** - * generated by Xtext 2.21.0 - */ -package org.eclipse.viatra.solver.language.solverLanguage; - -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 'Quantifier', - * and utility methods for working with them. - * - * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getQuantifier() - * @model - * @generated - */ -public enum Quantifier implements Enumerator { - /** - * The 'EXISTS' literal object. - * - * - * @see #EXISTS_VALUE - * @generated - * @ordered - */ - EXISTS(0, "EXISTS", "EXISTS"), - - /** - * The 'FORALL' literal object. - * - * - * @see #FORALL_VALUE - * @generated - * @ordered - */ - FORALL(1, "FORALL", "FORALL"), - - /** - * The 'COUNT' literal object. - * - * - * @see #COUNT_VALUE - * @generated - * @ordered - */ - COUNT(2, "COUNT", "COUNT"); - - /** - * The 'EXISTS' literal value. - * - * - * @see #EXISTS - * @model - * @generated - * @ordered - */ - public static final int EXISTS_VALUE = 0; - - /** - * The 'FORALL' literal value. - * - * - * @see #FORALL - * @model - * @generated - * @ordered - */ - public static final int FORALL_VALUE = 1; - - /** - * The 'COUNT' literal value. - * - * - * @see #COUNT - * @model - * @generated - * @ordered - */ - public static final int COUNT_VALUE = 2; - - /** - * An array of all the 'Quantifier' enumerators. - * - * - * @generated - */ - private static final Quantifier[] VALUES_ARRAY = - new Quantifier[] { - EXISTS, - FORALL, - COUNT, - }; - - /** - * A public read-only list of all the 'Quantifier' enumerators. - * - * - * @generated - */ - public static final List VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); - - /** - * Returns the 'Quantifier' literal with the specified literal value. - * - * - * @param literal the literal. - * @return the matching enumerator or null. - * @generated - */ - public static Quantifier get(String literal) { - for (int i = 0; i < VALUES_ARRAY.length; ++i) { - Quantifier result = VALUES_ARRAY[i]; - if (result.toString().equals(literal)) { - return result; - } - } - return null; - } - - /** - * Returns the 'Quantifier' literal with the specified name. - * - * - * @param name the name. - * @return the matching enumerator or null. - * @generated - */ - public static Quantifier getByName(String name) { - for (int i = 0; i < VALUES_ARRAY.length; ++i) { - Quantifier result = VALUES_ARRAY[i]; - if (result.getName().equals(name)) { - return result; - } - } - return null; - } - - /** - * Returns the 'Quantifier' literal with the specified integer value. - * - * - * @param value the integer value. - * @return the matching enumerator or null. - * @generated - */ - public static Quantifier get(int value) { - switch (value) { - case EXISTS_VALUE: return EXISTS; - case FORALL_VALUE: return FORALL; - case COUNT_VALUE: return COUNT; - } - 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 Quantifier(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; - } - -} //Quantifier -- cgit v1.2.3-54-g00ecf