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/impl/ProblemPackageImpl.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/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 | 82 |
1 files changed, 71 insertions, 11 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 f412addc..d10ff2f0 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 | |||
@@ -15,6 +15,7 @@ import org.eclipse.viatra.solver.language.model.problem.Assertion; | |||
15 | import org.eclipse.viatra.solver.language.model.problem.Atom; | 15 | import org.eclipse.viatra.solver.language.model.problem.Atom; |
16 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; | 16 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; |
17 | import org.eclipse.viatra.solver.language.model.problem.Conjunction; | 17 | import org.eclipse.viatra.solver.language.model.problem.Conjunction; |
18 | import org.eclipse.viatra.solver.language.model.problem.EnumDeclaration; | ||
18 | import org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity; | 19 | import org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity; |
19 | import org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier; | 20 | import org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier; |
20 | import org.eclipse.viatra.solver.language.model.problem.ImplicitVariable; | 21 | import org.eclipse.viatra.solver.language.model.problem.ImplicitVariable; |
@@ -37,6 +38,7 @@ import org.eclipse.viatra.solver.language.model.problem.Statement; | |||
37 | import org.eclipse.viatra.solver.language.model.problem.TypeScope; | 38 | import org.eclipse.viatra.solver.language.model.problem.TypeScope; |
38 | import org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity; | 39 | import org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity; |
39 | import org.eclipse.viatra.solver.language.model.problem.Variable; | 40 | import org.eclipse.viatra.solver.language.model.problem.Variable; |
41 | import org.eclipse.viatra.solver.language.model.problem.VariableOrNode; | ||
40 | 42 | ||
41 | /** | 43 | /** |
42 | * <!-- begin-user-doc --> | 44 | * <!-- begin-user-doc --> |
@@ -218,6 +220,20 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
218 | * <!-- end-user-doc --> | 220 | * <!-- end-user-doc --> |
219 | * @generated | 221 | * @generated |
220 | */ | 222 | */ |
223 | private EClass enumDeclarationEClass = null; | ||
224 | |||
225 | /** | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @generated | ||
229 | */ | ||
230 | private EClass variableOrNodeEClass = null; | ||
231 | |||
232 | /** | ||
233 | * <!-- begin-user-doc --> | ||
234 | * <!-- end-user-doc --> | ||
235 | * @generated | ||
236 | */ | ||
221 | private EEnum logicValueEEnum = null; | 237 | private EEnum logicValueEEnum = null; |
222 | 238 | ||
223 | /** | 239 | /** |
@@ -784,7 +800,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
784 | * <!-- end-user-doc --> | 800 | * <!-- end-user-doc --> |
785 | * @generated | 801 | * @generated |
786 | */ | 802 | */ |
787 | public EReference getArgument_Variable() { | 803 | public EReference getArgument_VariableOrNode() { |
788 | return (EReference) argumentEClass.getEStructuralFeatures().get(0); | 804 | return (EReference) argumentEClass.getEStructuralFeatures().get(0); |
789 | } | 805 | } |
790 | 806 | ||
@@ -802,6 +818,33 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
802 | * <!-- end-user-doc --> | 818 | * <!-- end-user-doc --> |
803 | * @generated | 819 | * @generated |
804 | */ | 820 | */ |
821 | public EClass getEnumDeclaration() { | ||
822 | return enumDeclarationEClass; | ||
823 | } | ||
824 | |||
825 | /** | ||
826 | * <!-- begin-user-doc --> | ||
827 | * <!-- end-user-doc --> | ||
828 | * @generated | ||
829 | */ | ||
830 | public EReference getEnumDeclaration_Literals() { | ||
831 | return (EReference) enumDeclarationEClass.getEStructuralFeatures().get(0); | ||
832 | } | ||
833 | |||
834 | /** | ||
835 | * <!-- begin-user-doc --> | ||
836 | * <!-- end-user-doc --> | ||
837 | * @generated | ||
838 | */ | ||
839 | public EClass getVariableOrNode() { | ||
840 | return variableOrNodeEClass; | ||
841 | } | ||
842 | |||
843 | /** | ||
844 | * <!-- begin-user-doc --> | ||
845 | * <!-- end-user-doc --> | ||
846 | * @generated | ||
847 | */ | ||
805 | public EEnum getLogicValue() { | 848 | public EEnum getLogicValue() { |
806 | return logicValueEEnum; | 849 | return logicValueEEnum; |
807 | } | 850 | } |
@@ -913,9 +956,14 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
913 | unboundedMultiplicityEClass = createEClass(UNBOUNDED_MULTIPLICITY); | 956 | unboundedMultiplicityEClass = createEClass(UNBOUNDED_MULTIPLICITY); |
914 | 957 | ||
915 | argumentEClass = createEClass(ARGUMENT); | 958 | argumentEClass = createEClass(ARGUMENT); |
916 | createEReference(argumentEClass, ARGUMENT__VARIABLE); | 959 | createEReference(argumentEClass, ARGUMENT__VARIABLE_OR_NODE); |
917 | createEReference(argumentEClass, ARGUMENT__SINGLETON_VARIABLE); | 960 | createEReference(argumentEClass, ARGUMENT__SINGLETON_VARIABLE); |
918 | 961 | ||
962 | enumDeclarationEClass = createEClass(ENUM_DECLARATION); | ||
963 | createEReference(enumDeclarationEClass, ENUM_DECLARATION__LITERALS); | ||
964 | |||
965 | variableOrNodeEClass = createEClass(VARIABLE_OR_NODE); | ||
966 | |||
919 | // Create enums | 967 | // Create enums |
920 | logicValueEEnum = createEEnum(LOGIC_VALUE); | 968 | logicValueEEnum = createEEnum(LOGIC_VALUE); |
921 | } | 969 | } |
@@ -957,18 +1005,21 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
957 | predicateDefinitionEClass.getESuperTypes().add(this.getRelation()); | 1005 | predicateDefinitionEClass.getESuperTypes().add(this.getRelation()); |
958 | predicateDefinitionEClass.getESuperTypes().add(this.getStatement()); | 1006 | predicateDefinitionEClass.getESuperTypes().add(this.getStatement()); |
959 | parameterEClass.getESuperTypes().add(this.getVariable()); | 1007 | parameterEClass.getESuperTypes().add(this.getVariable()); |
960 | variableEClass.getESuperTypes().add(this.getNamedElement()); | 1008 | variableEClass.getESuperTypes().add(this.getVariableOrNode()); |
961 | conjunctionEClass.getESuperTypes().add(this.getExistentialQuantifier()); | 1009 | conjunctionEClass.getESuperTypes().add(this.getExistentialQuantifier()); |
962 | atomEClass.getESuperTypes().add(this.getLiteral()); | 1010 | atomEClass.getESuperTypes().add(this.getLiteral()); |
963 | implicitVariableEClass.getESuperTypes().add(this.getVariable()); | 1011 | implicitVariableEClass.getESuperTypes().add(this.getVariable()); |
964 | negativeLiteralEClass.getESuperTypes().add(this.getExistentialQuantifier()); | 1012 | negativeLiteralEClass.getESuperTypes().add(this.getExistentialQuantifier()); |
965 | negativeLiteralEClass.getESuperTypes().add(this.getLiteral()); | 1013 | negativeLiteralEClass.getESuperTypes().add(this.getLiteral()); |
966 | assertionEClass.getESuperTypes().add(this.getStatement()); | 1014 | assertionEClass.getESuperTypes().add(this.getStatement()); |
967 | nodeEClass.getESuperTypes().add(this.getNamedElement()); | 1015 | nodeEClass.getESuperTypes().add(this.getVariableOrNode()); |
968 | scopeDeclarationEClass.getESuperTypes().add(this.getStatement()); | 1016 | scopeDeclarationEClass.getESuperTypes().add(this.getStatement()); |
969 | rangeMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 1017 | rangeMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
970 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 1018 | exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
971 | unboundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); | 1019 | unboundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity()); |
1020 | enumDeclarationEClass.getESuperTypes().add(this.getRelation()); | ||
1021 | enumDeclarationEClass.getESuperTypes().add(this.getStatement()); | ||
1022 | variableOrNodeEClass.getESuperTypes().add(this.getNamedElement()); | ||
972 | 1023 | ||
973 | // Initialize classes, features, and operations; add parameters | 1024 | // Initialize classes, features, and operations; add parameters |
974 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1025 | initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -986,7 +1037,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
986 | initEAttribute(getClassDeclaration_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, | 1037 | initEAttribute(getClassDeclaration_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, |
987 | ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, | 1038 | ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, |
988 | !IS_DERIVED, IS_ORDERED); | 1039 | !IS_DERIVED, IS_ORDERED); |
989 | initEReference(getClassDeclaration_SuperTypes(), this.getClassDeclaration(), null, "superTypes", null, 0, -1, | 1040 | initEReference(getClassDeclaration_SuperTypes(), this.getRelation(), null, "superTypes", null, 0, -1, |
990 | ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | 1041 | ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, |
991 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1042 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
992 | initEReference(getClassDeclaration_ReferenceDeclarations(), this.getReferenceDeclaration(), null, | 1043 | initEReference(getClassDeclaration_ReferenceDeclarations(), this.getReferenceDeclaration(), null, |
@@ -998,8 +1049,8 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
998 | 1049 | ||
999 | initEClass(referenceDeclarationEClass, ReferenceDeclaration.class, "ReferenceDeclaration", !IS_ABSTRACT, | 1050 | initEClass(referenceDeclarationEClass, ReferenceDeclaration.class, "ReferenceDeclaration", !IS_ABSTRACT, |
1000 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1051 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1001 | initEReference(getReferenceDeclaration_ReferenceType(), this.getClassDeclaration(), null, "referenceType", null, | 1052 | initEReference(getReferenceDeclaration_ReferenceType(), this.getRelation(), null, "referenceType", null, 0, 1, |
1002 | 0, 1, ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, | 1053 | ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, |
1003 | IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1054 | IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1004 | initEReference(getReferenceDeclaration_Opposite(), this.getReferenceDeclaration(), null, "opposite", null, 0, 1, | 1055 | initEReference(getReferenceDeclaration_Opposite(), this.getReferenceDeclaration(), null, "opposite", null, 0, 1, |
1005 | ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, | 1056 | ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, |
@@ -1030,7 +1081,7 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
1030 | 1081 | ||
1031 | initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, | 1082 | initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, |
1032 | IS_GENERATED_INSTANCE_CLASS); | 1083 | IS_GENERATED_INSTANCE_CLASS); |
1033 | initEReference(getParameter_ParameterType(), this.getClassDeclaration(), null, "parameterType", null, 0, 1, | 1084 | initEReference(getParameter_ParameterType(), this.getRelation(), null, "parameterType", null, 0, 1, |
1034 | Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | 1085 | Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, |
1035 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1086 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1036 | 1087 | ||
@@ -1126,13 +1177,22 @@ public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage { | |||
1126 | 1177 | ||
1127 | initEClass(argumentEClass, Argument.class, "Argument", !IS_ABSTRACT, !IS_INTERFACE, | 1178 | initEClass(argumentEClass, Argument.class, "Argument", !IS_ABSTRACT, !IS_INTERFACE, |
1128 | IS_GENERATED_INSTANCE_CLASS); | 1179 | IS_GENERATED_INSTANCE_CLASS); |
1129 | initEReference(getArgument_Variable(), this.getVariable(), null, "variable", null, 0, 1, Argument.class, | 1180 | initEReference(getArgument_VariableOrNode(), this.getVariableOrNode(), null, "variableOrNode", null, 0, 1, |
1130 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | 1181 | Argument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, |
1131 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1182 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1132 | initEReference(getArgument_SingletonVariable(), this.getImplicitVariable(), null, "singletonVariable", null, 0, | 1183 | initEReference(getArgument_SingletonVariable(), this.getImplicitVariable(), null, "singletonVariable", null, 0, |
1133 | 1, Argument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | 1184 | 1, Argument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, |
1134 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1185 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1135 | 1186 | ||
1187 | initEClass(enumDeclarationEClass, EnumDeclaration.class, "EnumDeclaration", !IS_ABSTRACT, !IS_INTERFACE, | ||
1188 | IS_GENERATED_INSTANCE_CLASS); | ||
1189 | initEReference(getEnumDeclaration_Literals(), this.getNode(), null, "literals", null, 0, -1, | ||
1190 | EnumDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, | ||
1191 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1192 | |||
1193 | initEClass(variableOrNodeEClass, VariableOrNode.class, "VariableOrNode", IS_ABSTRACT, !IS_INTERFACE, | ||
1194 | IS_GENERATED_INSTANCE_CLASS); | ||
1195 | |||
1136 | // Initialize enums and add enum literals | 1196 | // Initialize enums and add enum literals |
1137 | initEEnum(logicValueEEnum, LogicValue.class, "LogicValue"); | 1197 | initEEnum(logicValueEEnum, LogicValue.class, "LogicValue"); |
1138 | addEEnumLiteral(logicValueEEnum, LogicValue.TRUE); | 1198 | addEEnumLiteral(logicValueEEnum, LogicValue.TRUE); |