diff options
Diffstat (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java')
-rw-r--r-- | language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java | 371 |
1 files changed, 350 insertions, 21 deletions
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java index d10ff2f0..ee72c538 100644 --- a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java +++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java | |||
@@ -12,33 +12,43 @@ import org.eclipse.emf.ecore.impl.EPackageImpl; | |||
12 | 12 | ||
13 | import org.eclipse.viatra.solver.language.model.problem.Argument; | 13 | import org.eclipse.viatra.solver.language.model.problem.Argument; |
14 | import org.eclipse.viatra.solver.language.model.problem.Assertion; | 14 | import org.eclipse.viatra.solver.language.model.problem.Assertion; |
15 | import org.eclipse.viatra.solver.language.model.problem.AssertionArgument; | ||
15 | import org.eclipse.viatra.solver.language.model.problem.Atom; | 16 | import org.eclipse.viatra.solver.language.model.problem.Atom; |
16 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; | 17 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; |
17 | import org.eclipse.viatra.solver.language.model.problem.Conjunction; | 18 | import org.eclipse.viatra.solver.language.model.problem.Conjunction; |
19 | import org.eclipse.viatra.solver.language.model.problem.Constant; | ||
20 | import org.eclipse.viatra.solver.language.model.problem.ConstantArgument; | ||
21 | import org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument; | ||
18 | import org.eclipse.viatra.solver.language.model.problem.EnumDeclaration; | 22 | import org.eclipse.viatra.solver.language.model.problem.EnumDeclaration; |
19 | import org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity; | 23 | import org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity; |
20 | import org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier; | 24 | import org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier; |
21 | import org.eclipse.viatra.solver.language.model.problem.ImplicitVariable; | 25 | import org.eclipse.viatra.solver.language.model.problem.ImplicitVariable; |
26 | import org.eclipse.viatra.solver.language.model.problem.IntConstant; | ||
22 | import org.eclipse.viatra.solver.language.model.problem.Literal; | 27 | import org.eclipse.viatra.solver.language.model.problem.Literal; |
23 | import org.eclipse.viatra.solver.language.model.problem.LogicValue; | 28 | import org.eclipse.viatra.solver.language.model.problem.LogicValue; |
24 | import org.eclipse.viatra.solver.language.model.problem.Multiplicity; | 29 | import org.eclipse.viatra.solver.language.model.problem.Multiplicity; |
25 | import org.eclipse.viatra.solver.language.model.problem.NamedElement; | 30 | import org.eclipse.viatra.solver.language.model.problem.NamedElement; |
26 | import org.eclipse.viatra.solver.language.model.problem.NegativeLiteral; | 31 | import org.eclipse.viatra.solver.language.model.problem.NegativeLiteral; |
27 | import org.eclipse.viatra.solver.language.model.problem.Node; | 32 | import org.eclipse.viatra.solver.language.model.problem.Node; |
33 | import org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument; | ||
34 | import org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion; | ||
28 | import org.eclipse.viatra.solver.language.model.problem.Parameter; | 35 | import org.eclipse.viatra.solver.language.model.problem.Parameter; |
29 | import org.eclipse.viatra.solver.language.model.problem.PredicateDefinition; | 36 | import org.eclipse.viatra.solver.language.model.problem.PredicateDefinition; |
30 | import org.eclipse.viatra.solver.language.model.problem.Problem; | 37 | import org.eclipse.viatra.solver.language.model.problem.Problem; |
31 | import org.eclipse.viatra.solver.language.model.problem.ProblemFactory; | 38 | import org.eclipse.viatra.solver.language.model.problem.ProblemFactory; |
32 | import org.eclipse.viatra.solver.language.model.problem.ProblemPackage; | 39 | import org.eclipse.viatra.solver.language.model.problem.ProblemPackage; |
33 | import org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity; | 40 | import org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity; |
41 | import org.eclipse.viatra.solver.language.model.problem.RealConstant; | ||
34 | import org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration; | 42 | import org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration; |
35 | import org.eclipse.viatra.solver.language.model.problem.Relation; | 43 | import org.eclipse.viatra.solver.language.model.problem.Relation; |
36 | import org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration; | 44 | import org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration; |
37 | import org.eclipse.viatra.solver.language.model.problem.Statement; | 45 | import org.eclipse.viatra.solver.language.model.problem.Statement; |
46 | import org.eclipse.viatra.solver.language.model.problem.StringConstant; | ||
38 | import org.eclipse.viatra.solver.language.model.problem.TypeScope; | 47 | import org.eclipse.viatra.solver.language.model.problem.TypeScope; |
39 | import org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity; | 48 | import org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity; |
40 | import org.eclipse.viatra.solver.language.model.problem.Variable; | 49 | import org.eclipse.viatra.solver.language.model.problem.Variable; |
41 | import org.eclipse.viatra.solver.language.model.problem.VariableOrNode; | 50 | import org.eclipse.viatra.solver.language.model.problem.VariableOrNode; |
51 | import org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument; | ||
42 | 52 | ||
43 | /** | 53 | /** |
44 | * <!-- begin-user-doc --> | 54 | * <!-- begin-user-doc --> |
@@ -213,6 +223,13 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
213 | * <!-- end-user-doc --> | 223 | * <!-- end-user-doc --> |
214 | * @generated | 224 | * @generated |
215 | */ | 225 | */ |
226 | private EClass variableOrNodeArgumentEClass = null; | ||
227 | |||
228 | /** | ||
229 | * <!-- begin-user-doc --> | ||
230 | * <!-- end-user-doc --> | ||
231 | * @generated | ||
232 | */ | ||
216 | private EClass argumentEClass = null; | 233 | private EClass argumentEClass = null; |
217 | 234 | ||
218 | /** | 235 | /** |
@@ -220,6 +237,34 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
220 | * <!-- end-user-doc --> | 237 | * <!-- end-user-doc --> |
221 | * @generated | 238 | * @generated |
222 | */ | 239 | */ |
240 | private EClass nodeAssertionArgumentEClass = null; | ||
241 | |||
242 | /** | ||
243 | * <!-- begin-user-doc --> | ||
244 | * <!-- end-user-doc --> | ||
245 | * @generated | ||
246 | */ | ||
247 | private EClass assertionArgumentEClass = null; | ||
248 | |||
249 | /** | ||
250 | * <!-- begin-user-doc --> | ||
251 | * <!-- end-user-doc --> | ||
252 | * @generated | ||
253 | */ | ||
254 | private EClass constantAssertionArgumentEClass = null; | ||
255 | |||
256 | /** | ||
257 | * <!-- begin-user-doc --> | ||
258 | * <!-- end-user-doc --> | ||
259 | * @generated | ||
260 | */ | ||
261 | private EClass nodeValueAssertionEClass = null; | ||
262 | |||
263 | /** | ||
264 | * <!-- begin-user-doc --> | ||
265 | * <!-- end-user-doc --> | ||
266 | * @generated | ||
267 | */ | ||
223 | private EClass enumDeclarationEClass = null; | 268 | private EClass enumDeclarationEClass = null; |
224 | 269 | ||
225 | /** | 270 | /** |
@@ -234,6 +279,41 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
234 | * <!-- end-user-doc --> | 279 | * <!-- end-user-doc --> |
235 | * @generated | 280 | * @generated |
236 | */ | 281 | */ |
282 | private EClass constantEClass = null; | ||
283 | |||
284 | /** | ||
285 | * <!-- begin-user-doc --> | ||
286 | * <!-- end-user-doc --> | ||
287 | * @generated | ||
288 | */ | ||
289 | private EClass intConstantEClass = null; | ||
290 | |||
291 | /** | ||
292 | * <!-- begin-user-doc --> | ||
293 | * <!-- end-user-doc --> | ||
294 | * @generated | ||
295 | */ | ||
296 | private EClass realConstantEClass = null; | ||
297 | |||
298 | /** | ||
299 | * <!-- begin-user-doc --> | ||
300 | * <!-- end-user-doc --> | ||
301 | * @generated | ||
302 | */ | ||
303 | private EClass stringConstantEClass = null; | ||
304 | |||
305 | /** | ||
306 | * <!-- begin-user-doc --> | ||
307 | * <!-- end-user-doc --> | ||
308 | * @generated | ||
309 | */ | ||
310 | private EClass constantArgumentEClass = null; | ||
311 | |||
312 | /** | ||
313 | * <!-- begin-user-doc --> | ||
314 | * <!-- end-user-doc --> | ||
315 | * @generated | ||
316 | */ | ||
237 | private EEnum logicValueEEnum = null; | 317 | private EEnum logicValueEEnum = null; |
238 | 318 | ||
239 | /** | 319 | /** |
@@ -639,7 +719,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
639 | * @generated | 719 | * @generated |
640 | */ | 720 | */ |
641 | public EReference getAssertion_Arguments() { | 721 | public EReference getAssertion_Arguments() { |
642 | return (EReference) assertionEClass.getEStructuralFeatures().get(1); | 722 | return (EReference) assertionEClass.getEStructuralFeatures().get(2); |
643 | } | 723 | } |
644 | 724 | ||
645 | /** | 725 | /** |
@@ -648,7 +728,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
648 | * @generated | 728 | * @generated |
649 | */ | 729 | */ |
650 | public EAttribute getAssertion_Value() { | 730 | public EAttribute getAssertion_Value() { |
651 | return (EAttribute) assertionEClass.getEStructuralFeatures().get(2); | 731 | return (EAttribute) assertionEClass.getEStructuralFeatures().get(1); |
652 | } | 732 | } |
653 | 733 | ||
654 | /** | 734 | /** |
@@ -791,6 +871,33 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
791 | * <!-- end-user-doc --> | 871 | * <!-- end-user-doc --> |
792 | * @generated | 872 | * @generated |
793 | */ | 873 | */ |
874 | public EClass getVariableOrNodeArgument() { | ||
875 | return variableOrNodeArgumentEClass; | ||
876 | } | ||
877 | |||
878 | /** | ||
879 | * <!-- begin-user-doc --> | ||
880 | * <!-- end-user-doc --> | ||
881 | * @generated | ||
882 | */ | ||
883 | public EReference getVariableOrNodeArgument_VariableOrNode() { | ||
884 | return (EReference) variableOrNodeArgumentEClass.getEStructuralFeatures().get(0); | ||
885 | } | ||
886 | |||
887 | /** | ||
888 | * <!-- begin-user-doc --> | ||
889 | * <!-- end-user-doc --> | ||
890 | * @generated | ||
891 | */ | ||
892 | public EReference getVariableOrNodeArgument_SingletonVariable() { | ||
893 | return (EReference) variableOrNodeArgumentEClass.getEStructuralFeatures().get(1); | ||
894 | } | ||
895 | |||
896 | /** | ||
897 | * <!-- begin-user-doc --> | ||
898 | * <!-- end-user-doc --> | ||
899 | * @generated | ||
900 | */ | ||
794 | public EClass getArgument() { | 901 | public EClass getArgument() { |
795 | return argumentEClass; | 902 | return argumentEClass; |
796 | } | 903 | } |
@@ -800,8 +907,8 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
800 | * <!-- end-user-doc --> | 907 | * <!-- end-user-doc --> |
801 | * @generated | 908 | * @generated |
802 | */ | 909 | */ |
803 | public EReference getArgument_VariableOrNode() { | 910 | public EClass getNodeAssertionArgument() { |
804 | return (EReference) argumentEClass.getEStructuralFeatures().get(0); | 911 | return nodeAssertionArgumentEClass; |
805 | } | 912 | } |
806 | 913 | ||
807 | /** | 914 | /** |
@@ -809,8 +916,62 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
809 | * <!-- end-user-doc --> | 916 | * <!-- end-user-doc --> |
810 | * @generated | 917 | * @generated |
811 | */ | 918 | */ |
812 | public EReference getArgument_SingletonVariable() { | 919 | public EReference getNodeAssertionArgument_Node() { |
813 | return (EReference) argumentEClass.getEStructuralFeatures().get(1); | 920 | return (EReference) nodeAssertionArgumentEClass.getEStructuralFeatures().get(0); |
921 | } | ||
922 | |||
923 | /** | ||
924 | * <!-- begin-user-doc --> | ||
925 | * <!-- end-user-doc --> | ||
926 | * @generated | ||
927 | */ | ||
928 | public EClass getAssertionArgument() { | ||
929 | return assertionArgumentEClass; | ||
930 | } | ||
931 | |||
932 | /** | ||
933 | * <!-- begin-user-doc --> | ||
934 | * <!-- end-user-doc --> | ||
935 | * @generated | ||
936 | */ | ||
937 | public EClass getConstantAssertionArgument() { | ||
938 | return constantAssertionArgumentEClass; | ||
939 | } | ||
940 | |||
941 | /** | ||
942 | * <!-- begin-user-doc --> | ||
943 | * <!-- end-user-doc --> | ||
944 | * @generated | ||
945 | */ | ||
946 | public EReference getConstantAssertionArgument_Constant() { | ||
947 | return (EReference) constantAssertionArgumentEClass.getEStructuralFeatures().get(0); | ||
948 | } | ||
949 | |||
950 | /** | ||
951 | * <!-- begin-user-doc --> | ||
952 | * <!-- end-user-doc --> | ||
953 | * @generated | ||
954 | */ | ||
955 | public EClass getNodeValueAssertion() { | ||
956 | return nodeValueAssertionEClass; | ||
957 | } | ||
958 | |||
959 | /** | ||
960 | * <!-- begin-user-doc --> | ||
961 | * <!-- end-user-doc --> | ||
962 | * @generated | ||
963 | */ | ||
964 | public EReference getNodeValueAssertion_Node() { | ||
965 | return (EReference) nodeValueAssertionEClass.getEStructuralFeatures().get(0); | ||
966 | } | ||
967 | |||
968 | /** | ||
969 | * <!-- begin-user-doc --> | ||
970 | * <!-- end-user-doc --> | ||
971 | * @generated | ||
972 | */ | ||
973 | public EReference getNodeValueAssertion_Value() { | ||
974 | return (EReference) nodeValueAssertionEClass.getEStructuralFeatures().get(1); | ||
814 | } | 975 | } |
815 | 976 | ||
816 | /** | 977 | /** |
@@ -845,6 +1006,87 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
845 | * <!-- end-user-doc --> | 1006 | * <!-- end-user-doc --> |
846 | * @generated | 1007 | * @generated |
847 | */ | 1008 | */ |
1009 | public EClass getConstant() { | ||
1010 | return constantEClass; | ||
1011 | } | ||
1012 | |||
1013 | /** | ||
1014 | * <!-- begin-user-doc --> | ||
1015 | * <!-- end-user-doc --> | ||
1016 | * @generated | ||
1017 | */ | ||
1018 | public EClass getIntConstant() { | ||
1019 | return intConstantEClass; | ||
1020 | } | ||
1021 | |||
1022 | /** | ||
1023 | * <!-- begin-user-doc --> | ||
1024 | * <!-- end-user-doc --> | ||
1025 | * @generated | ||
1026 | */ | ||
1027 | public EAttribute getIntConstant_IntValue() { | ||
1028 | return (EAttribute) intConstantEClass.getEStructuralFeatures().get(0); | ||
1029 | } | ||
1030 | |||
1031 | /** | ||
1032 | * <!-- begin-user-doc --> | ||
1033 | * <!-- end-user-doc --> | ||
1034 | * @generated | ||
1035 | */ | ||
1036 | public EClass getRealConstant() { | ||
1037 | return realConstantEClass; | ||
1038 | } | ||
1039 | |||
1040 | /** | ||
1041 | * <!-- begin-user-doc --> | ||
1042 | * <!-- end-user-doc --> | ||
1043 | * @generated | ||
1044 | */ | ||
1045 | public EAttribute getRealConstant_RealValue() { | ||
1046 | return (EAttribute) realConstantEClass.getEStructuralFeatures().get(0); | ||
1047 | } | ||
1048 | |||
1049 | /** | ||
1050 | * <!-- begin-user-doc --> | ||
1051 | * <!-- end-user-doc --> | ||
1052 | * @generated | ||
1053 | */ | ||
1054 | public EClass getStringConstant() { | ||
1055 | return stringConstantEClass; | ||
1056 | } | ||
1057 | |||
1058 | /** | ||
1059 | * <!-- begin-user-doc --> | ||
1060 | * <!-- end-user-doc --> | ||
1061 | * @generated | ||
1062 | */ | ||
1063 | public EAttribute getStringConstant_StringValue() { | ||
1064 | return (EAttribute) stringConstantEClass.getEStructuralFeatures().get(0); | ||
1065 | } | ||
1066 | |||
1067 | /** | ||
1068 | * <!-- begin-user-doc --> | ||
1069 | * <!-- end-user-doc --> | ||
1070 | * @generated | ||
1071 | */ | ||
1072 | public EClass getConstantArgument() { | ||
1073 | return constantArgumentEClass; | ||
1074 | } | ||
1075 | |||
1076 | /** | ||
1077 | * <!-- begin-user-doc --> | ||
1078 | * <!-- end-user-doc --> | ||
1079 | * @generated | ||
1080 | */ | ||
1081 | public EReference getConstantArgument_Constant() { | ||
1082 | return (EReference) constantArgumentEClass.getEStructuralFeatures().get(0); | ||
1083 | } | ||
1084 | |||
1085 | /** | ||
1086 | * <!-- begin-user-doc --> | ||
1087 | * <!-- end-user-doc --> | ||
1088 | * @generated | ||
1089 | */ | ||
848 | public EEnum getLogicValue() { | 1090 | public EEnum getLogicValue() { |
849 | return logicValueEEnum; | 1091 | return logicValueEEnum; |
850 | } | 1092 | } |
@@ -929,8 +1171,8 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
929 | 1171 | ||
930 | assertionEClass = createEClass(ASSERTION); | 1172 | assertionEClass = createEClass(ASSERTION); |
931 | createEReference(assertionEClass, ASSERTION__RELATION); | 1173 | createEReference(assertionEClass, ASSERTION__RELATION); |
932 | createEReference(assertionEClass, ASSERTION__ARGUMENTS); | ||
933 | createEAttribute(assertionEClass, ASSERTION__VALUE); | 1174 | createEAttribute(assertionEClass, ASSERTION__VALUE); |
1175 | createEReference(assertionEClass, ASSERTION__ARGUMENTS); | ||
934 | 1176 | ||
935 | nodeEClass = createEClass(NODE); | 1177 | nodeEClass = createEClass(NODE); |
936 | 1178 | ||
@@ -955,15 +1197,43 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
955 | 1197 | ||
956 | unboundedMultiplicityEClass = createEClass(UNBOUNDED_MULTIPLICITY); | 1198 | unboundedMultiplicityEClass = createEClass(UNBOUNDED_MULTIPLICITY); |
957 | 1199 | ||
958 | argumentEClass = createEClass(ARGUMENT); | 1200 | variableOrNodeArgumentEClass = createEClass(VARIABLE_OR_NODE_ARGUMENT); |
959 | createEReference(argumentEClass, ARGUMENT__VARIABLE_OR_NODE); | 1201 | createEReference(variableOrNodeArgumentEClass, VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE); |
960 | createEReference(argumentEClass, ARGUMENT__SINGLETON_VARIABLE); | 1202 | createEReference(variableOrNodeArgumentEClass, VARIABLE_OR_NODE_ARGUMENT__SINGLETON_VARIABLE); |
961 | 1203 | ||
962 | enumDeclarationEClass = createEClass(ENUM_DECLARATION); | 1204 | enumDeclarationEClass = createEClass(ENUM_DECLARATION); |
963 | createEReference(enumDeclarationEClass, ENUM_DECLARATION__LITERALS); | 1205 | createEReference(enumDeclarationEClass, ENUM_DECLARATION__LITERALS); |
964 | 1206 | ||
965 | variableOrNodeEClass = createEClass(VARIABLE_OR_NODE); | 1207 | variableOrNodeEClass = createEClass(VARIABLE_OR_NODE); |
966 | 1208 | ||
1209 | constantEClass = createEClass(CONSTANT); | ||
1210 | |||
1211 | intConstantEClass = createEClass(INT_CONSTANT); | ||
1212 | createEAttribute(intConstantEClass, INT_CONSTANT__INT_VALUE); | ||
1213 | |||
1214 | realConstantEClass = createEClass(REAL_CONSTANT); | ||
1215 | createEAttribute(realConstantEClass, REAL_CONSTANT__REAL_VALUE); | ||
1216 | |||
1217 | stringConstantEClass = createEClass(STRING_CONSTANT); | ||
1218 | createEAttribute(stringConstantEClass, STRING_CONSTANT__STRING_VALUE); | ||
1219 | |||
1220 | constantArgumentEClass = createEClass(CONSTANT_ARGUMENT); | ||
1221 | createEReference(constantArgumentEClass, CONSTANT_ARGUMENT__CONSTANT); | ||
1222 | |||
1223 | argumentEClass = createEClass(ARGUMENT); | ||
1224 | |||
1225 | nodeAssertionArgumentEClass = createEClass(NODE_ASSERTION_ARGUMENT); | ||
1226 | createEReference(nodeAssertionArgumentEClass, NODE_ASSERTION_ARGUMENT__NODE); | ||
1227 | |||
1228 | assertionArgumentEClass = createEClass(ASSERTION_ARGUMENT); | ||
1229 | |||
1230 | constantAssertionArgumentEClass = createEClass(CONSTANT_ASSERTION_ARGUMENT); | ||
1231 | createEReference(constantAssertionArgumentEClass, CONSTANT_ASSERTION_ARGUMENT__CONSTANT); | ||
1232 | |||
1233 | nodeValueAssertionEClass = createEClass(NODE_VALUE_ASSERTION); | ||
1234 | createEReference(nodeValueAssertionEClass, NODE_VALUE_ASSERTION__NODE); | ||
1235 | createEReference(nodeValueAssertionEClass, NODE_VALUE_ASSERTION__VALUE); | ||
1236 | |||
967 | // Create enums | 1237 | // Create enums |
968 | logicValueEEnum = createEEnum(LOGIC_VALUE); | 1238 | logicValueEEnum = createEEnum(LOGIC_VALUE); |
969 | } | 1239 | } |
@@ -1017,9 +1287,17 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
1017 | rangeMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 1287 | rangeMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
1018 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 1288 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
1019 | unboundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 1289 | unboundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
1290 | variableOrNodeArgumentEClass.getESuperTypes().add(this.getArgument()); | ||
1020 | enumDeclarationEClass.getESuperTypes().add(this.getRelation()); | 1291 | enumDeclarationEClass.getESuperTypes().add(this.getRelation()); |
1021 | enumDeclarationEClass.getESuperTypes().add(this.getStatement()); | 1292 | enumDeclarationEClass.getESuperTypes().add(this.getStatement()); |
1022 | variableOrNodeEClass.getESuperTypes().add(this.getNamedElement()); | 1293 | variableOrNodeEClass.getESuperTypes().add(this.getNamedElement()); |
1294 | intConstantEClass.getESuperTypes().add(this.getConstant()); | ||
1295 | realConstantEClass.getESuperTypes().add(this.getConstant()); | ||
1296 | stringConstantEClass.getESuperTypes().add(this.getConstant()); | ||
1297 | constantArgumentEClass.getESuperTypes().add(this.getArgument()); | ||
1298 | nodeAssertionArgumentEClass.getESuperTypes().add(this.getAssertionArgument()); | ||
1299 | constantAssertionArgumentEClass.getESuperTypes().add(this.getAssertionArgument()); | ||
1300 | nodeValueAssertionEClass.getESuperTypes().add(this.getStatement()); | ||
1023 | 1301 | ||
1024 | // Initialize classes, features, and operations; add parameters | 1302 | // Initialize classes, features, and operations; add parameters |
1025 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1303 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -1126,11 +1404,11 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
1126 | initEReference(getAssertion_Relation(), this.getRelation(), null, "relation", null, 0, 1, Assertion.class, | 1404 | initEReference(getAssertion_Relation(), this.getRelation(), null, "relation", null, 0, 1, Assertion.class, |
1127 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | 1405 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, |
1128 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1406 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1129 | initEReference(getAssertion_Arguments(), this.getNode(), null, "arguments", null, 0, -1, Assertion.class, | ||
1130 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1131 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1132 | initEAttribute(getAssertion_Value(), this.getLogicValue(), "value", null, 0, 1, Assertion.class, !IS_TRANSIENT, | 1407 | initEAttribute(getAssertion_Value(), this.getLogicValue(), "value", null, 0, 1, Assertion.class, !IS_TRANSIENT, |
1133 | !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1408 | !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1409 | initEReference(getAssertion_Arguments(), this.getAssertionArgument(), null, "arguments", null, 0, -1, | ||
1410 | Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1411 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1134 | 1412 | ||
1135 | initEClass(nodeEClass, Node.class, "Node", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1413 | initEClass(nodeEClass, Node.class, "Node", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1136 | 1414 | ||
@@ -1175,14 +1453,14 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
1175 | initEClass(unboundedMultiplicityEClass, UnboundedMultiplicity.class, "UnboundedMultiplicity", !IS_ABSTRACT, | 1453 | initEClass(unboundedMultiplicityEClass, UnboundedMultiplicity.class, "UnboundedMultiplicity", !IS_ABSTRACT, |
1176 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1454 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1177 | 1455 | ||
1178 | initEClass(argumentEClass, Argument.class, "Argument", !IS_ABSTRACT, !IS_INTERFACE, | 1456 | initEClass(variableOrNodeArgumentEClass, VariableOrNodeArgument.class, "VariableOrNodeArgument", !IS_ABSTRACT, |
1179 | IS_GENERATED_INSTANCE_CLASS); | 1457 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1180 | initEReference(getArgument_VariableOrNode(), this.getVariableOrNode(), null, "variableOrNode", null, 0, 1, | 1458 | initEReference(getVariableOrNodeArgument_VariableOrNode(), this.getVariableOrNode(), null, "variableOrNode", |
1181 | Argument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | 1459 | null, 0, 1, VariableOrNodeArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, |
1182 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1460 | IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1183 | initEReference(getArgument_SingletonVariable(), this.getImplicitVariable(), null, "singletonVariable", null, 0, | 1461 | initEReference(getVariableOrNodeArgument_SingletonVariable(), this.getImplicitVariable(), null, |
1184 | 1, Argument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | 1462 | "singletonVariable", null, 0, 1, VariableOrNodeArgument.class, !IS_TRANSIENT, !IS_VOLATILE, |
1185 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1463 | IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1186 | 1464 | ||
1187 | initEClass(enumDeclarationEClass, EnumDeclaration.class, "EnumDeclaration", !IS_ABSTRACT, !IS_INTERFACE, | 1465 | initEClass(enumDeclarationEClass, EnumDeclaration.class, "EnumDeclaration", !IS_ABSTRACT, !IS_INTERFACE, |
1188 | IS_GENERATED_INSTANCE_CLASS); | 1466 | IS_GENERATED_INSTANCE_CLASS); |
@@ -1193,6 +1471,57 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
1193 | initEClass(variableOrNodeEClass, VariableOrNode.class, "VariableOrNode", IS_ABSTRACT, !IS_INTERFACE, | 1471 | initEClass(variableOrNodeEClass, VariableOrNode.class, "VariableOrNode", IS_ABSTRACT, !IS_INTERFACE, |
1194 | IS_GENERATED_INSTANCE_CLASS); | 1472 | IS_GENERATED_INSTANCE_CLASS); |
1195 | 1473 | ||
1474 | initEClass(constantEClass, Constant.class, "Constant", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1475 | |||
1476 | initEClass(intConstantEClass, IntConstant.class, "IntConstant", !IS_ABSTRACT, !IS_INTERFACE, | ||
1477 | IS_GENERATED_INSTANCE_CLASS); | ||
1478 | initEAttribute(getIntConstant_IntValue(), ecorePackage.getEInt(), "intValue", "0", 0, 1, IntConstant.class, | ||
1479 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1480 | |||
1481 | initEClass(realConstantEClass, RealConstant.class, "RealConstant", !IS_ABSTRACT, !IS_INTERFACE, | ||
1482 | IS_GENERATED_INSTANCE_CLASS); | ||
1483 | initEAttribute(getRealConstant_RealValue(), ecorePackage.getEDouble(), "realValue", "0.0", 0, 1, | ||
1484 | RealConstant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
1485 | !IS_DERIVED, IS_ORDERED); | ||
1486 | |||
1487 | initEClass(stringConstantEClass, StringConstant.class, "StringConstant", !IS_ABSTRACT, !IS_INTERFACE, | ||
1488 | IS_GENERATED_INSTANCE_CLASS); | ||
1489 | initEAttribute(getStringConstant_StringValue(), ecorePackage.getEString(), "stringValue", null, 0, 1, | ||
1490 | StringConstant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | ||
1491 | !IS_DERIVED, IS_ORDERED); | ||
1492 | |||
1493 | initEClass(constantArgumentEClass, ConstantArgument.class, "ConstantArgument", !IS_ABSTRACT, !IS_INTERFACE, | ||
1494 | IS_GENERATED_INSTANCE_CLASS); | ||
1495 | initEReference(getConstantArgument_Constant(), this.getConstant(), null, "constant", null, 0, 1, | ||
1496 | ConstantArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1497 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1498 | |||
1499 | initEClass(argumentEClass, Argument.class, "Argument", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1500 | |||
1501 | initEClass(nodeAssertionArgumentEClass, NodeAssertionArgument.class, "NodeAssertionArgument", !IS_ABSTRACT, | ||
1502 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1503 | initEReference(getNodeAssertionArgument_Node(), this.getNode(), null, "node", null, 0, 1, | ||
1504 | NodeAssertionArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, | ||
1505 | IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1506 | |||
1507 | initEClass(assertionArgumentEClass, AssertionArgument.class, "AssertionArgument", IS_ABSTRACT, !IS_INTERFACE, | ||
1508 | IS_GENERATED_INSTANCE_CLASS); | ||
1509 | |||
1510 | initEClass(constantAssertionArgumentEClass, ConstantAssertionArgument.class, "ConstantAssertionArgument", | ||
1511 | !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1512 | initEReference(getConstantAssertionArgument_Constant(), this.getConstant(), null, "constant", null, 0, 1, | ||
1513 | ConstantAssertionArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, | ||
1514 | !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1515 | |||
1516 | initEClass(nodeValueAssertionEClass, NodeValueAssertion.class, "NodeValueAssertion", !IS_ABSTRACT, | ||
1517 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1518 | initEReference(getNodeValueAssertion_Node(), this.getNode(), null, "node", null, 0, 1, NodeValueAssertion.class, | ||
1519 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1520 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1521 | initEReference(getNodeValueAssertion_Value(), this.getConstant(), null, "value", null, 0, 1, | ||
1522 | NodeValueAssertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1523 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1524 | |||
1196 | // Initialize enums and add enum literals | 1525 | // Initialize enums and add enum literals |
1197 | initEEnum(logicValueEEnum, LogicValue.class, "LogicValue"); | 1526 | initEEnum(logicValueEEnum, LogicValue.class, "LogicValue"); |
1198 | addEEnumLiteral(logicValueEEnum, LogicValue.TRUE); | 1527 | addEEnumLiteral(logicValueEEnum, LogicValue.TRUE); |