From b77c6762fb0f784811614e2bd53d5a74cdf866c0 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Fri, 14 Sep 2018 16:39:37 +0200 Subject: Alloy support for string literals --- .../alloyLanguage/AlloyLanguagePackage.java | 226 +++++++++++++++++---- 1 file changed, 190 insertions(+), 36 deletions(-) (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java') diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java index 50e3d607..38d225e3 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java @@ -768,6 +768,34 @@ public interface AlloyLanguagePackage extends EPackage */ int ALS_INT_SCOPE_FEATURE_COUNT = ALS_TYPE_SCOPE_FEATURE_COUNT + 0; + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl ALS String Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringScope() + * @generated + */ + int ALS_STRING_SCOPE = 18; + + /** + * The feature id for the 'Number' attribute. + * + * + * @generated + * @ordered + */ + int ALS_STRING_SCOPE__NUMBER = ALS_TYPE_SCOPE__NUMBER; + + /** + * The number of structural features of the 'ALS String Scope' class. + * + * + * @generated + * @ordered + */ + int ALS_STRING_SCOPE_FEATURE_COUNT = ALS_TYPE_SCOPE_FEATURE_COUNT + 0; + /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl ALS Quantified Ex}' class. * @@ -776,7 +804,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSQuantifiedEx() * @generated */ - int ALS_QUANTIFIED_EX = 18; + int ALS_QUANTIFIED_EX = 19; /** * The feature id for the 'Type' attribute. @@ -831,7 +859,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOr() * @generated */ - int ALS_OR = 19; + int ALS_OR = 20; /** * The feature id for the 'Left Operand' containment reference. @@ -868,7 +896,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIff() * @generated */ - int ALS_IFF = 20; + int ALS_IFF = 21; /** * The feature id for the 'Left Operand' containment reference. @@ -905,7 +933,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSImpl() * @generated */ - int ALS_IMPL = 21; + int ALS_IMPL = 22; /** * The feature id for the 'Left Operand' containment reference. @@ -951,7 +979,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSAnd() * @generated */ - int ALS_AND = 22; + int ALS_AND = 23; /** * The feature id for the 'Left Operand' containment reference. @@ -988,7 +1016,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEquals() * @generated */ - int ALS_EQUALS = 23; + int ALS_EQUALS = 24; /** * The feature id for the 'Left Operand' containment reference. @@ -1025,7 +1053,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNotEquals() * @generated */ - int ALS_NOT_EQUALS = 24; + int ALS_NOT_EQUALS = 25; /** * The feature id for the 'Left Operand' containment reference. @@ -1062,7 +1090,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSubset() * @generated */ - int ALS_SUBSET = 25; + int ALS_SUBSET = 26; /** * The feature id for the 'Left Operand' containment reference. @@ -1099,7 +1127,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLess() * @generated */ - int ALS_LESS = 26; + int ALS_LESS = 27; /** * The feature id for the 'Left Operand' containment reference. @@ -1136,7 +1164,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLeq() * @generated */ - int ALS_LEQ = 27; + int ALS_LEQ = 28; /** * The feature id for the 'Left Operand' containment reference. @@ -1173,7 +1201,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMore() * @generated */ - int ALS_MORE = 28; + int ALS_MORE = 29; /** * The feature id for the 'Left Operand' containment reference. @@ -1210,7 +1238,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMeq() * @generated */ - int ALS_MEQ = 29; + int ALS_MEQ = 30; /** * The feature id for the 'Left Operand' containment reference. @@ -1247,7 +1275,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOverride() * @generated */ - int ALS_OVERRIDE = 30; + int ALS_OVERRIDE = 31; /** * The feature id for the 'Left Operand' containment reference. @@ -1284,7 +1312,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionRight() * @generated */ - int ALS_RANGE_RESTRICTION_RIGHT = 31; + int ALS_RANGE_RESTRICTION_RIGHT = 32; /** * The feature id for the 'Relation' containment reference. @@ -1321,7 +1349,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionLeft() * @generated */ - int ALS_RANGE_RESTRICTION_LEFT = 32; + int ALS_RANGE_RESTRICTION_LEFT = 33; /** * The feature id for the 'Filter' containment reference. @@ -1358,7 +1386,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSJoin() * @generated */ - int ALS_JOIN = 33; + int ALS_JOIN = 34; /** * The feature id for the 'Left Operand' containment reference. @@ -1395,7 +1423,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMinus() * @generated */ - int ALS_MINUS = 34; + int ALS_MINUS = 35; /** * The feature id for the 'Left Operand' containment reference. @@ -1432,7 +1460,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSPlus() * @generated */ - int ALS_PLUS = 35; + int ALS_PLUS = 36; /** * The feature id for the 'Left Operand' containment reference. @@ -1469,7 +1497,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIntersection() * @generated */ - int ALS_INTERSECTION = 36; + int ALS_INTERSECTION = 37; /** * The feature id for the 'Left Operand' containment reference. @@ -1506,7 +1534,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDirectProduct() * @generated */ - int ALS_DIRECT_PRODUCT = 37; + int ALS_DIRECT_PRODUCT = 38; /** * The feature id for the 'Left Operand' containment reference. @@ -1561,7 +1589,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNot() * @generated */ - int ALS_NOT = 38; + int ALS_NOT = 39; /** * The feature id for the 'Operand' containment reference. @@ -1589,7 +1617,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInverseRelation() * @generated */ - int ALS_INVERSE_RELATION = 39; + int ALS_INVERSE_RELATION = 40; /** * The feature id for the 'Operand' containment reference. @@ -1617,7 +1645,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getAlSTransitiveClosure() * @generated */ - int AL_STRANSITIVE_CLOSURE = 40; + int AL_STRANSITIVE_CLOSURE = 41; /** * The feature id for the 'Operand' containment reference. @@ -1645,7 +1673,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReflectiveTransitiveClosure() * @generated */ - int ALS_REFLECTIVE_TRANSITIVE_CLOSURE = 41; + int ALS_REFLECTIVE_TRANSITIVE_CLOSURE = 42; /** * The feature id for the 'Operand' containment reference. @@ -1673,7 +1701,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSCardinality() * @generated */ - int ALS_CARDINALITY = 42; + int ALS_CARDINALITY = 43; /** * The feature id for the 'Operand' containment reference. @@ -1701,7 +1729,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUnaryMinus() * @generated */ - int ALS_UNARY_MINUS = 43; + int ALS_UNARY_MINUS = 44; /** * The feature id for the 'Operand' containment reference. @@ -1729,7 +1757,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSum() * @generated */ - int ALS_SUM = 44; + int ALS_SUM = 45; /** * The feature id for the 'Variables' containment reference list. @@ -1766,7 +1794,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFunctionCall() * @generated */ - int ALS_FUNCTION_CALL = 45; + int ALS_FUNCTION_CALL = 46; /** * The feature id for the 'Referred Definition' reference. @@ -1812,7 +1840,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNone() * @generated */ - int ALS_NONE = 46; + int ALS_NONE = 47; /** * The number of structural features of the 'ALS None' class. @@ -1831,7 +1859,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIden() * @generated */ - int ALS_IDEN = 47; + int ALS_IDEN = 48; /** * The number of structural features of the 'ALS Iden' class. @@ -1850,7 +1878,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUniv() * @generated */ - int ALS_UNIV = 48; + int ALS_UNIV = 49; /** * The number of structural features of the 'ALS Univ' class. @@ -1869,7 +1897,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInt() * @generated */ - int ALS_INT = 49; + int ALS_INT = 50; /** * The number of structural features of the 'ALS Int' class. @@ -1880,6 +1908,25 @@ public interface AlloyLanguagePackage extends EPackage */ int ALS_INT_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl ALS String}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSString() + * @generated + */ + int ALS_STRING = 51; + + /** + * The number of structural features of the 'ALS String' class. + * + * + * @generated + * @ordered + */ + int ALS_STRING_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; + /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl ALS Reference}' class. * @@ -1888,7 +1935,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReference() * @generated */ - int ALS_REFERENCE = 50; + int ALS_REFERENCE = 52; /** * The feature id for the 'Referred' reference. @@ -1916,7 +1963,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumberLiteral() * @generated */ - int ALS_NUMBER_LITERAL = 51; + int ALS_NUMBER_LITERAL = 53; /** * The feature id for the 'Value' attribute. @@ -1936,6 +1983,34 @@ public interface AlloyLanguagePackage extends EPackage */ int ALS_NUMBER_LITERAL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl ALS String Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringLiteral() + * @generated + */ + int ALS_STRING_LITERAL = 54; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int ALS_STRING_LITERAL__VALUE = ALS_TERM_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'ALS String Literal' class. + * + * + * @generated + * @ordered + */ + int ALS_STRING_LITERAL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; + /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity ALS Multiplicity}' enum. * @@ -1944,7 +2019,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMultiplicity() * @generated */ - int ALS_MULTIPLICITY = 52; + int ALS_MULTIPLICITY = 55; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator ALS Numeric Operator}' enum. @@ -1954,7 +2029,7 @@ public interface AlloyLanguagePackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumericOperator() * @generated */ - int ALS_NUMERIC_OPERATOR = 53; + int ALS_NUMERIC_OPERATOR = 56; /** @@ -2434,6 +2509,16 @@ public interface AlloyLanguagePackage extends EPackage */ EClass getALSIntScope(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope ALS String Scope}'. + * + * + * @return the meta object for class 'ALS String Scope'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope + * @generated + */ + EClass getALSStringScope(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx ALS Quantified Ex}'. * @@ -3370,6 +3455,16 @@ public interface AlloyLanguagePackage extends EPackage */ EClass getALSInt(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString ALS String}'. + * + * + * @return the meta object for class 'ALS String'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString + * @generated + */ + EClass getALSString(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference ALS Reference}'. * @@ -3412,6 +3507,27 @@ public interface AlloyLanguagePackage extends EPackage */ EAttribute getALSNumberLiteral_Value(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral ALS String Literal}'. + * + * + * @return the meta object for class 'ALS String Literal'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral + * @generated + */ + EClass getALSStringLiteral(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral#getValue() + * @see #getALSStringLiteral() + * @generated + */ + EAttribute getALSStringLiteral_Value(); + /** * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity ALS Multiplicity}'. * @@ -3851,6 +3967,16 @@ public interface AlloyLanguagePackage extends EPackage */ EClass ALS_INT_SCOPE = eINSTANCE.getALSIntScope(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl ALS String Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringScope() + * @generated + */ + EClass ALS_STRING_SCOPE = eINSTANCE.getALSStringScope(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl ALS Quantified Ex}' class. * @@ -4619,6 +4745,16 @@ public interface AlloyLanguagePackage extends EPackage */ EClass ALS_INT = eINSTANCE.getALSInt(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl ALS String}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSString() + * @generated + */ + EClass ALS_STRING = eINSTANCE.getALSString(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl ALS Reference}' class. * @@ -4655,6 +4791,24 @@ public interface AlloyLanguagePackage extends EPackage */ EAttribute ALS_NUMBER_LITERAL__VALUE = eINSTANCE.getALSNumberLiteral_Value(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl ALS String Literal}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl + * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringLiteral() + * @generated + */ + EClass ALS_STRING_LITERAL = eINSTANCE.getALSStringLiteral(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute ALS_STRING_LITERAL__VALUE = eINSTANCE.getALSStringLiteral_Value(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity ALS Multiplicity}' enum. * -- cgit v1.2.3-70-g09d2