diff options
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/impl/ProblemPackageImpl.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/impl/ProblemPackageImpl.java | 97 |
1 files changed, 91 insertions, 6 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/impl/ProblemPackageImpl.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/impl/ProblemPackageImpl.java index de0aa595..f412addc 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/impl/ProblemPackageImpl.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/impl/ProblemPackageImpl.java | |||
@@ -10,6 +10,7 @@ import org.eclipse.emf.ecore.EReference; | |||
10 | 10 | ||
11 | import org.eclipse.emf.ecore.impl.EPackageImpl; | 11 | 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.Assertion; | 14 | import org.eclipse.viatra.solver.language.model.problem.Assertion; |
14 | import org.eclipse.viatra.solver.language.model.problem.Atom; | 15 | import org.eclipse.viatra.solver.language.model.problem.Atom; |
15 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; | 16 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; |
@@ -34,6 +35,7 @@ import org.eclipse.viatra.solver.language.model.problem.Relation; | |||
34 | import org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration; | 35 | import org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration; |
35 | import org.eclipse.viatra.solver.language.model.problem.Statement; | 36 | import org.eclipse.viatra.solver.language.model.problem.Statement; |
36 | import org.eclipse.viatra.solver.language.model.problem.TypeScope; | 37 | import org.eclipse.viatra.solver.language.model.problem.TypeScope; |
38 | import org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity; | ||
37 | import org.eclipse.viatra.solver.language.model.problem.Variable; | 39 | import org.eclipse.viatra.solver.language.model.problem.Variable; |
38 | 40 | ||
39 | /** | 41 | /** |
@@ -202,6 +204,20 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
202 | * <!-- end-user-doc --> | 204 | * <!-- end-user-doc --> |
203 | * @generated | 205 | * @generated |
204 | */ | 206 | */ |
207 | private EClass unboundedMultiplicityEClass = null; | ||
208 | |||
209 | /** | ||
210 | * <!-- begin-user-doc --> | ||
211 | * <!-- end-user-doc --> | ||
212 | * @generated | ||
213 | */ | ||
214 | private EClass argumentEClass = null; | ||
215 | |||
216 | /** | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @generated | ||
220 | */ | ||
205 | private EEnum logicValueEEnum = null; | 221 | private EEnum logicValueEEnum = null; |
206 | 222 | ||
207 | /** | 223 | /** |
@@ -345,6 +361,15 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
345 | * <!-- end-user-doc --> | 361 | * <!-- end-user-doc --> |
346 | * @generated | 362 | * @generated |
347 | */ | 363 | */ |
364 | public EReference getClassDeclaration_NewNode() { | ||
365 | return (EReference) classDeclarationEClass.getEStructuralFeatures().get(3); | ||
366 | } | ||
367 | |||
368 | /** | ||
369 | * <!-- begin-user-doc --> | ||
370 | * <!-- end-user-doc --> | ||
371 | * @generated | ||
372 | */ | ||
348 | public EClass getReferenceDeclaration() { | 373 | public EClass getReferenceDeclaration() { |
349 | return referenceDeclarationEClass; | 374 | return referenceDeclarationEClass; |
350 | } | 375 | } |
@@ -517,7 +542,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
517 | * @generated | 542 | * @generated |
518 | */ | 543 | */ |
519 | public EReference getAtom_Arguments() { | 544 | public EReference getAtom_Arguments() { |
520 | return (EReference) atomEClass.getEStructuralFeatures().get(1); | 545 | return (EReference) atomEClass.getEStructuralFeatures().get(2); |
521 | } | 546 | } |
522 | 547 | ||
523 | /** | 548 | /** |
@@ -526,7 +551,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
526 | * @generated | 551 | * @generated |
527 | */ | 552 | */ |
528 | public EAttribute getAtom_TransitiveClosure() { | 553 | public EAttribute getAtom_TransitiveClosure() { |
529 | return (EAttribute) atomEClass.getEStructuralFeatures().get(2); | 554 | return (EAttribute) atomEClass.getEStructuralFeatures().get(1); |
530 | } | 555 | } |
531 | 556 | ||
532 | /** | 557 | /** |
@@ -741,6 +766,42 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
741 | * <!-- end-user-doc --> | 766 | * <!-- end-user-doc --> |
742 | * @generated | 767 | * @generated |
743 | */ | 768 | */ |
769 | public EClass getUnboundedMultiplicity() { | ||
770 | return unboundedMultiplicityEClass; | ||
771 | } | ||
772 | |||
773 | /** | ||
774 | * <!-- begin-user-doc --> | ||
775 | * <!-- end-user-doc --> | ||
776 | * @generated | ||
777 | */ | ||
778 | public EClass getArgument() { | ||
779 | return argumentEClass; | ||
780 | } | ||
781 | |||
782 | /** | ||
783 | * <!-- begin-user-doc --> | ||
784 | * <!-- end-user-doc --> | ||
785 | * @generated | ||
786 | */ | ||
787 | public EReference getArgument_Variable() { | ||
788 | return (EReference) argumentEClass.getEStructuralFeatures().get(0); | ||
789 | } | ||
790 | |||
791 | /** | ||
792 | * <!-- begin-user-doc --> | ||
793 | * <!-- end-user-doc --> | ||
794 | * @generated | ||
795 | */ | ||
796 | public EReference getArgument_SingletonVariable() { | ||
797 | return (EReference) argumentEClass.getEStructuralFeatures().get(1); | ||
798 | } | ||
799 | |||
800 | /** | ||
801 | * <!-- begin-user-doc --> | ||
802 | * <!-- end-user-doc --> | ||
803 | * @generated | ||
804 | */ | ||
744 | public EEnum getLogicValue() { | 805 | public EEnum getLogicValue() { |
745 | return logicValueEEnum; | 806 | return logicValueEEnum; |
746 | } | 807 | } |
@@ -784,6 +845,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
784 | createEAttribute(classDeclarationEClass, CLASS_DECLARATION__ABSTRACT); | 845 | createEAttribute(classDeclarationEClass, CLASS_DECLARATION__ABSTRACT); |
785 | createEReference(classDeclarationEClass, CLASS_DECLARATION__SUPER_TYPES); | 846 | createEReference(classDeclarationEClass, CLASS_DECLARATION__SUPER_TYPES); |
786 | createEReference(classDeclarationEClass, CLASS_DECLARATION__REFERENCE_DECLARATIONS); | 847 | createEReference(classDeclarationEClass, CLASS_DECLARATION__REFERENCE_DECLARATIONS); |
848 | createEReference(classDeclarationEClass, CLASS_DECLARATION__NEW_NODE); | ||
787 | 849 | ||
788 | referenceDeclarationEClass = createEClass(REFERENCE_DECLARATION); | 850 | referenceDeclarationEClass = createEClass(REFERENCE_DECLARATION); |
789 | createEReference(referenceDeclarationEClass, REFERENCE_DECLARATION__REFERENCE_TYPE); | 851 | createEReference(referenceDeclarationEClass, REFERENCE_DECLARATION__REFERENCE_TYPE); |
@@ -811,8 +873,8 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
811 | 873 | ||
812 | atomEClass = createEClass(ATOM); | 874 | atomEClass = createEClass(ATOM); |
813 | createEReference(atomEClass, ATOM__RELATION); | 875 | createEReference(atomEClass, ATOM__RELATION); |
814 | createEReference(atomEClass, ATOM__ARGUMENTS); | ||
815 | createEAttribute(atomEClass, ATOM__TRANSITIVE_CLOSURE); | 876 | createEAttribute(atomEClass, ATOM__TRANSITIVE_CLOSURE); |
877 | createEReference(atomEClass, ATOM__ARGUMENTS); | ||
816 | 878 | ||
817 | implicitVariableEClass = createEClass(IMPLICIT_VARIABLE); | 879 | implicitVariableEClass = createEClass(IMPLICIT_VARIABLE); |
818 | 880 | ||
@@ -848,6 +910,12 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
848 | exactMultiplicityEClass = createEClass(EXACT_MULTIPLICITY); | 910 | exactMultiplicityEClass = createEClass(EXACT_MULTIPLICITY); |
849 | createEAttribute(exactMultiplicityEClass, EXACT_MULTIPLICITY__EXACT_VALUE); | 911 | createEAttribute(exactMultiplicityEClass, EXACT_MULTIPLICITY__EXACT_VALUE); |
850 | 912 | ||
913 | unboundedMultiplicityEClass = createEClass(UNBOUNDED_MULTIPLICITY); | ||
914 | |||
915 | argumentEClass = createEClass(ARGUMENT); | ||
916 | createEReference(argumentEClass, ARGUMENT__VARIABLE); | ||
917 | createEReference(argumentEClass, ARGUMENT__SINGLETON_VARIABLE); | ||
918 | |||
851 | // Create enums | 919 | // Create enums |
852 | logicValueEEnum = createEEnum(LOGIC_VALUE); | 920 | logicValueEEnum = createEEnum(LOGIC_VALUE); |
853 | } | 921 | } |
@@ -881,6 +949,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
881 | // Set bounds for type parameters | 949 | // Set bounds for type parameters |
882 | 950 | ||
883 | // Add supertypes to classes | 951 | // Add supertypes to classes |
952 | problemEClass.getESuperTypes().add(this.getNamedElement()); | ||
884 | relationEClass.getESuperTypes().add(this.getNamedElement()); | 953 | relationEClass.getESuperTypes().add(this.getNamedElement()); |
885 | classDeclarationEClass.getESuperTypes().add(this.getRelation()); | 954 | classDeclarationEClass.getESuperTypes().add(this.getRelation()); |
886 | classDeclarationEClass.getESuperTypes().add(this.getStatement()); | 955 | classDeclarationEClass.getESuperTypes().add(this.getStatement()); |
@@ -899,6 +968,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
899 | scopeDeclarationEClass.getESuperTypes().add(this.getStatement()); | 968 | scopeDeclarationEClass.getESuperTypes().add(this.getStatement()); |
900 | rangeMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 969 | rangeMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
901 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 970 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
971 | unboundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | ||
902 | 972 | ||
903 | // Initialize classes, features, and operations; add parameters | 973 | // Initialize classes, features, and operations; add parameters |
904 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 974 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -922,6 +992,9 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
922 | initEReference(getClassDeclaration_ReferenceDeclarations(), this.getReferenceDeclaration(), null, | 992 | initEReference(getClassDeclaration_ReferenceDeclarations(), this.getReferenceDeclaration(), null, |
923 | "referenceDeclarations", null, 0, -1, ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, | 993 | "referenceDeclarations", null, 0, -1, ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, |
924 | IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 994 | IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
995 | initEReference(getClassDeclaration_NewNode(), this.getNode(), null, "newNode", null, 0, 1, | ||
996 | ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
997 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
925 | 998 | ||
926 | initEClass(referenceDeclarationEClass, ReferenceDeclaration.class, "ReferenceDeclaration", !IS_ABSTRACT, | 999 | initEClass(referenceDeclarationEClass, ReferenceDeclaration.class, "ReferenceDeclaration", !IS_ABSTRACT, |
927 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1000 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -975,12 +1048,12 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
975 | initEReference(getAtom_Relation(), this.getRelation(), null, "relation", null, 0, 1, Atom.class, !IS_TRANSIENT, | 1048 | initEReference(getAtom_Relation(), this.getRelation(), null, "relation", null, 0, 1, Atom.class, !IS_TRANSIENT, |
976 | !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, | 1049 | !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, |
977 | IS_ORDERED); | 1050 | IS_ORDERED); |
978 | initEReference(getAtom_Arguments(), this.getVariable(), null, "arguments", null, 0, -1, Atom.class, | ||
979 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
980 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
981 | initEAttribute(getAtom_TransitiveClosure(), ecorePackage.getEBoolean(), "transitiveClosure", null, 0, 1, | 1051 | initEAttribute(getAtom_TransitiveClosure(), ecorePackage.getEBoolean(), "transitiveClosure", null, 0, 1, |
982 | Atom.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, | 1052 | Atom.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, |
983 | IS_ORDERED); | 1053 | IS_ORDERED); |
1054 | initEReference(getAtom_Arguments(), this.getArgument(), null, "arguments", null, 0, -1, Atom.class, | ||
1055 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1056 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
984 | 1057 | ||
985 | initEClass(implicitVariableEClass, ImplicitVariable.class, "ImplicitVariable", !IS_ABSTRACT, !IS_INTERFACE, | 1058 | initEClass(implicitVariableEClass, ImplicitVariable.class, "ImplicitVariable", !IS_ABSTRACT, !IS_INTERFACE, |
986 | IS_GENERATED_INSTANCE_CLASS); | 1059 | IS_GENERATED_INSTANCE_CLASS); |
@@ -1048,6 +1121,18 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
1048 | ExactMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | 1121 | ExactMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, |
1049 | !IS_DERIVED, IS_ORDERED); | 1122 | !IS_DERIVED, IS_ORDERED); |
1050 | 1123 | ||
1124 | initEClass(unboundedMultiplicityEClass, UnboundedMultiplicity.class, "UnboundedMultiplicity", !IS_ABSTRACT, | ||
1125 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1126 | |||
1127 | initEClass(argumentEClass, Argument.class, "Argument", !IS_ABSTRACT, !IS_INTERFACE, | ||
1128 | IS_GENERATED_INSTANCE_CLASS); | ||
1129 | initEReference(getArgument_Variable(), this.getVariable(), null, "variable", null, 0, 1, Argument.class, | ||
1130 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
1131 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1132 | initEReference(getArgument_SingletonVariable(), this.getImplicitVariable(), null, "singletonVariable", null, 0, | ||
1133 | 1, Argument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1134 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1135 | |||
1051 | // Initialize enums and add enum literals | 1136 | // Initialize enums and add enum literals |
1052 | initEEnum(logicValueEEnum, LogicValue.class, "LogicValue"); | 1137 | initEEnum(logicValueEEnum, LogicValue.class, "LogicValue"); |
1053 | addEEnumLiteral(logicValueEEnum, LogicValue.TRUE); | 1138 | addEEnumLiteral(logicValueEEnum, LogicValue.TRUE); |