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 | |
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')
10 files changed, 533 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/AggregateExpression.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/AggregateExpression.java index be146469..4b38becf 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/AggregateExpression.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/AggregateExpression.java | |||
@@ -2,6 +2,8 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; | 3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; |
4 | 4 | ||
5 | import org.eclipse.emf.common.util.EList; | ||
6 | |||
5 | 7 | ||
6 | /** | 8 | /** |
7 | * <!-- begin-user-doc --> | 9 | * <!-- begin-user-doc --> |
@@ -13,6 +15,7 @@ package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; | |||
13 | * </p> | 15 | * </p> |
14 | * <ul> | 16 | * <ul> |
15 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression#getRelation <em>Relation</em>}</li> | 17 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression#getRelation <em>Relation</em>}</li> |
18 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression#getParameterSubstitution <em>Parameter Substitution</em>}</li> | ||
16 | * </ul> | 19 | * </ul> |
17 | * | 20 | * |
18 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getAggregateExpression() | 21 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getAggregateExpression() |
@@ -46,4 +49,16 @@ public interface AggregateExpression extends Term { | |||
46 | */ | 49 | */ |
47 | void setRelation(Relation value); | 50 | void setRelation(Relation value); |
48 | 51 | ||
52 | /** | ||
53 | * Returns the value of the '<em><b>Parameter Substitution</b></em>' containment reference list. | ||
54 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution}. | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @return the value of the '<em>Parameter Substitution</em>' containment reference list. | ||
58 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getAggregateExpression_ParameterSubstitution() | ||
59 | * @model containment="true" | ||
60 | * @generated | ||
61 | */ | ||
62 | EList<AggregatedParameterSubstitution> getParameterSubstitution(); | ||
63 | |||
49 | } // AggregateExpression | 64 | } // AggregateExpression |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/AggregatedParameterSubstitution.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/AggregatedParameterSubstitution.java new file mode 100644 index 00000000..94b6365d --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/AggregatedParameterSubstitution.java | |||
@@ -0,0 +1,46 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EObject; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * A representation of the model object '<em><b>Aggregated Parameter Substitution</b></em>'. | ||
10 | * <!-- end-user-doc --> | ||
11 | * | ||
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution#getVariable <em>Variable</em>}</li> | ||
17 | * </ul> | ||
18 | * | ||
19 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getAggregatedParameterSubstitution() | ||
20 | * @model | ||
21 | * @generated | ||
22 | */ | ||
23 | public interface AggregatedParameterSubstitution extends EObject { | ||
24 | /** | ||
25 | * Returns the value of the '<em><b>Variable</b></em>' reference. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <!-- end-user-doc --> | ||
28 | * @return the value of the '<em>Variable</em>' reference. | ||
29 | * @see #setVariable(Variable) | ||
30 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getAggregatedParameterSubstitution_Variable() | ||
31 | * @model | ||
32 | * @generated | ||
33 | */ | ||
34 | Variable getVariable(); | ||
35 | |||
36 | /** | ||
37 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution#getVariable <em>Variable</em>}' reference. | ||
38 | * <!-- begin-user-doc --> | ||
39 | * <!-- end-user-doc --> | ||
40 | * @param value the new value of the '<em>Variable</em>' reference. | ||
41 | * @see #getVariable() | ||
42 | * @generated | ||
43 | */ | ||
44 | void setVariable(Variable value); | ||
45 | |||
46 | } // AggregatedParameterSubstitution | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java index a6b0a790..33d79329 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java | |||
@@ -454,6 +454,15 @@ public interface LogiclanguageFactory extends EFactory { | |||
454 | Max createMax(); | 454 | Max createMax(); |
455 | 455 | ||
456 | /** | 456 | /** |
457 | * Returns a new object of class '<em>Aggregated Parameter Substitution</em>'. | ||
458 | * <!-- begin-user-doc --> | ||
459 | * <!-- end-user-doc --> | ||
460 | * @return a new object of class '<em>Aggregated Parameter Substitution</em>'. | ||
461 | * @generated | ||
462 | */ | ||
463 | AggregatedParameterSubstitution createAggregatedParameterSubstitution(); | ||
464 | |||
465 | /** | ||
457 | * Returns the package supported by this factory. | 466 | * Returns the package supported by this factory. |
458 | * <!-- begin-user-doc --> | 467 | * <!-- begin-user-doc --> |
459 | * <!-- end-user-doc --> | 468 | * <!-- end-user-doc --> |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java index ddfb75a2..f5347e31 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java | |||
@@ -2751,13 +2751,22 @@ public interface LogiclanguagePackage extends EPackage { | |||
2751 | int AGGREGATE_EXPRESSION__RELATION = TERM_FEATURE_COUNT + 0; | 2751 | int AGGREGATE_EXPRESSION__RELATION = TERM_FEATURE_COUNT + 0; |
2752 | 2752 | ||
2753 | /** | 2753 | /** |
2754 | * The feature id for the '<em><b>Parameter Substitution</b></em>' containment reference list. | ||
2755 | * <!-- begin-user-doc --> | ||
2756 | * <!-- end-user-doc --> | ||
2757 | * @generated | ||
2758 | * @ordered | ||
2759 | */ | ||
2760 | int AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION = TERM_FEATURE_COUNT + 1; | ||
2761 | |||
2762 | /** | ||
2754 | * The number of structural features of the '<em>Aggregate Expression</em>' class. | 2763 | * The number of structural features of the '<em>Aggregate Expression</em>' class. |
2755 | * <!-- begin-user-doc --> | 2764 | * <!-- begin-user-doc --> |
2756 | * <!-- end-user-doc --> | 2765 | * <!-- end-user-doc --> |
2757 | * @generated | 2766 | * @generated |
2758 | * @ordered | 2767 | * @ordered |
2759 | */ | 2768 | */ |
2760 | int AGGREGATE_EXPRESSION_FEATURE_COUNT = TERM_FEATURE_COUNT + 1; | 2769 | int AGGREGATE_EXPRESSION_FEATURE_COUNT = TERM_FEATURE_COUNT + 2; |
2761 | 2770 | ||
2762 | /** | 2771 | /** |
2763 | * The number of operations of the '<em>Aggregate Expression</em>' class. | 2772 | * The number of operations of the '<em>Aggregate Expression</em>' class. |
@@ -2788,6 +2797,15 @@ public interface LogiclanguagePackage extends EPackage { | |||
2788 | int PROJECTED_AGGREGATE_EXPRESSION__RELATION = AGGREGATE_EXPRESSION__RELATION; | 2797 | int PROJECTED_AGGREGATE_EXPRESSION__RELATION = AGGREGATE_EXPRESSION__RELATION; |
2789 | 2798 | ||
2790 | /** | 2799 | /** |
2800 | * The feature id for the '<em><b>Parameter Substitution</b></em>' containment reference list. | ||
2801 | * <!-- begin-user-doc --> | ||
2802 | * <!-- end-user-doc --> | ||
2803 | * @generated | ||
2804 | * @ordered | ||
2805 | */ | ||
2806 | int PROJECTED_AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION = AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION; | ||
2807 | |||
2808 | /** | ||
2791 | * The feature id for the '<em><b>Projection Index</b></em>' attribute. | 2809 | * The feature id for the '<em><b>Projection Index</b></em>' attribute. |
2792 | * <!-- begin-user-doc --> | 2810 | * <!-- begin-user-doc --> |
2793 | * <!-- end-user-doc --> | 2811 | * <!-- end-user-doc --> |
@@ -2834,6 +2852,15 @@ public interface LogiclanguagePackage extends EPackage { | |||
2834 | int SUM__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; | 2852 | int SUM__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; |
2835 | 2853 | ||
2836 | /** | 2854 | /** |
2855 | * The feature id for the '<em><b>Parameter Substitution</b></em>' containment reference list. | ||
2856 | * <!-- begin-user-doc --> | ||
2857 | * <!-- end-user-doc --> | ||
2858 | * @generated | ||
2859 | * @ordered | ||
2860 | */ | ||
2861 | int SUM__PARAMETER_SUBSTITUTION = PROJECTED_AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION; | ||
2862 | |||
2863 | /** | ||
2837 | * The feature id for the '<em><b>Projection Index</b></em>' attribute. | 2864 | * The feature id for the '<em><b>Projection Index</b></em>' attribute. |
2838 | * <!-- begin-user-doc --> | 2865 | * <!-- begin-user-doc --> |
2839 | * <!-- end-user-doc --> | 2866 | * <!-- end-user-doc --> |
@@ -2880,6 +2907,15 @@ public interface LogiclanguagePackage extends EPackage { | |||
2880 | int COUNT__RELATION = AGGREGATE_EXPRESSION__RELATION; | 2907 | int COUNT__RELATION = AGGREGATE_EXPRESSION__RELATION; |
2881 | 2908 | ||
2882 | /** | 2909 | /** |
2910 | * The feature id for the '<em><b>Parameter Substitution</b></em>' containment reference list. | ||
2911 | * <!-- begin-user-doc --> | ||
2912 | * <!-- end-user-doc --> | ||
2913 | * @generated | ||
2914 | * @ordered | ||
2915 | */ | ||
2916 | int COUNT__PARAMETER_SUBSTITUTION = AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION; | ||
2917 | |||
2918 | /** | ||
2883 | * The number of structural features of the '<em>Count</em>' class. | 2919 | * The number of structural features of the '<em>Count</em>' class. |
2884 | * <!-- begin-user-doc --> | 2920 | * <!-- begin-user-doc --> |
2885 | * <!-- end-user-doc --> | 2921 | * <!-- end-user-doc --> |
@@ -2917,6 +2953,15 @@ public interface LogiclanguagePackage extends EPackage { | |||
2917 | int MIN__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; | 2953 | int MIN__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; |
2918 | 2954 | ||
2919 | /** | 2955 | /** |
2956 | * The feature id for the '<em><b>Parameter Substitution</b></em>' containment reference list. | ||
2957 | * <!-- begin-user-doc --> | ||
2958 | * <!-- end-user-doc --> | ||
2959 | * @generated | ||
2960 | * @ordered | ||
2961 | */ | ||
2962 | int MIN__PARAMETER_SUBSTITUTION = PROJECTED_AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION; | ||
2963 | |||
2964 | /** | ||
2920 | * The feature id for the '<em><b>Projection Index</b></em>' attribute. | 2965 | * The feature id for the '<em><b>Projection Index</b></em>' attribute. |
2921 | * <!-- begin-user-doc --> | 2966 | * <!-- begin-user-doc --> |
2922 | * <!-- end-user-doc --> | 2967 | * <!-- end-user-doc --> |
@@ -2963,6 +3008,15 @@ public interface LogiclanguagePackage extends EPackage { | |||
2963 | int MAX__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; | 3008 | int MAX__RELATION = PROJECTED_AGGREGATE_EXPRESSION__RELATION; |
2964 | 3009 | ||
2965 | /** | 3010 | /** |
3011 | * The feature id for the '<em><b>Parameter Substitution</b></em>' containment reference list. | ||
3012 | * <!-- begin-user-doc --> | ||
3013 | * <!-- end-user-doc --> | ||
3014 | * @generated | ||
3015 | * @ordered | ||
3016 | */ | ||
3017 | int MAX__PARAMETER_SUBSTITUTION = PROJECTED_AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION; | ||
3018 | |||
3019 | /** | ||
2966 | * The feature id for the '<em><b>Projection Index</b></em>' attribute. | 3020 | * The feature id for the '<em><b>Projection Index</b></em>' attribute. |
2967 | * <!-- begin-user-doc --> | 3021 | * <!-- begin-user-doc --> |
2968 | * <!-- end-user-doc --> | 3022 | * <!-- end-user-doc --> |
@@ -2991,6 +3045,44 @@ public interface LogiclanguagePackage extends EPackage { | |||
2991 | 3045 | ||
2992 | 3046 | ||
2993 | /** | 3047 | /** |
3048 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregatedParameterSubstitutionImpl <em>Aggregated Parameter Substitution</em>}' class. | ||
3049 | * <!-- begin-user-doc --> | ||
3050 | * <!-- end-user-doc --> | ||
3051 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregatedParameterSubstitutionImpl | ||
3052 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAggregatedParameterSubstitution() | ||
3053 | * @generated | ||
3054 | */ | ||
3055 | int AGGREGATED_PARAMETER_SUBSTITUTION = 65; | ||
3056 | |||
3057 | /** | ||
3058 | * The feature id for the '<em><b>Variable</b></em>' reference. | ||
3059 | * <!-- begin-user-doc --> | ||
3060 | * <!-- end-user-doc --> | ||
3061 | * @generated | ||
3062 | * @ordered | ||
3063 | */ | ||
3064 | int AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE = 0; | ||
3065 | |||
3066 | /** | ||
3067 | * The number of structural features of the '<em>Aggregated Parameter Substitution</em>' class. | ||
3068 | * <!-- begin-user-doc --> | ||
3069 | * <!-- end-user-doc --> | ||
3070 | * @generated | ||
3071 | * @ordered | ||
3072 | */ | ||
3073 | int AGGREGATED_PARAMETER_SUBSTITUTION_FEATURE_COUNT = 1; | ||
3074 | |||
3075 | /** | ||
3076 | * The number of operations of the '<em>Aggregated Parameter Substitution</em>' class. | ||
3077 | * <!-- begin-user-doc --> | ||
3078 | * <!-- end-user-doc --> | ||
3079 | * @generated | ||
3080 | * @ordered | ||
3081 | */ | ||
3082 | int AGGREGATED_PARAMETER_SUBSTITUTION_OPERATION_COUNT = 0; | ||
3083 | |||
3084 | |||
3085 | /** | ||
2994 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type <em>Type</em>}'. | 3086 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type <em>Type</em>}'. |
2995 | * <!-- begin-user-doc --> | 3087 | * <!-- begin-user-doc --> |
2996 | * <!-- end-user-doc --> | 3088 | * <!-- end-user-doc --> |
@@ -4306,6 +4398,17 @@ public interface LogiclanguagePackage extends EPackage { | |||
4306 | EReference getAggregateExpression_Relation(); | 4398 | EReference getAggregateExpression_Relation(); |
4307 | 4399 | ||
4308 | /** | 4400 | /** |
4401 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression#getParameterSubstitution <em>Parameter Substitution</em>}'. | ||
4402 | * <!-- begin-user-doc --> | ||
4403 | * <!-- end-user-doc --> | ||
4404 | * @return the meta object for the containment reference list '<em>Parameter Substitution</em>'. | ||
4405 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregateExpression#getParameterSubstitution() | ||
4406 | * @see #getAggregateExpression() | ||
4407 | * @generated | ||
4408 | */ | ||
4409 | EReference getAggregateExpression_ParameterSubstitution(); | ||
4410 | |||
4411 | /** | ||
4309 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Sum <em>Sum</em>}'. | 4412 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Sum <em>Sum</em>}'. |
4310 | * <!-- begin-user-doc --> | 4413 | * <!-- begin-user-doc --> |
4311 | * <!-- end-user-doc --> | 4414 | * <!-- end-user-doc --> |
@@ -4367,6 +4470,27 @@ public interface LogiclanguagePackage extends EPackage { | |||
4367 | EAttribute getProjectedAggregateExpression_ProjectionIndex(); | 4470 | EAttribute getProjectedAggregateExpression_ProjectionIndex(); |
4368 | 4471 | ||
4369 | /** | 4472 | /** |
4473 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution <em>Aggregated Parameter Substitution</em>}'. | ||
4474 | * <!-- begin-user-doc --> | ||
4475 | * <!-- end-user-doc --> | ||
4476 | * @return the meta object for class '<em>Aggregated Parameter Substitution</em>'. | ||
4477 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution | ||
4478 | * @generated | ||
4479 | */ | ||
4480 | EClass getAggregatedParameterSubstitution(); | ||
4481 | |||
4482 | /** | ||
4483 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution#getVariable <em>Variable</em>}'. | ||
4484 | * <!-- begin-user-doc --> | ||
4485 | * <!-- end-user-doc --> | ||
4486 | * @return the meta object for the reference '<em>Variable</em>'. | ||
4487 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution#getVariable() | ||
4488 | * @see #getAggregatedParameterSubstitution() | ||
4489 | * @generated | ||
4490 | */ | ||
4491 | EReference getAggregatedParameterSubstitution_Variable(); | ||
4492 | |||
4493 | /** | ||
4370 | * Returns the factory that creates the instances of the model. | 4494 | * Returns the factory that creates the instances of the model. |
4371 | * <!-- begin-user-doc --> | 4495 | * <!-- begin-user-doc --> |
4372 | * <!-- end-user-doc --> | 4496 | * <!-- end-user-doc --> |
@@ -5510,6 +5634,14 @@ public interface LogiclanguagePackage extends EPackage { | |||
5510 | EReference AGGREGATE_EXPRESSION__RELATION = eINSTANCE.getAggregateExpression_Relation(); | 5634 | EReference AGGREGATE_EXPRESSION__RELATION = eINSTANCE.getAggregateExpression_Relation(); |
5511 | 5635 | ||
5512 | /** | 5636 | /** |
5637 | * The meta object literal for the '<em><b>Parameter Substitution</b></em>' containment reference list feature. | ||
5638 | * <!-- begin-user-doc --> | ||
5639 | * <!-- end-user-doc --> | ||
5640 | * @generated | ||
5641 | */ | ||
5642 | EReference AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION = eINSTANCE.getAggregateExpression_ParameterSubstitution(); | ||
5643 | |||
5644 | /** | ||
5513 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SumImpl <em>Sum</em>}' class. | 5645 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.SumImpl <em>Sum</em>}' class. |
5514 | * <!-- begin-user-doc --> | 5646 | * <!-- begin-user-doc --> |
5515 | * <!-- end-user-doc --> | 5647 | * <!-- end-user-doc --> |
@@ -5567,6 +5699,24 @@ public interface LogiclanguagePackage extends EPackage { | |||
5567 | */ | 5699 | */ |
5568 | EAttribute PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX = eINSTANCE.getProjectedAggregateExpression_ProjectionIndex(); | 5700 | EAttribute PROJECTED_AGGREGATE_EXPRESSION__PROJECTION_INDEX = eINSTANCE.getProjectedAggregateExpression_ProjectionIndex(); |
5569 | 5701 | ||
5702 | /** | ||
5703 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregatedParameterSubstitutionImpl <em>Aggregated Parameter Substitution</em>}' class. | ||
5704 | * <!-- begin-user-doc --> | ||
5705 | * <!-- end-user-doc --> | ||
5706 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregatedParameterSubstitutionImpl | ||
5707 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getAggregatedParameterSubstitution() | ||
5708 | * @generated | ||
5709 | */ | ||
5710 | EClass AGGREGATED_PARAMETER_SUBSTITUTION = eINSTANCE.getAggregatedParameterSubstitution(); | ||
5711 | |||
5712 | /** | ||
5713 | * The meta object literal for the '<em><b>Variable</b></em>' reference feature. | ||
5714 | * <!-- begin-user-doc --> | ||
5715 | * <!-- end-user-doc --> | ||
5716 | * @generated | ||
5717 | */ | ||
5718 | EReference AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE = eINSTANCE.getAggregatedParameterSubstitution_Variable(); | ||
5719 | |||
5570 | } | 5720 | } |
5571 | 5721 | ||
5572 | } //LogiclanguagePackage | 5722 | } //LogiclanguagePackage |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AggregateExpressionImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AggregateExpressionImpl.java index fc1420b0..0459af42 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AggregateExpressionImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AggregateExpressionImpl.java | |||
@@ -3,15 +3,21 @@ | |||
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.LogiclanguagePackage; | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; |
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | 8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; |
8 | 9 | ||
10 | import java.util.Collection; | ||
9 | import org.eclipse.emf.common.notify.Notification; | 11 | import org.eclipse.emf.common.notify.Notification; |
10 | 12 | ||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.common.util.EList; | ||
11 | import org.eclipse.emf.ecore.EClass; | 15 | import org.eclipse.emf.ecore.EClass; |
12 | import org.eclipse.emf.ecore.InternalEObject; | 16 | import org.eclipse.emf.ecore.InternalEObject; |
13 | 17 | ||
14 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 18 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
19 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
20 | import org.eclipse.emf.ecore.util.InternalEList; | ||
15 | 21 | ||
16 | /** | 22 | /** |
17 | * <!-- begin-user-doc --> | 23 | * <!-- begin-user-doc --> |
@@ -22,6 +28,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl; | |||
22 | * </p> | 28 | * </p> |
23 | * <ul> | 29 | * <ul> |
24 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregateExpressionImpl#getRelation <em>Relation</em>}</li> | 30 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregateExpressionImpl#getRelation <em>Relation</em>}</li> |
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregateExpressionImpl#getParameterSubstitution <em>Parameter Substitution</em>}</li> | ||
25 | * </ul> | 32 | * </ul> |
26 | * | 33 | * |
27 | * @generated | 34 | * @generated |
@@ -38,6 +45,16 @@ public abstract class AggregateExpressionImpl extends TermImpl implements Aggreg | |||
38 | protected Relation relation; | 45 | protected Relation relation; |
39 | 46 | ||
40 | /** | 47 | /** |
48 | * The cached value of the '{@link #getParameterSubstitution() <em>Parameter Substitution</em>}' containment reference list. | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @see #getParameterSubstitution() | ||
52 | * @generated | ||
53 | * @ordered | ||
54 | */ | ||
55 | protected EList<AggregatedParameterSubstitution> parameterSubstitution; | ||
56 | |||
57 | /** | ||
41 | * <!-- begin-user-doc --> | 58 | * <!-- begin-user-doc --> |
42 | * <!-- end-user-doc --> | 59 | * <!-- end-user-doc --> |
43 | * @generated | 60 | * @generated |
@@ -102,11 +119,40 @@ public abstract class AggregateExpressionImpl extends TermImpl implements Aggreg | |||
102 | * @generated | 119 | * @generated |
103 | */ | 120 | */ |
104 | @Override | 121 | @Override |
122 | public EList<AggregatedParameterSubstitution> getParameterSubstitution() { | ||
123 | if (parameterSubstitution == null) { | ||
124 | parameterSubstitution = new EObjectContainmentEList<AggregatedParameterSubstitution>(AggregatedParameterSubstitution.class, this, LogiclanguagePackage.AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION); | ||
125 | } | ||
126 | return parameterSubstitution; | ||
127 | } | ||
128 | |||
129 | /** | ||
130 | * <!-- begin-user-doc --> | ||
131 | * <!-- end-user-doc --> | ||
132 | * @generated | ||
133 | */ | ||
134 | @Override | ||
135 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
136 | switch (featureID) { | ||
137 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION: | ||
138 | return ((InternalEList<?>)getParameterSubstitution()).basicRemove(otherEnd, msgs); | ||
139 | } | ||
140 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | @Override | ||
105 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | 149 | public Object eGet(int featureID, boolean resolve, boolean coreType) { |
106 | switch (featureID) { | 150 | switch (featureID) { |
107 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__RELATION: | 151 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__RELATION: |
108 | if (resolve) return getRelation(); | 152 | if (resolve) return getRelation(); |
109 | return basicGetRelation(); | 153 | return basicGetRelation(); |
154 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION: | ||
155 | return getParameterSubstitution(); | ||
110 | } | 156 | } |
111 | return super.eGet(featureID, resolve, coreType); | 157 | return super.eGet(featureID, resolve, coreType); |
112 | } | 158 | } |
@@ -116,12 +162,17 @@ public abstract class AggregateExpressionImpl extends TermImpl implements Aggreg | |||
116 | * <!-- end-user-doc --> | 162 | * <!-- end-user-doc --> |
117 | * @generated | 163 | * @generated |
118 | */ | 164 | */ |
165 | @SuppressWarnings("unchecked") | ||
119 | @Override | 166 | @Override |
120 | public void eSet(int featureID, Object newValue) { | 167 | public void eSet(int featureID, Object newValue) { |
121 | switch (featureID) { | 168 | switch (featureID) { |
122 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__RELATION: | 169 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__RELATION: |
123 | setRelation((Relation)newValue); | 170 | setRelation((Relation)newValue); |
124 | return; | 171 | return; |
172 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION: | ||
173 | getParameterSubstitution().clear(); | ||
174 | getParameterSubstitution().addAll((Collection<? extends AggregatedParameterSubstitution>)newValue); | ||
175 | return; | ||
125 | } | 176 | } |
126 | super.eSet(featureID, newValue); | 177 | super.eSet(featureID, newValue); |
127 | } | 178 | } |
@@ -137,6 +188,9 @@ public abstract class AggregateExpressionImpl extends TermImpl implements Aggreg | |||
137 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__RELATION: | 188 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__RELATION: |
138 | setRelation((Relation)null); | 189 | setRelation((Relation)null); |
139 | return; | 190 | return; |
191 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION: | ||
192 | getParameterSubstitution().clear(); | ||
193 | return; | ||
140 | } | 194 | } |
141 | super.eUnset(featureID); | 195 | super.eUnset(featureID); |
142 | } | 196 | } |
@@ -151,6 +205,8 @@ public abstract class AggregateExpressionImpl extends TermImpl implements Aggreg | |||
151 | switch (featureID) { | 205 | switch (featureID) { |
152 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__RELATION: | 206 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__RELATION: |
153 | return relation != null; | 207 | return relation != null; |
208 | case LogiclanguagePackage.AGGREGATE_EXPRESSION__PARAMETER_SUBSTITUTION: | ||
209 | return parameterSubstitution != null && !parameterSubstitution.isEmpty(); | ||
154 | } | 210 | } |
155 | return super.eIsSet(featureID); | 211 | return super.eIsSet(featureID); |
156 | } | 212 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AggregatedParameterSubstitutionImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AggregatedParameterSubstitutionImpl.java new file mode 100644 index 00000000..15af0f21 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AggregatedParameterSubstitutionImpl.java | |||
@@ -0,0 +1,159 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | ||
8 | |||
9 | import org.eclipse.emf.common.notify.Notification; | ||
10 | |||
11 | import org.eclipse.emf.ecore.EClass; | ||
12 | import org.eclipse.emf.ecore.InternalEObject; | ||
13 | |||
14 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
15 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
16 | |||
17 | /** | ||
18 | * <!-- begin-user-doc --> | ||
19 | * An implementation of the model object '<em><b>Aggregated Parameter Substitution</b></em>'. | ||
20 | * <!-- end-user-doc --> | ||
21 | * <p> | ||
22 | * The following features are implemented: | ||
23 | * </p> | ||
24 | * <ul> | ||
25 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.AggregatedParameterSubstitutionImpl#getVariable <em>Variable</em>}</li> | ||
26 | * </ul> | ||
27 | * | ||
28 | * @generated | ||
29 | */ | ||
30 | public class AggregatedParameterSubstitutionImpl extends MinimalEObjectImpl.Container implements AggregatedParameterSubstitution { | ||
31 | /** | ||
32 | * The cached value of the '{@link #getVariable() <em>Variable</em>}' reference. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #getVariable() | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | protected Variable variable; | ||
40 | |||
41 | /** | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @generated | ||
45 | */ | ||
46 | protected AggregatedParameterSubstitutionImpl() { | ||
47 | super(); | ||
48 | } | ||
49 | |||
50 | /** | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @generated | ||
54 | */ | ||
55 | @Override | ||
56 | protected EClass eStaticClass() { | ||
57 | return LogiclanguagePackage.Literals.AGGREGATED_PARAMETER_SUBSTITUTION; | ||
58 | } | ||
59 | |||
60 | /** | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @generated | ||
64 | */ | ||
65 | @Override | ||
66 | public Variable getVariable() { | ||
67 | if (variable != null && variable.eIsProxy()) { | ||
68 | InternalEObject oldVariable = (InternalEObject)variable; | ||
69 | variable = (Variable)eResolveProxy(oldVariable); | ||
70 | if (variable != oldVariable) { | ||
71 | if (eNotificationRequired()) | ||
72 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogiclanguagePackage.AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE, oldVariable, variable)); | ||
73 | } | ||
74 | } | ||
75 | return variable; | ||
76 | } | ||
77 | |||
78 | /** | ||
79 | * <!-- begin-user-doc --> | ||
80 | * <!-- end-user-doc --> | ||
81 | * @generated | ||
82 | */ | ||
83 | public Variable basicGetVariable() { | ||
84 | return variable; | ||
85 | } | ||
86 | |||
87 | /** | ||
88 | * <!-- begin-user-doc --> | ||
89 | * <!-- end-user-doc --> | ||
90 | * @generated | ||
91 | */ | ||
92 | @Override | ||
93 | public void setVariable(Variable newVariable) { | ||
94 | Variable oldVariable = variable; | ||
95 | variable = newVariable; | ||
96 | if (eNotificationRequired()) | ||
97 | eNotify(new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE, oldVariable, variable)); | ||
98 | } | ||
99 | |||
100 | /** | ||
101 | * <!-- begin-user-doc --> | ||
102 | * <!-- end-user-doc --> | ||
103 | * @generated | ||
104 | */ | ||
105 | @Override | ||
106 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
107 | switch (featureID) { | ||
108 | case LogiclanguagePackage.AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE: | ||
109 | if (resolve) return getVariable(); | ||
110 | return basicGetVariable(); | ||
111 | } | ||
112 | return super.eGet(featureID, resolve, coreType); | ||
113 | } | ||
114 | |||
115 | /** | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @generated | ||
119 | */ | ||
120 | @Override | ||
121 | public void eSet(int featureID, Object newValue) { | ||
122 | switch (featureID) { | ||
123 | case LogiclanguagePackage.AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE: | ||
124 | setVariable((Variable)newValue); | ||
125 | return; | ||
126 | } | ||
127 | super.eSet(featureID, newValue); | ||
128 | } | ||
129 | |||
130 | /** | ||
131 | * <!-- begin-user-doc --> | ||
132 | * <!-- end-user-doc --> | ||
133 | * @generated | ||
134 | */ | ||
135 | @Override | ||
136 | public void eUnset(int featureID) { | ||
137 | switch (featureID) { | ||
138 | case LogiclanguagePackage.AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE: | ||
139 | setVariable((Variable)null); | ||
140 | return; | ||
141 | } | ||
142 | super.eUnset(featureID); | ||
143 | } | ||
144 | |||
145 | /** | ||
146 | * <!-- begin-user-doc --> | ||
147 | * <!-- end-user-doc --> | ||
148 | * @generated | ||
149 | */ | ||
150 | @Override | ||
151 | public boolean eIsSet(int featureID) { | ||
152 | switch (featureID) { | ||
153 | case LogiclanguagePackage.AGGREGATED_PARAMETER_SUBSTITUTION__VARIABLE: | ||
154 | return variable != null; | ||
155 | } | ||
156 | return super.eIsSet(featureID); | ||
157 | } | ||
158 | |||
159 | } //AggregatedParameterSubstitutionImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java index b890b6e0..b8d87d99 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java | |||
@@ -104,6 +104,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
104 | case LogiclanguagePackage.COUNT: return createCount(); | 104 | case LogiclanguagePackage.COUNT: return createCount(); |
105 | case LogiclanguagePackage.MIN: return createMin(); | 105 | case LogiclanguagePackage.MIN: return createMin(); |
106 | case LogiclanguagePackage.MAX: return createMax(); | 106 | case LogiclanguagePackage.MAX: return createMax(); |
107 | case LogiclanguagePackage.AGGREGATED_PARAMETER_SUBSTITUTION: return createAggregatedParameterSubstitution(); | ||
107 | default: | 108 | default: |
108 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 109 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
109 | } | 110 | } |
@@ -643,6 +644,17 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
643 | * @generated | 644 | * @generated |
644 | */ | 645 | */ |
645 | @Override | 646 | @Override |
647 | public AggregatedParameterSubstitution createAggregatedParameterSubstitution() { | ||
648 | AggregatedParameterSubstitutionImpl aggregatedParameterSubstitution = new AggregatedParameterSubstitutionImpl(); | ||
649 | return aggregatedParameterSubstitution; | ||
650 | } | ||
651 | |||
652 | /** | ||
653 | * <!-- begin-user-doc --> | ||
654 | * <!-- end-user-doc --> | ||
655 | * @generated | ||
656 | */ | ||
657 | @Override | ||
646 | public LogiclanguagePackage getLogiclanguagePackage() { | 658 | public LogiclanguagePackage getLogiclanguagePackage() { |
647 | return (LogiclanguagePackage)getEPackage(); | 659 | return (LogiclanguagePackage)getEPackage(); |
648 | } | 660 | } |
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 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java index 25edee70..3fc7c298 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java | |||
@@ -328,6 +328,10 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl { | |||
328 | return createProjectedAggregateExpressionAdapter(); | 328 | return createProjectedAggregateExpressionAdapter(); |
329 | } | 329 | } |
330 | @Override | 330 | @Override |
331 | public Adapter caseAggregatedParameterSubstitution(AggregatedParameterSubstitution object) { | ||
332 | return createAggregatedParameterSubstitutionAdapter(); | ||
333 | } | ||
334 | @Override | ||
331 | public Adapter defaultCase(EObject object) { | 335 | public Adapter defaultCase(EObject object) { |
332 | return createEObjectAdapter(); | 336 | return createEObjectAdapter(); |
333 | } | 337 | } |
@@ -1258,6 +1262,20 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl { | |||
1258 | } | 1262 | } |
1259 | 1263 | ||
1260 | /** | 1264 | /** |
1265 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution <em>Aggregated Parameter Substitution</em>}'. | ||
1266 | * <!-- begin-user-doc --> | ||
1267 | * This default implementation returns null so that we can easily ignore cases; | ||
1268 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1269 | * <!-- end-user-doc --> | ||
1270 | * @return the new adapter. | ||
1271 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AggregatedParameterSubstitution | ||
1272 | * @generated | ||
1273 | */ | ||
1274 | public Adapter createAggregatedParameterSubstitutionAdapter() { | ||
1275 | return null; | ||
1276 | } | ||
1277 | |||
1278 | /** | ||
1261 | * Creates a new adapter for the default case. | 1279 | * Creates a new adapter for the default case. |
1262 | * <!-- begin-user-doc --> | 1280 | * <!-- begin-user-doc --> |
1263 | * This default implementation returns null. | 1281 | * This default implementation returns null. |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java index fc443484..ac821567 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java | |||
@@ -617,6 +617,12 @@ public class LogiclanguageSwitch<T> extends Switch<T> { | |||
617 | if (result == null) result = defaultCase(theEObject); | 617 | if (result == null) result = defaultCase(theEObject); |
618 | return result; | 618 | return result; |
619 | } | 619 | } |
620 | case LogiclanguagePackage.AGGREGATED_PARAMETER_SUBSTITUTION: { | ||
621 | AggregatedParameterSubstitution aggregatedParameterSubstitution = (AggregatedParameterSubstitution)theEObject; | ||
622 | T result = caseAggregatedParameterSubstitution(aggregatedParameterSubstitution); | ||
623 | if (result == null) result = defaultCase(theEObject); | ||
624 | return result; | ||
625 | } | ||
620 | default: return defaultCase(theEObject); | 626 | default: return defaultCase(theEObject); |
621 | } | 627 | } |
622 | } | 628 | } |
@@ -1597,6 +1603,21 @@ public class LogiclanguageSwitch<T> extends Switch<T> { | |||
1597 | } | 1603 | } |
1598 | 1604 | ||
1599 | /** | 1605 | /** |
1606 | * Returns the result of interpreting the object as an instance of '<em>Aggregated Parameter Substitution</em>'. | ||
1607 | * <!-- begin-user-doc --> | ||
1608 | * This implementation returns null; | ||
1609 | * returning a non-null result will terminate the switch. | ||
1610 | * <!-- end-user-doc --> | ||
1611 | * @param object the target of the switch. | ||
1612 | * @return the result of interpreting the object as an instance of '<em>Aggregated Parameter Substitution</em>'. | ||
1613 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1614 | * @generated | ||
1615 | */ | ||
1616 | public T caseAggregatedParameterSubstitution(AggregatedParameterSubstitution object) { | ||
1617 | return null; | ||
1618 | } | ||
1619 | |||
1620 | /** | ||
1600 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | 1621 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. |
1601 | * <!-- begin-user-doc --> | 1622 | * <!-- begin-user-doc --> |
1602 | * This implementation returns null; | 1623 | * This implementation returns null; |