diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2019-07-09 20:49:10 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-07-09 20:49:10 +0200 |
commit | 9152a660dbfbf3294964233c76d6cf22111298ff (patch) | |
tree | ad181e0f7abbdd546dc6c8206fc318be26b9c992 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java | |
parent | Updated link to Alloy (diff) | |
download | VIATRA-Generator-9152a660dbfbf3294964233c76d6cf22111298ff.tar.gz VIATRA-Generator-9152a660dbfbf3294964233c76d6cf22111298ff.tar.zst VIATRA-Generator-9152a660dbfbf3294964233c76d6cf22111298ff.zip |
aggregated partial substitution + builder
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java index 6d370c0f..64ebdde1 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java | |||
@@ -3,6 +3,7 @@ | |||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl; | 3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression; |
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And; | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And; |
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion; | 8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion; |
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm; | 9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm; |
@@ -548,6 +549,13 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
548 | private EClass projectedAggregateExpressionEClass = null; | 549 | private EClass projectedAggregateExpressionEClass = null; |
549 | 550 | ||
550 | /** | 551 | /** |
552 | * <!-- begin-user-doc --> | ||
553 | * <!-- end-user-doc --> | ||
554 | * @generated | ||
555 | */ | ||
556 | private EClass aggregatedParameterSubstitutionEClass = null; | ||
557 | |||
558 | /** | ||
551 | * Creates an instance of the model <b>Package</b>, registered with | 559 | * Creates an instance of the model <b>Package</b>, registered with |
552 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | 560 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package |
553 | * package URI value. | 561 | * package URI value. |
@@ -1874,6 +1882,16 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
1874 | * @generated | 1882 | * @generated |
1875 | */ | 1883 | */ |
1876 | @Override | 1884 | @Override |
1885 | public EReference getAggregateExpression_ParameterSubstitution() { | ||
1886 | return (EReference)aggregateExpressionEClass.getEStructuralFeatures().get(1); | ||
1887 | } | ||
1888 | |||
1889 | /** | ||
1890 | * <!-- begin-user-doc --> | ||
1891 | * <!-- end-user-doc --> | ||
1892 | * @generated | ||
1893 | */ | ||
1894 | @Override | ||
1877 | public EClass getSum() { | 1895 | public EClass getSum() { |
1878 | return sumEClass; | 1896 | return sumEClass; |
1879 | } | 1897 | } |
@@ -1934,6 +1952,26 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
1934 | * @generated | 1952 | * @generated |
1935 | */ | 1953 | */ |
1936 | @Override | 1954 | @Override |
1955 | public EClass getAggregatedParameterSubstitution() { | ||
1956 | return aggregatedParameterSubstitutionEClass; | ||
1957 | } | ||
1958 | |||
1959 | /** | ||
1960 | * <!-- begin-user-doc --> | ||
1961 | * <!-- end-user-doc --> | ||
1962 | * @generated | ||
1963 | */ | ||
1964 | @Override | ||
1965 | public EReference getAggregatedParameterSubstitution_Variable() { | ||
1966 | return (EReference)aggregatedParameterSubstitutionEClass.getEStructuralFeatures().get(0); | ||
1967 | } | ||
1968 | |||
1969 | /** | ||
1970 | * <!-- begin-user-doc --> | ||
1971 | * <!-- end-user-doc --> | ||
1972 | * @generated | ||
1973 | */ | ||
1974 | @Override | ||
1937 | public LogiclanguageFactory getLogiclanguageFactory() { | 1975 | public LogiclanguageFactory getLogiclanguageFactory() { |
1938 | return (LogiclanguageFactory)getEFactoryInstance(); | 1976 | return (LogiclanguageFactory)getEFactoryInstance(); |
1939 | } | 1977 | } |
@@ -2141,6 +2179,7 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
2141 | 2179 | ||
2142 | aggregateExpressionEClass = createEClass(AGGREGATE_EXPRESSION); | 2180 | aggregateExpressionEClass = createEClass(AGGREGATE_EXPRESSION); |
2143 | createEReference(aggregateExpressionEClass, AGGREGATE_EXPRESSION__RELATION); | 2181 | createEReference(aggregateExpressionEClass, AGGREGATE_EXPRESSION__RELATION); |
2182 | createEReference(aggregateExpressionEClass, AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION); | ||
2144 | 2183 | ||
2145 | sumEClass = createEClass(SUM); | 2184 | sumEClass = createEClass(SUM); |
2146 | 2185 | ||
@@ -2152,6 +2191,9 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
2152 | 2191 | ||
2153 | projectedAggregateExpressionEClass = createEClass(PROJECTED_AGGREGATE_EXPRESSION); | 2192 | projectedAggregateExpressionEClass = createEClass(PROJECTED_AGGREGATE_EXPRESSION); |
2154 | createEAttribute(projectedAggregateExpressionEClass, PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX); | 2193 | createEAttribute(projectedAggregateExpressionEClass, PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX); |
2194 | |||
2195 | aggregatedParameterSubstitutionEClass = createEClass(AGGREGATED_PARAMETER_SUBSTITUTION); | ||
2196 | createEReference(aggregatedParameterSubstitutionEClass, AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE); | ||
2155 | } | 2197 | } |
2156 | 2198 | ||
2157 | /** | 2199 | /** |
@@ -2433,6 +2475,7 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
2433 | 2475 | ||
2434 | initEClass(aggregateExpressionEClass, AggregateExpression.class, "AggregateExpression", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2476 | initEClass(aggregateExpressionEClass, AggregateExpression.class, "AggregateExpression", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2435 | initEReference(getAggregateExpression_Relation(), this.getRelation(), null, "relation", null, 0, 1, AggregateExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2477 | initEReference(getAggregateExpression_Relation(), this.getRelation(), null, "relation", null, 0, 1, AggregateExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2478 | initEReference(getAggregateExpression_ParameterSubstitution(), this.getAggregatedParameterSubstitution(), null, "parameterSubstitution", null, 0, -1, AggregateExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2436 | 2479 | ||
2437 | initEClass(sumEClass, Sum.class, "Sum", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2480 | initEClass(sumEClass, Sum.class, "Sum", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2438 | 2481 | ||
@@ -2445,6 +2488,9 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
2445 | initEClass(projectedAggregateExpressionEClass, ProjectedAggregateExpression.class, "ProjectedAggregateExpression", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2488 | initEClass(projectedAggregateExpressionEClass, ProjectedAggregateExpression.class, "ProjectedAggregateExpression", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2446 | initEAttribute(getProjectedAggregateExpression_ProjectionIndex(), ecorePackage.getEInt(), "projectionIndex", "-1", 1, 1, ProjectedAggregateExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2489 | initEAttribute(getProjectedAggregateExpression_ProjectionIndex(), ecorePackage.getEInt(), "projectionIndex", "-1", 1, 1, ProjectedAggregateExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2447 | 2490 | ||
2491 | initEClass(aggregatedParameterSubstitutionEClass, AggregatedParameterSubstitution.class, "AggregatedParameterSubstitution", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2492 | initEReference(getAggregatedParameterSubstitution_Variable(), this.getVariable(), null, "variable", null, 0, 1, AggregatedParameterSubstitution.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2493 | |||
2448 | // Create resource | 2494 | // Create resource |
2449 | createResource(eNS_URI); | 2495 | createResource(eNS_URI); |
2450 | } | 2496 | } |