diff options
author | 2021-06-27 01:43:59 +0200 | |
---|---|---|
committer | 2021-06-27 02:01:19 +0200 | |
commit | b88c842ba625753ea185e6166cd967e694160798 (patch) | |
tree | 51931f892dff12d253f7697179e137bdfe705155 /org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java | |
parent | Opposite reference scope (diff) | |
download | refinery-b88c842ba625753ea185e6166cd967e694160798.tar.gz refinery-b88c842ba625753ea185e6166cd967e694160798.tar.zst refinery-b88c842ba625753ea185e6166cd967e694160798.zip |
Add enum support
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java | 172 |
1 files changed, 157 insertions, 15 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java index 1358eaeb..ec96501d 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java | |||
@@ -397,6 +397,43 @@ public interface ProblemPackage extends EPackage { | |||
397 | int PREDICATE_DEFINITION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; | 397 | int PREDICATE_DEFINITION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; |
398 | 398 | ||
399 | /** | 399 | /** |
400 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl <em>Variable Or Node</em>}' class. | ||
401 | * <!-- begin-user-doc --> | ||
402 | * <!-- end-user-doc --> | ||
403 | * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl | ||
404 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNode() | ||
405 | * @generated | ||
406 | */ | ||
407 | int VARIABLE_OR_NODE = 25; | ||
408 | |||
409 | /** | ||
410 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
411 | * <!-- begin-user-doc --> | ||
412 | * <!-- end-user-doc --> | ||
413 | * @generated | ||
414 | * @ordered | ||
415 | */ | ||
416 | int VARIABLE_OR_NODE__NAME = NAMED_ELEMENT__NAME; | ||
417 | |||
418 | /** | ||
419 | * The number of structural features of the '<em>Variable Or Node</em>' class. | ||
420 | * <!-- begin-user-doc --> | ||
421 | * <!-- end-user-doc --> | ||
422 | * @generated | ||
423 | * @ordered | ||
424 | */ | ||
425 | int VARIABLE_OR_NODE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 0; | ||
426 | |||
427 | /** | ||
428 | * The number of operations of the '<em>Variable Or Node</em>' class. | ||
429 | * <!-- begin-user-doc --> | ||
430 | * <!-- end-user-doc --> | ||
431 | * @generated | ||
432 | * @ordered | ||
433 | */ | ||
434 | int VARIABLE_OR_NODE_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0; | ||
435 | |||
436 | /** | ||
400 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl <em>Variable</em>}' class. | 437 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl <em>Variable</em>}' class. |
401 | * <!-- begin-user-doc --> | 438 | * <!-- begin-user-doc --> |
402 | * <!-- end-user-doc --> | 439 | * <!-- end-user-doc --> |
@@ -413,7 +450,7 @@ public interface ProblemPackage extends EPackage { | |||
413 | * @generated | 450 | * @generated |
414 | * @ordered | 451 | * @ordered |
415 | */ | 452 | */ |
416 | int VARIABLE__NAME = NAMED_ELEMENT__NAME; | 453 | int VARIABLE__NAME = VARIABLE_OR_NODE__NAME; |
417 | 454 | ||
418 | /** | 455 | /** |
419 | * The number of structural features of the '<em>Variable</em>' class. | 456 | * The number of structural features of the '<em>Variable</em>' class. |
@@ -422,7 +459,7 @@ public interface ProblemPackage extends EPackage { | |||
422 | * @generated | 459 | * @generated |
423 | * @ordered | 460 | * @ordered |
424 | */ | 461 | */ |
425 | int VARIABLE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 0; | 462 | int VARIABLE_FEATURE_COUNT = VARIABLE_OR_NODE_FEATURE_COUNT + 0; |
426 | 463 | ||
427 | /** | 464 | /** |
428 | * The number of operations of the '<em>Variable</em>' class. | 465 | * The number of operations of the '<em>Variable</em>' class. |
@@ -431,7 +468,7 @@ public interface ProblemPackage extends EPackage { | |||
431 | * @generated | 468 | * @generated |
432 | * @ordered | 469 | * @ordered |
433 | */ | 470 | */ |
434 | int VARIABLE_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0; | 471 | int VARIABLE_OPERATION_COUNT = VARIABLE_OR_NODE_OPERATION_COUNT + 0; |
435 | 472 | ||
436 | /** | 473 | /** |
437 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl <em>Parameter</em>}' class. | 474 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl <em>Parameter</em>}' class. |
@@ -828,7 +865,7 @@ public interface ProblemPackage extends EPackage { | |||
828 | * @generated | 865 | * @generated |
829 | * @ordered | 866 | * @ordered |
830 | */ | 867 | */ |
831 | int NODE__NAME = NAMED_ELEMENT__NAME; | 868 | int NODE__NAME = VARIABLE_OR_NODE__NAME; |
832 | 869 | ||
833 | /** | 870 | /** |
834 | * The number of structural features of the '<em>Node</em>' class. | 871 | * The number of structural features of the '<em>Node</em>' class. |
@@ -837,7 +874,7 @@ public interface ProblemPackage extends EPackage { | |||
837 | * @generated | 874 | * @generated |
838 | * @ordered | 875 | * @ordered |
839 | */ | 876 | */ |
840 | int NODE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 0; | 877 | int NODE_FEATURE_COUNT = VARIABLE_OR_NODE_FEATURE_COUNT + 0; |
841 | 878 | ||
842 | /** | 879 | /** |
843 | * The number of operations of the '<em>Node</em>' class. | 880 | * The number of operations of the '<em>Node</em>' class. |
@@ -846,7 +883,7 @@ public interface ProblemPackage extends EPackage { | |||
846 | * @generated | 883 | * @generated |
847 | * @ordered | 884 | * @ordered |
848 | */ | 885 | */ |
849 | int NODE_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0; | 886 | int NODE_OPERATION_COUNT = VARIABLE_OR_NODE_OPERATION_COUNT + 0; |
850 | 887 | ||
851 | /** | 888 | /** |
852 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl <em>Scope Declaration</em>}' class. | 889 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl <em>Scope Declaration</em>}' class. |
@@ -1090,13 +1127,13 @@ public interface ProblemPackage extends EPackage { | |||
1090 | int ARGUMENT = 23; | 1127 | int ARGUMENT = 23; |
1091 | 1128 | ||
1092 | /** | 1129 | /** |
1093 | * The feature id for the '<em><b>Variable</b></em>' reference. | 1130 | * The feature id for the '<em><b>Variable Or Node</b></em>' reference. |
1094 | * <!-- begin-user-doc --> | 1131 | * <!-- begin-user-doc --> |
1095 | * <!-- end-user-doc --> | 1132 | * <!-- end-user-doc --> |
1096 | * @generated | 1133 | * @generated |
1097 | * @ordered | 1134 | * @ordered |
1098 | */ | 1135 | */ |
1099 | int ARGUMENT__VARIABLE = 0; | 1136 | int ARGUMENT__VARIABLE_OR_NODE = 0; |
1100 | 1137 | ||
1101 | /** | 1138 | /** |
1102 | * The feature id for the '<em><b>Singleton Variable</b></em>' containment reference. | 1139 | * The feature id for the '<em><b>Singleton Variable</b></em>' containment reference. |
@@ -1126,6 +1163,52 @@ public interface ProblemPackage extends EPackage { | |||
1126 | int ARGUMENT_OPERATION_COUNT = 0; | 1163 | int ARGUMENT_OPERATION_COUNT = 0; |
1127 | 1164 | ||
1128 | /** | 1165 | /** |
1166 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class. | ||
1167 | * <!-- begin-user-doc --> | ||
1168 | * <!-- end-user-doc --> | ||
1169 | * @see org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl | ||
1170 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getEnumDeclaration() | ||
1171 | * @generated | ||
1172 | */ | ||
1173 | int ENUM_DECLARATION = 24; | ||
1174 | |||
1175 | /** | ||
1176 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1177 | * <!-- begin-user-doc --> | ||
1178 | * <!-- end-user-doc --> | ||
1179 | * @generated | ||
1180 | * @ordered | ||
1181 | */ | ||
1182 | int ENUM_DECLARATION__NAME = RELATION__NAME; | ||
1183 | |||
1184 | /** | ||
1185 | * The feature id for the '<em><b>Literals</b></em>' containment reference list. | ||
1186 | * <!-- begin-user-doc --> | ||
1187 | * <!-- end-user-doc --> | ||
1188 | * @generated | ||
1189 | * @ordered | ||
1190 | */ | ||
1191 | int ENUM_DECLARATION__LITERALS = RELATION_FEATURE_COUNT + 0; | ||
1192 | |||
1193 | /** | ||
1194 | * The number of structural features of the '<em>Enum Declaration</em>' class. | ||
1195 | * <!-- begin-user-doc --> | ||
1196 | * <!-- end-user-doc --> | ||
1197 | * @generated | ||
1198 | * @ordered | ||
1199 | */ | ||
1200 | int ENUM_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 1; | ||
1201 | |||
1202 | /** | ||
1203 | * The number of operations of the '<em>Enum Declaration</em>' class. | ||
1204 | * <!-- begin-user-doc --> | ||
1205 | * <!-- end-user-doc --> | ||
1206 | * @generated | ||
1207 | * @ordered | ||
1208 | */ | ||
1209 | int ENUM_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0; | ||
1210 | |||
1211 | /** | ||
1129 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. | 1212 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. |
1130 | * <!-- begin-user-doc --> | 1213 | * <!-- begin-user-doc --> |
1131 | * <!-- end-user-doc --> | 1214 | * <!-- end-user-doc --> |
@@ -1133,7 +1216,7 @@ public interface ProblemPackage extends EPackage { | |||
1133 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue() | 1216 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue() |
1134 | * @generated | 1217 | * @generated |
1135 | */ | 1218 | */ |
1136 | int LOGIC_VALUE = 24; | 1219 | int LOGIC_VALUE = 26; |
1137 | 1220 | ||
1138 | /** | 1221 | /** |
1139 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem <em>Problem</em>}'. | 1222 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem <em>Problem</em>}'. |
@@ -1717,15 +1800,15 @@ public interface ProblemPackage extends EPackage { | |||
1717 | EClass getArgument(); | 1800 | EClass getArgument(); |
1718 | 1801 | ||
1719 | /** | 1802 | /** |
1720 | * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getVariable <em>Variable</em>}'. | 1803 | * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getVariableOrNode <em>Variable Or Node</em>}'. |
1721 | * <!-- begin-user-doc --> | 1804 | * <!-- begin-user-doc --> |
1722 | * <!-- end-user-doc --> | 1805 | * <!-- end-user-doc --> |
1723 | * @return the meta object for the reference '<em>Variable</em>'. | 1806 | * @return the meta object for the reference '<em>Variable Or Node</em>'. |
1724 | * @see org.eclipse.viatra.solver.language.model.problem.Argument#getVariable() | 1807 | * @see org.eclipse.viatra.solver.language.model.problem.Argument#getVariableOrNode() |
1725 | * @see #getArgument() | 1808 | * @see #getArgument() |
1726 | * @generated | 1809 | * @generated |
1727 | */ | 1810 | */ |
1728 | EReference getArgument_Variable(); | 1811 | EReference getArgument_VariableOrNode(); |
1729 | 1812 | ||
1730 | /** | 1813 | /** |
1731 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable <em>Singleton Variable</em>}'. | 1814 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable <em>Singleton Variable</em>}'. |
@@ -1739,6 +1822,37 @@ public interface ProblemPackage extends EPackage { | |||
1739 | EReference getArgument_SingletonVariable(); | 1822 | EReference getArgument_SingletonVariable(); |
1740 | 1823 | ||
1741 | /** | 1824 | /** |
1825 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration <em>Enum Declaration</em>}'. | ||
1826 | * <!-- begin-user-doc --> | ||
1827 | * <!-- end-user-doc --> | ||
1828 | * @return the meta object for class '<em>Enum Declaration</em>'. | ||
1829 | * @see org.eclipse.viatra.solver.language.model.problem.EnumDeclaration | ||
1830 | * @generated | ||
1831 | */ | ||
1832 | EClass getEnumDeclaration(); | ||
1833 | |||
1834 | /** | ||
1835 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration#getLiterals <em>Literals</em>}'. | ||
1836 | * <!-- begin-user-doc --> | ||
1837 | * <!-- end-user-doc --> | ||
1838 | * @return the meta object for the containment reference list '<em>Literals</em>'. | ||
1839 | * @see org.eclipse.viatra.solver.language.model.problem.EnumDeclaration#getLiterals() | ||
1840 | * @see #getEnumDeclaration() | ||
1841 | * @generated | ||
1842 | */ | ||
1843 | EReference getEnumDeclaration_Literals(); | ||
1844 | |||
1845 | /** | ||
1846 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNode <em>Variable Or Node</em>}'. | ||
1847 | * <!-- begin-user-doc --> | ||
1848 | * <!-- end-user-doc --> | ||
1849 | * @return the meta object for class '<em>Variable Or Node</em>'. | ||
1850 | * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNode | ||
1851 | * @generated | ||
1852 | */ | ||
1853 | EClass getVariableOrNode(); | ||
1854 | |||
1855 | /** | ||
1742 | * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}'. | 1856 | * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}'. |
1743 | * <!-- begin-user-doc --> | 1857 | * <!-- begin-user-doc --> |
1744 | * <!-- end-user-doc --> | 1858 | * <!-- end-user-doc --> |
@@ -2260,12 +2374,12 @@ public interface ProblemPackage extends EPackage { | |||
2260 | EClass ARGUMENT = eINSTANCE.getArgument(); | 2374 | EClass ARGUMENT = eINSTANCE.getArgument(); |
2261 | 2375 | ||
2262 | /** | 2376 | /** |
2263 | * The meta object literal for the '<em><b>Variable</b></em>' reference feature. | 2377 | * The meta object literal for the '<em><b>Variable Or Node</b></em>' reference feature. |
2264 | * <!-- begin-user-doc --> | 2378 | * <!-- begin-user-doc --> |
2265 | * <!-- end-user-doc --> | 2379 | * <!-- end-user-doc --> |
2266 | * @generated | 2380 | * @generated |
2267 | */ | 2381 | */ |
2268 | EReference ARGUMENT__VARIABLE = eINSTANCE.getArgument_Variable(); | 2382 | EReference ARGUMENT__VARIABLE_OR_NODE = eINSTANCE.getArgument_VariableOrNode(); |
2269 | 2383 | ||
2270 | /** | 2384 | /** |
2271 | * The meta object literal for the '<em><b>Singleton Variable</b></em>' containment reference feature. | 2385 | * The meta object literal for the '<em><b>Singleton Variable</b></em>' containment reference feature. |
@@ -2276,6 +2390,34 @@ public interface ProblemPackage extends EPackage { | |||
2276 | EReference ARGUMENT__SINGLETON_VARIABLE = eINSTANCE.getArgument_SingletonVariable(); | 2390 | EReference ARGUMENT__SINGLETON_VARIABLE = eINSTANCE.getArgument_SingletonVariable(); |
2277 | 2391 | ||
2278 | /** | 2392 | /** |
2393 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class. | ||
2394 | * <!-- begin-user-doc --> | ||
2395 | * <!-- end-user-doc --> | ||
2396 | * @see org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl | ||
2397 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getEnumDeclaration() | ||
2398 | * @generated | ||
2399 | */ | ||
2400 | EClass ENUM_DECLARATION = eINSTANCE.getEnumDeclaration(); | ||
2401 | |||
2402 | /** | ||
2403 | * The meta object literal for the '<em><b>Literals</b></em>' containment reference list feature. | ||
2404 | * <!-- begin-user-doc --> | ||
2405 | * <!-- end-user-doc --> | ||
2406 | * @generated | ||
2407 | */ | ||
2408 | EReference ENUM_DECLARATION__LITERALS = eINSTANCE.getEnumDeclaration_Literals(); | ||
2409 | |||
2410 | /** | ||
2411 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl <em>Variable Or Node</em>}' class. | ||
2412 | * <!-- begin-user-doc --> | ||
2413 | * <!-- end-user-doc --> | ||
2414 | * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl | ||
2415 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNode() | ||
2416 | * @generated | ||
2417 | */ | ||
2418 | EClass VARIABLE_OR_NODE = eINSTANCE.getVariableOrNode(); | ||
2419 | |||
2420 | /** | ||
2279 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. | 2421 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. |
2280 | * <!-- begin-user-doc --> | 2422 | * <!-- begin-user-doc --> |
2281 | * <!-- end-user-doc --> | 2423 | * <!-- end-user-doc --> |