diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java index 1fd90aa9..6227ccd3 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java | |||
@@ -47,6 +47,9 @@ import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand; | |||
47 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope; | 47 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope; |
48 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; | 48 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; |
49 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; | 49 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; |
50 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString; | ||
51 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral; | ||
52 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope; | ||
50 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset; | 53 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset; |
51 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum; | 54 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum; |
52 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; | 55 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; |
@@ -206,6 +209,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
206 | * <!-- end-user-doc --> | 209 | * <!-- end-user-doc --> |
207 | * @generated | 210 | * @generated |
208 | */ | 211 | */ |
212 | private EClass alsStringScopeEClass = null; | ||
213 | |||
214 | /** | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
209 | private EClass alsQuantifiedExEClass = null; | 219 | private EClass alsQuantifiedExEClass = null; |
210 | 220 | ||
211 | /** | 221 | /** |
@@ -430,6 +440,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
430 | * <!-- end-user-doc --> | 440 | * <!-- end-user-doc --> |
431 | * @generated | 441 | * @generated |
432 | */ | 442 | */ |
443 | private EClass alsStringEClass = null; | ||
444 | |||
445 | /** | ||
446 | * <!-- begin-user-doc --> | ||
447 | * <!-- end-user-doc --> | ||
448 | * @generated | ||
449 | */ | ||
433 | private EClass alsReferenceEClass = null; | 450 | private EClass alsReferenceEClass = null; |
434 | 451 | ||
435 | /** | 452 | /** |
@@ -444,6 +461,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
444 | * <!-- end-user-doc --> | 461 | * <!-- end-user-doc --> |
445 | * @generated | 462 | * @generated |
446 | */ | 463 | */ |
464 | private EClass alsStringLiteralEClass = null; | ||
465 | |||
466 | /** | ||
467 | * <!-- begin-user-doc --> | ||
468 | * <!-- end-user-doc --> | ||
469 | * @generated | ||
470 | */ | ||
447 | private EEnum alsMultiplicityEEnum = null; | 471 | private EEnum alsMultiplicityEEnum = null; |
448 | 472 | ||
449 | /** | 473 | /** |
@@ -971,6 +995,16 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
971 | * <!-- end-user-doc --> | 995 | * <!-- end-user-doc --> |
972 | * @generated | 996 | * @generated |
973 | */ | 997 | */ |
998 | public EClass getALSStringScope() | ||
999 | { | ||
1000 | return alsStringScopeEClass; | ||
1001 | } | ||
1002 | |||
1003 | /** | ||
1004 | * <!-- begin-user-doc --> | ||
1005 | * <!-- end-user-doc --> | ||
1006 | * @generated | ||
1007 | */ | ||
974 | public EClass getALSQuantifiedEx() | 1008 | public EClass getALSQuantifiedEx() |
975 | { | 1009 | { |
976 | return alsQuantifiedExEClass; | 1010 | return alsQuantifiedExEClass; |
@@ -1851,6 +1885,16 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1851 | * <!-- end-user-doc --> | 1885 | * <!-- end-user-doc --> |
1852 | * @generated | 1886 | * @generated |
1853 | */ | 1887 | */ |
1888 | public EClass getALSString() | ||
1889 | { | ||
1890 | return alsStringEClass; | ||
1891 | } | ||
1892 | |||
1893 | /** | ||
1894 | * <!-- begin-user-doc --> | ||
1895 | * <!-- end-user-doc --> | ||
1896 | * @generated | ||
1897 | */ | ||
1854 | public EClass getALSReference() | 1898 | public EClass getALSReference() |
1855 | { | 1899 | { |
1856 | return alsReferenceEClass; | 1900 | return alsReferenceEClass; |
@@ -1891,6 +1935,26 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1891 | * <!-- end-user-doc --> | 1935 | * <!-- end-user-doc --> |
1892 | * @generated | 1936 | * @generated |
1893 | */ | 1937 | */ |
1938 | public EClass getALSStringLiteral() | ||
1939 | { | ||
1940 | return alsStringLiteralEClass; | ||
1941 | } | ||
1942 | |||
1943 | /** | ||
1944 | * <!-- begin-user-doc --> | ||
1945 | * <!-- end-user-doc --> | ||
1946 | * @generated | ||
1947 | */ | ||
1948 | public EAttribute getALSStringLiteral_Value() | ||
1949 | { | ||
1950 | return (EAttribute)alsStringLiteralEClass.getEStructuralFeatures().get(0); | ||
1951 | } | ||
1952 | |||
1953 | /** | ||
1954 | * <!-- begin-user-doc --> | ||
1955 | * <!-- end-user-doc --> | ||
1956 | * @generated | ||
1957 | */ | ||
1894 | public EEnum getALSMultiplicity() | 1958 | public EEnum getALSMultiplicity() |
1895 | { | 1959 | { |
1896 | return alsMultiplicityEEnum; | 1960 | return alsMultiplicityEEnum; |
@@ -1999,6 +2063,8 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1999 | 2063 | ||
2000 | alsIntScopeEClass = createEClass(ALS_INT_SCOPE); | 2064 | alsIntScopeEClass = createEClass(ALS_INT_SCOPE); |
2001 | 2065 | ||
2066 | alsStringScopeEClass = createEClass(ALS_STRING_SCOPE); | ||
2067 | |||
2002 | alsQuantifiedExEClass = createEClass(ALS_QUANTIFIED_EX); | 2068 | alsQuantifiedExEClass = createEClass(ALS_QUANTIFIED_EX); |
2003 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__TYPE); | 2069 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__TYPE); |
2004 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__DISJ); | 2070 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__DISJ); |
@@ -2119,12 +2185,17 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2119 | 2185 | ||
2120 | alsIntEClass = createEClass(ALS_INT); | 2186 | alsIntEClass = createEClass(ALS_INT); |
2121 | 2187 | ||
2188 | alsStringEClass = createEClass(ALS_STRING); | ||
2189 | |||
2122 | alsReferenceEClass = createEClass(ALS_REFERENCE); | 2190 | alsReferenceEClass = createEClass(ALS_REFERENCE); |
2123 | createEReference(alsReferenceEClass, ALS_REFERENCE__REFERRED); | 2191 | createEReference(alsReferenceEClass, ALS_REFERENCE__REFERRED); |
2124 | 2192 | ||
2125 | alsNumberLiteralEClass = createEClass(ALS_NUMBER_LITERAL); | 2193 | alsNumberLiteralEClass = createEClass(ALS_NUMBER_LITERAL); |
2126 | createEAttribute(alsNumberLiteralEClass, ALS_NUMBER_LITERAL__VALUE); | 2194 | createEAttribute(alsNumberLiteralEClass, ALS_NUMBER_LITERAL__VALUE); |
2127 | 2195 | ||
2196 | alsStringLiteralEClass = createEClass(ALS_STRING_LITERAL); | ||
2197 | createEAttribute(alsStringLiteralEClass, ALS_STRING_LITERAL__VALUE); | ||
2198 | |||
2128 | // Create enums | 2199 | // Create enums |
2129 | alsMultiplicityEEnum = createEEnum(ALS_MULTIPLICITY); | 2200 | alsMultiplicityEEnum = createEEnum(ALS_MULTIPLICITY); |
2130 | alsNumericOperatorEEnum = createEEnum(ALS_NUMERIC_OPERATOR); | 2201 | alsNumericOperatorEEnum = createEEnum(ALS_NUMERIC_OPERATOR); |
@@ -2169,6 +2240,7 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2169 | alsVariableDeclarationEClass.getESuperTypes().add(this.getALSRelationDeclaration()); | 2240 | alsVariableDeclarationEClass.getESuperTypes().add(this.getALSRelationDeclaration()); |
2170 | alsSigScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | 2241 | alsSigScopeEClass.getESuperTypes().add(this.getALSTypeScope()); |
2171 | alsIntScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | 2242 | alsIntScopeEClass.getESuperTypes().add(this.getALSTypeScope()); |
2243 | alsStringScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | ||
2172 | alsQuantifiedExEClass.getESuperTypes().add(this.getALSTerm()); | 2244 | alsQuantifiedExEClass.getESuperTypes().add(this.getALSTerm()); |
2173 | alsOrEClass.getESuperTypes().add(this.getALSTerm()); | 2245 | alsOrEClass.getESuperTypes().add(this.getALSTerm()); |
2174 | alsIffEClass.getESuperTypes().add(this.getALSTerm()); | 2246 | alsIffEClass.getESuperTypes().add(this.getALSTerm()); |
@@ -2201,8 +2273,10 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2201 | alsIdenEClass.getESuperTypes().add(this.getALSTerm()); | 2273 | alsIdenEClass.getESuperTypes().add(this.getALSTerm()); |
2202 | alsUnivEClass.getESuperTypes().add(this.getALSTerm()); | 2274 | alsUnivEClass.getESuperTypes().add(this.getALSTerm()); |
2203 | alsIntEClass.getESuperTypes().add(this.getALSTerm()); | 2275 | alsIntEClass.getESuperTypes().add(this.getALSTerm()); |
2276 | alsStringEClass.getESuperTypes().add(this.getALSTerm()); | ||
2204 | alsReferenceEClass.getESuperTypes().add(this.getALSTerm()); | 2277 | alsReferenceEClass.getESuperTypes().add(this.getALSTerm()); |
2205 | alsNumberLiteralEClass.getESuperTypes().add(this.getALSTerm()); | 2278 | alsNumberLiteralEClass.getESuperTypes().add(this.getALSTerm()); |
2279 | alsStringLiteralEClass.getESuperTypes().add(this.getALSTerm()); | ||
2206 | 2280 | ||
2207 | // Initialize classes and features; add operations and parameters | 2281 | // Initialize classes and features; add operations and parameters |
2208 | initEClass(alsDocumentEClass, ALSDocument.class, "ALSDocument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2282 | initEClass(alsDocumentEClass, ALSDocument.class, "ALSDocument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -2268,6 +2342,8 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2268 | 2342 | ||
2269 | initEClass(alsIntScopeEClass, ALSIntScope.class, "ALSIntScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2343 | initEClass(alsIntScopeEClass, ALSIntScope.class, "ALSIntScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2270 | 2344 | ||
2345 | initEClass(alsStringScopeEClass, ALSStringScope.class, "ALSStringScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2346 | |||
2271 | initEClass(alsQuantifiedExEClass, ALSQuantifiedEx.class, "ALSQuantifiedEx", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2347 | initEClass(alsQuantifiedExEClass, ALSQuantifiedEx.class, "ALSQuantifiedEx", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2272 | initEAttribute(getALSQuantifiedEx_Type(), this.getALSMultiplicity(), "type", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2348 | initEAttribute(getALSQuantifiedEx_Type(), this.getALSMultiplicity(), "type", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2273 | initEAttribute(getALSQuantifiedEx_Disj(), ecorePackage.getEBoolean(), "disj", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2349 | initEAttribute(getALSQuantifiedEx_Disj(), ecorePackage.getEBoolean(), "disj", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -2388,12 +2464,17 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2388 | 2464 | ||
2389 | initEClass(alsIntEClass, ALSInt.class, "ALSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2465 | initEClass(alsIntEClass, ALSInt.class, "ALSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2390 | 2466 | ||
2467 | initEClass(alsStringEClass, ALSString.class, "ALSString", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2468 | |||
2391 | initEClass(alsReferenceEClass, ALSReference.class, "ALSReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2469 | initEClass(alsReferenceEClass, ALSReference.class, "ALSReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2392 | initEReference(getALSReference_Referred(), this.getALSRelationDeclaration(), null, "referred", null, 0, 1, ALSReference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2470 | initEReference(getALSReference_Referred(), this.getALSRelationDeclaration(), null, "referred", null, 0, 1, ALSReference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2393 | 2471 | ||
2394 | initEClass(alsNumberLiteralEClass, ALSNumberLiteral.class, "ALSNumberLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2472 | initEClass(alsNumberLiteralEClass, ALSNumberLiteral.class, "ALSNumberLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2395 | initEAttribute(getALSNumberLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, ALSNumberLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2473 | initEAttribute(getALSNumberLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, ALSNumberLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2396 | 2474 | ||
2475 | initEClass(alsStringLiteralEClass, ALSStringLiteral.class, "ALSStringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2476 | initEAttribute(getALSStringLiteral_Value(), ecorePackage.getEString(), "value", null, 0, 1, ALSStringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2477 | |||
2397 | // Initialize enums and add enum literals | 2478 | // Initialize enums and add enum literals |
2398 | initEEnum(alsMultiplicityEEnum, ALSMultiplicity.class, "ALSMultiplicity"); | 2479 | initEEnum(alsMultiplicityEEnum, ALSMultiplicity.class, "ALSMultiplicity"); |
2399 | addEEnumLiteral(alsMultiplicityEEnum, ALSMultiplicity.ALL); | 2480 | addEEnumLiteral(alsMultiplicityEEnum, ALSMultiplicity.ALL); |