diff options
Diffstat (limited to 'Solvers/VIATRA-Solver')
25 files changed, 1858 insertions, 89 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.classpath b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.classpath deleted file mode 100644 index 2b46fc9b..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.classpath +++ /dev/null | |||
@@ -1,9 +0,0 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <classpath> | ||
3 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | ||
4 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | ||
5 | <classpathentry kind="src" path="src"/> | ||
6 | <classpathentry kind="src" path="xtend-gen"/> | ||
7 | <classpathentry kind="src" path="src-gen/"/> | ||
8 | <classpathentry kind="output" path="bin"/> | ||
9 | </classpath> | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.gitignore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.gitignore deleted file mode 100644 index f2741e97..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.gitignore +++ /dev/null | |||
@@ -1,3 +0,0 @@ | |||
1 | /bin/ | ||
2 | /vql-gen/ | ||
3 | /xtend-gen/ | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.project b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.project deleted file mode 100644 index 153ec5ab..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.project +++ /dev/null | |||
@@ -1,34 +0,0 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <projectDescription> | ||
3 | <name>hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic</name> | ||
4 | <comment></comment> | ||
5 | <projects> | ||
6 | </projects> | ||
7 | <buildSpec> | ||
8 | <buildCommand> | ||
9 | <name>org.eclipse.xtext.ui.shared.xtextBuilder</name> | ||
10 | <arguments> | ||
11 | </arguments> | ||
12 | </buildCommand> | ||
13 | <buildCommand> | ||
14 | <name>org.eclipse.jdt.core.javabuilder</name> | ||
15 | <arguments> | ||
16 | </arguments> | ||
17 | </buildCommand> | ||
18 | <buildCommand> | ||
19 | <name>org.eclipse.pde.ManifestBuilder</name> | ||
20 | <arguments> | ||
21 | </arguments> | ||
22 | </buildCommand> | ||
23 | <buildCommand> | ||
24 | <name>org.eclipse.pde.SchemaBuilder</name> | ||
25 | <arguments> | ||
26 | </arguments> | ||
27 | </buildCommand> | ||
28 | </buildSpec> | ||
29 | <natures> | ||
30 | <nature>org.eclipse.pde.PluginNature</nature> | ||
31 | <nature>org.eclipse.jdt.core.javanature</nature> | ||
32 | <nature>org.eclipse.xtext.ui.shared.xtextNature</nature> | ||
33 | </natures> | ||
34 | </projectDescription> | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.settings/org.eclipse.jdt.core.prefs b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 295926d9..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.settings/org.eclipse.jdt.core.prefs +++ /dev/null | |||
@@ -1,7 +0,0 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled | ||
3 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 | ||
4 | org.eclipse.jdt.core.compiler.compliance=1.8 | ||
5 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error | ||
6 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error | ||
7 | org.eclipse.jdt.core.compiler.source=1.8 | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF deleted file mode 100644 index 703a1cef..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF +++ /dev/null | |||
@@ -1,15 +0,0 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Bundle-ManifestVersion: 2 | ||
3 | Bundle-Name: Partialinterpretation2logic | ||
4 | Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic | ||
5 | Bundle-Version: 1.0.0.qualifier | ||
6 | Export-Package: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic | ||
7 | Require-Bundle: com.google.guava, | ||
8 | org.eclipse.xtext.xbase.lib, | ||
9 | org.eclipse.xtend.lib, | ||
10 | org.eclipse.xtend.lib.macro, | ||
11 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", | ||
12 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | ||
13 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0" | ||
14 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||
15 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties deleted file mode 100644 index 704a86e2..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties +++ /dev/null | |||
@@ -1,6 +0,0 @@ | |||
1 | bin.includes = META-INF/,\ | ||
2 | . | ||
3 | source.. = src/,\ | ||
4 | src-gen/,\ | ||
5 | xtend-gen/ | ||
6 | output.. = bin/ | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF index 91960c3a..83c90829 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF | |||
@@ -7,22 +7,28 @@ Bundle-ClassPath: . | |||
7 | Bundle-Vendor: %providerName | 7 | Bundle-Vendor: %providerName |
8 | Bundle-Localization: plugin | 8 | Bundle-Localization: plugin |
9 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 9 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
10 | Export-Package: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage, | 10 | Export-Package: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic, |
11 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage, | ||
11 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood, | 12 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood, |
12 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation, | 13 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation, |
13 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl, | 14 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl, |
14 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util, | 15 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util, |
15 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.statecoder, | 16 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.statecoder, |
16 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation | 17 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation, |
18 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations, | ||
19 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl, | ||
20 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util | ||
17 | Require-Bundle: org.eclipse.core.runtime, | 21 | Require-Bundle: org.eclipse.core.runtime, |
18 | org.eclipse.emf.ecore;visibility:=reexport, | 22 | org.eclipse.emf.ecore;visibility:=reexport, |
19 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport, | 23 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport, |
24 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;visibility:=reexport, | ||
20 | com.google.guava, | 25 | com.google.guava, |
21 | org.eclipse.xtext.xbase.lib, | 26 | org.eclipse.xtext.xbase.lib, |
22 | org.eclipse.xtend.lib, | 27 | org.eclipse.xtend.lib, |
23 | org.eclipse.xtend.lib.macro, | 28 | org.eclipse.xtend.lib.macro, |
24 | org.eclipse.viatra.query.runtime;bundle-version="1.5.0", | 29 | org.eclipse.viatra.query.runtime;bundle-version="1.5.0", |
25 | org.eclipse.viatra.dse;bundle-version="0.15.0" | 30 | org.eclipse.viatra.dse;bundle-version="0.15.0", |
31 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0" | ||
26 | Bundle-ActivationPolicy: lazy | 32 | Bundle-ActivationPolicy: lazy |
27 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage | 33 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage |
28 | 34 | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java new file mode 100644 index 00000000..7d53f823 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java | |||
@@ -0,0 +1,42 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EFactory; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * The <b>Factory</b> for the model. | ||
10 | * It provides a create method for each non-abstract class of the model. | ||
11 | * <!-- end-user-doc --> | ||
12 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface Partial2logicannotationsFactory extends EFactory { | ||
16 | /** | ||
17 | * The singleton instance of the factory. | ||
18 | * <!-- begin-user-doc --> | ||
19 | * <!-- end-user-doc --> | ||
20 | * @generated | ||
21 | */ | ||
22 | Partial2logicannotationsFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsFactoryImpl.init(); | ||
23 | |||
24 | /** | ||
25 | * Returns a new object of class '<em>Partial Model Relation2 Assertion</em>'. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <!-- end-user-doc --> | ||
28 | * @return a new object of class '<em>Partial Model Relation2 Assertion</em>'. | ||
29 | * @generated | ||
30 | */ | ||
31 | PartialModelRelation2Assertion createPartialModelRelation2Assertion(); | ||
32 | |||
33 | /** | ||
34 | * Returns the package supported by this factory. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @return the package supported by this factory. | ||
38 | * @generated | ||
39 | */ | ||
40 | Partial2logicannotationsPackage getPartial2logicannotationsPackage(); | ||
41 | |||
42 | } //Partial2logicannotationsFactory | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java new file mode 100644 index 00000000..25438ba2 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java | |||
@@ -0,0 +1,199 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EPackage; | ||
9 | import org.eclipse.emf.ecore.EReference; | ||
10 | |||
11 | /** | ||
12 | * <!-- begin-user-doc --> | ||
13 | * The <b>Package</b> for the model. | ||
14 | * It contains accessors for the meta objects to represent | ||
15 | * <ul> | ||
16 | * <li>each class,</li> | ||
17 | * <li>each feature of each class,</li> | ||
18 | * <li>each operation of each class,</li> | ||
19 | * <li>each enum,</li> | ||
20 | * <li>and each data type</li> | ||
21 | * </ul> | ||
22 | * <!-- end-user-doc --> | ||
23 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory | ||
24 | * @model kind="package" | ||
25 | * @generated | ||
26 | */ | ||
27 | public interface Partial2logicannotationsPackage extends EPackage { | ||
28 | /** | ||
29 | * The package name. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | String eNAME = "partial2logicannotations"; | ||
35 | |||
36 | /** | ||
37 | * The package namespace URI. | ||
38 | * <!-- begin-user-doc --> | ||
39 | * <!-- end-user-doc --> | ||
40 | * @generated | ||
41 | */ | ||
42 | String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation"; | ||
43 | |||
44 | /** | ||
45 | * The package namespace name. | ||
46 | * <!-- begin-user-doc --> | ||
47 | * <!-- end-user-doc --> | ||
48 | * @generated | ||
49 | */ | ||
50 | String eNS_PREFIX = "partial2logicannotations"; | ||
51 | |||
52 | /** | ||
53 | * The singleton instance of the package. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @generated | ||
57 | */ | ||
58 | Partial2logicannotationsPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl.init(); | ||
59 | |||
60 | /** | ||
61 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl <em>Partial Model Relation2 Assertion</em>}' class. | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl | ||
65 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl#getPartialModelRelation2Assertion() | ||
66 | * @generated | ||
67 | */ | ||
68 | int PARTIAL_MODEL_RELATION2_ASSERTION = 0; | ||
69 | |||
70 | /** | ||
71 | * The feature id for the '<em><b>Target</b></em>' reference. | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | * @ordered | ||
76 | */ | ||
77 | int PARTIAL_MODEL_RELATION2_ASSERTION__TARGET = LogicproblemPackage.ASSERTION_ANNOTATION__TARGET; | ||
78 | |||
79 | /** | ||
80 | * The feature id for the '<em><b>Links</b></em>' containment reference list. | ||
81 | * <!-- begin-user-doc --> | ||
82 | * <!-- end-user-doc --> | ||
83 | * @generated | ||
84 | * @ordered | ||
85 | */ | ||
86 | int PARTIAL_MODEL_RELATION2_ASSERTION__LINKS = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 0; | ||
87 | |||
88 | /** | ||
89 | * The feature id for the '<em><b>Target Relation</b></em>' reference. | ||
90 | * <!-- begin-user-doc --> | ||
91 | * <!-- end-user-doc --> | ||
92 | * @generated | ||
93 | * @ordered | ||
94 | */ | ||
95 | int PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 1; | ||
96 | |||
97 | /** | ||
98 | * The number of structural features of the '<em>Partial Model Relation2 Assertion</em>' class. | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @generated | ||
102 | * @ordered | ||
103 | */ | ||
104 | int PARTIAL_MODEL_RELATION2_ASSERTION_FEATURE_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 2; | ||
105 | |||
106 | /** | ||
107 | * The number of operations of the '<em>Partial Model Relation2 Assertion</em>' class. | ||
108 | * <!-- begin-user-doc --> | ||
109 | * <!-- end-user-doc --> | ||
110 | * @generated | ||
111 | * @ordered | ||
112 | */ | ||
113 | int PARTIAL_MODEL_RELATION2_ASSERTION_OPERATION_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_OPERATION_COUNT + 0; | ||
114 | |||
115 | |||
116 | /** | ||
117 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion <em>Partial Model Relation2 Assertion</em>}'. | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @return the meta object for class '<em>Partial Model Relation2 Assertion</em>'. | ||
121 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion | ||
122 | * @generated | ||
123 | */ | ||
124 | EClass getPartialModelRelation2Assertion(); | ||
125 | |||
126 | /** | ||
127 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks <em>Links</em>}'. | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @return the meta object for the containment reference list '<em>Links</em>'. | ||
131 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks() | ||
132 | * @see #getPartialModelRelation2Assertion() | ||
133 | * @generated | ||
134 | */ | ||
135 | EReference getPartialModelRelation2Assertion_Links(); | ||
136 | |||
137 | /** | ||
138 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}'. | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @return the meta object for the reference '<em>Target Relation</em>'. | ||
142 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation() | ||
143 | * @see #getPartialModelRelation2Assertion() | ||
144 | * @generated | ||
145 | */ | ||
146 | EReference getPartialModelRelation2Assertion_TargetRelation(); | ||
147 | |||
148 | /** | ||
149 | * Returns the factory that creates the instances of the model. | ||
150 | * <!-- begin-user-doc --> | ||
151 | * <!-- end-user-doc --> | ||
152 | * @return the factory that creates the instances of the model. | ||
153 | * @generated | ||
154 | */ | ||
155 | Partial2logicannotationsFactory getPartial2logicannotationsFactory(); | ||
156 | |||
157 | /** | ||
158 | * <!-- begin-user-doc --> | ||
159 | * Defines literals for the meta objects that represent | ||
160 | * <ul> | ||
161 | * <li>each class,</li> | ||
162 | * <li>each feature of each class,</li> | ||
163 | * <li>each operation of each class,</li> | ||
164 | * <li>each enum,</li> | ||
165 | * <li>and each data type</li> | ||
166 | * </ul> | ||
167 | * <!-- end-user-doc --> | ||
168 | * @generated | ||
169 | */ | ||
170 | interface Literals { | ||
171 | /** | ||
172 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl <em>Partial Model Relation2 Assertion</em>}' class. | ||
173 | * <!-- begin-user-doc --> | ||
174 | * <!-- end-user-doc --> | ||
175 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl | ||
176 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl#getPartialModelRelation2Assertion() | ||
177 | * @generated | ||
178 | */ | ||
179 | EClass PARTIAL_MODEL_RELATION2_ASSERTION = eINSTANCE.getPartialModelRelation2Assertion(); | ||
180 | |||
181 | /** | ||
182 | * The meta object literal for the '<em><b>Links</b></em>' containment reference list feature. | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | EReference PARTIAL_MODEL_RELATION2_ASSERTION__LINKS = eINSTANCE.getPartialModelRelation2Assertion_Links(); | ||
188 | |||
189 | /** | ||
190 | * The meta object literal for the '<em><b>Target Relation</b></em>' reference feature. | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | EReference PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION = eINSTANCE.getPartialModelRelation2Assertion_TargetRelation(); | ||
196 | |||
197 | } | ||
198 | |||
199 | } //Partial2logicannotationsPackage | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java new file mode 100644 index 00000000..3c7f1a38 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java | |||
@@ -0,0 +1,72 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; | ||
9 | |||
10 | import org.eclipse.emf.common.util.EList; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * A representation of the model object '<em><b>Partial Model Relation2 Assertion</b></em>'. | ||
15 | * <!-- end-user-doc --> | ||
16 | * | ||
17 | * <p> | ||
18 | * The following features are supported: | ||
19 | * </p> | ||
20 | * <ul> | ||
21 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks <em>Links</em>}</li> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion() | ||
26 | * @model | ||
27 | * @generated | ||
28 | */ | ||
29 | public interface PartialModelRelation2Assertion extends AssertionAnnotation { | ||
30 | /** | ||
31 | * Returns the value of the '<em><b>Links</b></em>' containment reference list. | ||
32 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink}. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <p> | ||
35 | * If the meaning of the '<em>Links</em>' containment reference list isn't clear, | ||
36 | * there really should be more of a description here... | ||
37 | * </p> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @return the value of the '<em>Links</em>' containment reference list. | ||
40 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion_Links() | ||
41 | * @model containment="true" | ||
42 | * @generated | ||
43 | */ | ||
44 | EList<RelationLink> getLinks(); | ||
45 | |||
46 | /** | ||
47 | * Returns the value of the '<em><b>Target Relation</b></em>' reference. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <p> | ||
50 | * If the meaning of the '<em>Target Relation</em>' reference isn't clear, | ||
51 | * there really should be more of a description here... | ||
52 | * </p> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @return the value of the '<em>Target Relation</em>' reference. | ||
55 | * @see #setTargetRelation(RelationDeclaration) | ||
56 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion_TargetRelation() | ||
57 | * @model required="true" | ||
58 | * @generated | ||
59 | */ | ||
60 | RelationDeclaration getTargetRelation(); | ||
61 | |||
62 | /** | ||
63 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}' reference. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @param value the new value of the '<em>Target Relation</em>' reference. | ||
67 | * @see #getTargetRelation() | ||
68 | * @generated | ||
69 | */ | ||
70 | void setTargetRelation(RelationDeclaration value); | ||
71 | |||
72 | } // PartialModelRelation2Assertion | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java new file mode 100644 index 00000000..a9906e70 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java | |||
@@ -0,0 +1,95 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EObject; | ||
9 | import org.eclipse.emf.ecore.EPackage; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
12 | |||
13 | import org.eclipse.emf.ecore.plugin.EcorePlugin; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model <b>Factory</b>. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @generated | ||
20 | */ | ||
21 | public class Partial2logicannotationsFactoryImpl extends EFactoryImpl implements Partial2logicannotationsFactory { | ||
22 | /** | ||
23 | * Creates the default factory implementation. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @generated | ||
27 | */ | ||
28 | public static Partial2logicannotationsFactory init() { | ||
29 | try { | ||
30 | Partial2logicannotationsFactory thePartial2logicannotationsFactory = (Partial2logicannotationsFactory)EPackage.Registry.INSTANCE.getEFactory(Partial2logicannotationsPackage.eNS_URI); | ||
31 | if (thePartial2logicannotationsFactory != null) { | ||
32 | return thePartial2logicannotationsFactory; | ||
33 | } | ||
34 | } | ||
35 | catch (Exception exception) { | ||
36 | EcorePlugin.INSTANCE.log(exception); | ||
37 | } | ||
38 | return new Partial2logicannotationsFactoryImpl(); | ||
39 | } | ||
40 | |||
41 | /** | ||
42 | * Creates an instance of the factory. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | public Partial2logicannotationsFactoryImpl() { | ||
48 | super(); | ||
49 | } | ||
50 | |||
51 | /** | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | @Override | ||
57 | public EObject create(EClass eClass) { | ||
58 | switch (eClass.getClassifierID()) { | ||
59 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION: return createPartialModelRelation2Assertion(); | ||
60 | default: | ||
61 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | ||
62 | } | ||
63 | } | ||
64 | |||
65 | /** | ||
66 | * <!-- begin-user-doc --> | ||
67 | * <!-- end-user-doc --> | ||
68 | * @generated | ||
69 | */ | ||
70 | public PartialModelRelation2Assertion createPartialModelRelation2Assertion() { | ||
71 | PartialModelRelation2AssertionImpl partialModelRelation2Assertion = new PartialModelRelation2AssertionImpl(); | ||
72 | return partialModelRelation2Assertion; | ||
73 | } | ||
74 | |||
75 | /** | ||
76 | * <!-- begin-user-doc --> | ||
77 | * <!-- end-user-doc --> | ||
78 | * @generated | ||
79 | */ | ||
80 | public Partial2logicannotationsPackage getPartial2logicannotationsPackage() { | ||
81 | return (Partial2logicannotationsPackage)getEPackage(); | ||
82 | } | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @deprecated | ||
88 | * @generated | ||
89 | */ | ||
90 | @Deprecated | ||
91 | public static Partial2logicannotationsPackage getPackage() { | ||
92 | return Partial2logicannotationsPackage.eINSTANCE; | ||
93 | } | ||
94 | |||
95 | } //Partial2logicannotationsFactoryImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java new file mode 100644 index 00000000..f83498cd --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java | |||
@@ -0,0 +1,205 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
8 | |||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory; | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage; | ||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion; | ||
12 | |||
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; | ||
14 | |||
15 | import org.eclipse.emf.ecore.EClass; | ||
16 | import org.eclipse.emf.ecore.EPackage; | ||
17 | import org.eclipse.emf.ecore.EReference; | ||
18 | |||
19 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
20 | |||
21 | /** | ||
22 | * <!-- begin-user-doc --> | ||
23 | * An implementation of the model <b>Package</b>. | ||
24 | * <!-- end-user-doc --> | ||
25 | * @generated | ||
26 | */ | ||
27 | public class Partial2logicannotationsPackageImpl extends EPackageImpl implements Partial2logicannotationsPackage { | ||
28 | /** | ||
29 | * <!-- begin-user-doc --> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @generated | ||
32 | */ | ||
33 | private EClass partialModelRelation2AssertionEClass = null; | ||
34 | |||
35 | /** | ||
36 | * Creates an instance of the model <b>Package</b>, registered with | ||
37 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
38 | * package URI value. | ||
39 | * <p>Note: the correct way to create the package is via the static | ||
40 | * factory method {@link #init init()}, which also performs | ||
41 | * initialization of the package, or returns the registered package, | ||
42 | * if one already exists. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
46 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#eNS_URI | ||
47 | * @see #init() | ||
48 | * @generated | ||
49 | */ | ||
50 | private Partial2logicannotationsPackageImpl() { | ||
51 | super(eNS_URI, Partial2logicannotationsFactory.eINSTANCE); | ||
52 | } | ||
53 | |||
54 | /** | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @generated | ||
58 | */ | ||
59 | private static boolean isInited = false; | ||
60 | |||
61 | /** | ||
62 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
63 | * | ||
64 | * <p>This method is used to initialize {@link Partial2logicannotationsPackage#eINSTANCE} when that field is accessed. | ||
65 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
66 | * <!-- begin-user-doc --> | ||
67 | * <!-- end-user-doc --> | ||
68 | * @see #eNS_URI | ||
69 | * @see #createPackageContents() | ||
70 | * @see #initializePackageContents() | ||
71 | * @generated | ||
72 | */ | ||
73 | public static Partial2logicannotationsPackage init() { | ||
74 | if (isInited) return (Partial2logicannotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Partial2logicannotationsPackage.eNS_URI); | ||
75 | |||
76 | // Obtain or create and register package | ||
77 | Partial2logicannotationsPackageImpl thePartial2logicannotationsPackage = (Partial2logicannotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Partial2logicannotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Partial2logicannotationsPackageImpl()); | ||
78 | |||
79 | isInited = true; | ||
80 | |||
81 | // Initialize simple dependencies | ||
82 | LogiclanguagePackage.eINSTANCE.eClass(); | ||
83 | LogicproblemPackage.eINSTANCE.eClass(); | ||
84 | PartialinterpretationPackage.eINSTANCE.eClass(); | ||
85 | |||
86 | // Create package meta-data objects | ||
87 | thePartial2logicannotationsPackage.createPackageContents(); | ||
88 | |||
89 | // Initialize created meta-data | ||
90 | thePartial2logicannotationsPackage.initializePackageContents(); | ||
91 | |||
92 | // Mark meta-data to indicate it can't be changed | ||
93 | thePartial2logicannotationsPackage.freeze(); | ||
94 | |||
95 | |||
96 | // Update the registry and return the package | ||
97 | EPackage.Registry.INSTANCE.put(Partial2logicannotationsPackage.eNS_URI, thePartial2logicannotationsPackage); | ||
98 | return thePartial2logicannotationsPackage; | ||
99 | } | ||
100 | |||
101 | /** | ||
102 | * <!-- begin-user-doc --> | ||
103 | * <!-- end-user-doc --> | ||
104 | * @generated | ||
105 | */ | ||
106 | public EClass getPartialModelRelation2Assertion() { | ||
107 | return partialModelRelation2AssertionEClass; | ||
108 | } | ||
109 | |||
110 | /** | ||
111 | * <!-- begin-user-doc --> | ||
112 | * <!-- end-user-doc --> | ||
113 | * @generated | ||
114 | */ | ||
115 | public EReference getPartialModelRelation2Assertion_Links() { | ||
116 | return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(0); | ||
117 | } | ||
118 | |||
119 | /** | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @generated | ||
123 | */ | ||
124 | public EReference getPartialModelRelation2Assertion_TargetRelation() { | ||
125 | return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(1); | ||
126 | } | ||
127 | |||
128 | /** | ||
129 | * <!-- begin-user-doc --> | ||
130 | * <!-- end-user-doc --> | ||
131 | * @generated | ||
132 | */ | ||
133 | public Partial2logicannotationsFactory getPartial2logicannotationsFactory() { | ||
134 | return (Partial2logicannotationsFactory)getEFactoryInstance(); | ||
135 | } | ||
136 | |||
137 | /** | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @generated | ||
141 | */ | ||
142 | private boolean isCreated = false; | ||
143 | |||
144 | /** | ||
145 | * Creates the meta-model objects for the package. This method is | ||
146 | * guarded to have no affect on any invocation but its first. | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | public void createPackageContents() { | ||
152 | if (isCreated) return; | ||
153 | isCreated = true; | ||
154 | |||
155 | // Create classes and their features | ||
156 | partialModelRelation2AssertionEClass = createEClass(PARTIAL_MODEL_RELATION2_ASSERTION); | ||
157 | createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__LINKS); | ||
158 | createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION); | ||
159 | } | ||
160 | |||
161 | /** | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | */ | ||
166 | private boolean isInitialized = false; | ||
167 | |||
168 | /** | ||
169 | * Complete the initialization of the package and its meta-model. This | ||
170 | * method is guarded to have no affect on any invocation but its first. | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | public void initializePackageContents() { | ||
176 | if (isInitialized) return; | ||
177 | isInitialized = true; | ||
178 | |||
179 | // Initialize package | ||
180 | setName(eNAME); | ||
181 | setNsPrefix(eNS_PREFIX); | ||
182 | setNsURI(eNS_URI); | ||
183 | |||
184 | // Obtain other dependent packages | ||
185 | LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | ||
186 | PartialinterpretationPackage thePartialinterpretationPackage = (PartialinterpretationPackage)EPackage.Registry.INSTANCE.getEPackage(PartialinterpretationPackage.eNS_URI); | ||
187 | LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI); | ||
188 | |||
189 | // Create type parameters | ||
190 | |||
191 | // Set bounds for type parameters | ||
192 | |||
193 | // Add supertypes to classes | ||
194 | partialModelRelation2AssertionEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation()); | ||
195 | |||
196 | // Initialize classes, features, and operations; add parameters | ||
197 | initEClass(partialModelRelation2AssertionEClass, PartialModelRelation2Assertion.class, "PartialModelRelation2Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
198 | initEReference(getPartialModelRelation2Assertion_Links(), thePartialinterpretationPackage.getRelationLink(), null, "links", null, 0, -1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
199 | initEReference(getPartialModelRelation2Assertion_TargetRelation(), theLogiclanguagePackage.getRelationDeclaration(), null, "targetRelation", null, 1, 1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
200 | |||
201 | // Create resource | ||
202 | createResource(eNS_URI); | ||
203 | } | ||
204 | |||
205 | } //Partial2logicannotationsPackageImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java new file mode 100644 index 00000000..92011d1c --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java | |||
@@ -0,0 +1,216 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage; | ||
9 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion; | ||
10 | |||
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; | ||
12 | |||
13 | import java.util.Collection; | ||
14 | |||
15 | import org.eclipse.emf.common.notify.Notification; | ||
16 | import org.eclipse.emf.common.notify.NotificationChain; | ||
17 | |||
18 | import org.eclipse.emf.common.util.EList; | ||
19 | |||
20 | import org.eclipse.emf.ecore.EClass; | ||
21 | import org.eclipse.emf.ecore.InternalEObject; | ||
22 | |||
23 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
24 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
25 | import org.eclipse.emf.ecore.util.InternalEList; | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * An implementation of the model object '<em><b>Partial Model Relation2 Assertion</b></em>'. | ||
30 | * <!-- end-user-doc --> | ||
31 | * <p> | ||
32 | * The following features are implemented: | ||
33 | * </p> | ||
34 | * <ul> | ||
35 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl#getLinks <em>Links</em>}</li> | ||
36 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl#getTargetRelation <em>Target Relation</em>}</li> | ||
37 | * </ul> | ||
38 | * | ||
39 | * @generated | ||
40 | */ | ||
41 | public class PartialModelRelation2AssertionImpl extends AssertionAnnotationImpl implements PartialModelRelation2Assertion { | ||
42 | /** | ||
43 | * The cached value of the '{@link #getLinks() <em>Links</em>}' containment reference list. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @see #getLinks() | ||
47 | * @generated | ||
48 | * @ordered | ||
49 | */ | ||
50 | protected EList<RelationLink> links; | ||
51 | |||
52 | /** | ||
53 | * The cached value of the '{@link #getTargetRelation() <em>Target Relation</em>}' reference. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @see #getTargetRelation() | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | protected RelationDeclaration targetRelation; | ||
61 | |||
62 | /** | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @generated | ||
66 | */ | ||
67 | protected PartialModelRelation2AssertionImpl() { | ||
68 | super(); | ||
69 | } | ||
70 | |||
71 | /** | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | */ | ||
76 | @Override | ||
77 | protected EClass eStaticClass() { | ||
78 | return Partial2logicannotationsPackage.Literals.PARTIAL_MODEL_RELATION2_ASSERTION; | ||
79 | } | ||
80 | |||
81 | /** | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @generated | ||
85 | */ | ||
86 | public EList<RelationLink> getLinks() { | ||
87 | if (links == null) { | ||
88 | links = new EObjectContainmentEList<RelationLink>(RelationLink.class, this, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS); | ||
89 | } | ||
90 | return links; | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public RelationDeclaration getTargetRelation() { | ||
99 | if (targetRelation != null && targetRelation.eIsProxy()) { | ||
100 | InternalEObject oldTargetRelation = (InternalEObject)targetRelation; | ||
101 | targetRelation = (RelationDeclaration)eResolveProxy(oldTargetRelation); | ||
102 | if (targetRelation != oldTargetRelation) { | ||
103 | if (eNotificationRequired()) | ||
104 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION, oldTargetRelation, targetRelation)); | ||
105 | } | ||
106 | } | ||
107 | return targetRelation; | ||
108 | } | ||
109 | |||
110 | /** | ||
111 | * <!-- begin-user-doc --> | ||
112 | * <!-- end-user-doc --> | ||
113 | * @generated | ||
114 | */ | ||
115 | public RelationDeclaration basicGetTargetRelation() { | ||
116 | return targetRelation; | ||
117 | } | ||
118 | |||
119 | /** | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @generated | ||
123 | */ | ||
124 | public void setTargetRelation(RelationDeclaration newTargetRelation) { | ||
125 | RelationDeclaration oldTargetRelation = targetRelation; | ||
126 | targetRelation = newTargetRelation; | ||
127 | if (eNotificationRequired()) | ||
128 | eNotify(new ENotificationImpl(this, Notification.SET, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION, oldTargetRelation, targetRelation)); | ||
129 | } | ||
130 | |||
131 | /** | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @generated | ||
135 | */ | ||
136 | @Override | ||
137 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
138 | switch (featureID) { | ||
139 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
140 | return ((InternalEList<?>)getLinks()).basicRemove(otherEnd, msgs); | ||
141 | } | ||
142 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
143 | } | ||
144 | |||
145 | /** | ||
146 | * <!-- begin-user-doc --> | ||
147 | * <!-- end-user-doc --> | ||
148 | * @generated | ||
149 | */ | ||
150 | @Override | ||
151 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
152 | switch (featureID) { | ||
153 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
154 | return getLinks(); | ||
155 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION: | ||
156 | if (resolve) return getTargetRelation(); | ||
157 | return basicGetTargetRelation(); | ||
158 | } | ||
159 | return super.eGet(featureID, resolve, coreType); | ||
160 | } | ||
161 | |||
162 | /** | ||
163 | * <!-- begin-user-doc --> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @generated | ||
166 | */ | ||
167 | @SuppressWarnings("unchecked") | ||
168 | @Override | ||
169 | public void eSet(int featureID, Object newValue) { | ||
170 | switch (featureID) { | ||
171 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
172 | getLinks().clear(); | ||
173 | getLinks().addAll((Collection<? extends RelationLink>)newValue); | ||
174 | return; | ||
175 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION: | ||
176 | setTargetRelation((RelationDeclaration)newValue); | ||
177 | return; | ||
178 | } | ||
179 | super.eSet(featureID, newValue); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public void eUnset(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
191 | getLinks().clear(); | ||
192 | return; | ||
193 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION: | ||
194 | setTargetRelation((RelationDeclaration)null); | ||
195 | return; | ||
196 | } | ||
197 | super.eUnset(featureID); | ||
198 | } | ||
199 | |||
200 | /** | ||
201 | * <!-- begin-user-doc --> | ||
202 | * <!-- end-user-doc --> | ||
203 | * @generated | ||
204 | */ | ||
205 | @Override | ||
206 | public boolean eIsSet(int featureID) { | ||
207 | switch (featureID) { | ||
208 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS: | ||
209 | return links != null && !links.isEmpty(); | ||
210 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION: | ||
211 | return targetRelation != null; | ||
212 | } | ||
213 | return super.eIsSet(featureID); | ||
214 | } | ||
215 | |||
216 | } //PartialModelRelation2AssertionImpl | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java new file mode 100644 index 00000000..2777a18d --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java | |||
@@ -0,0 +1,159 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Adapter; | ||
11 | import org.eclipse.emf.common.notify.Notifier; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | ||
14 | |||
15 | import org.eclipse.emf.ecore.EObject; | ||
16 | |||
17 | /** | ||
18 | * <!-- begin-user-doc --> | ||
19 | * The <b>Adapter Factory</b> for the model. | ||
20 | * It provides an adapter <code>createXXX</code> method for each class of the model. | ||
21 | * <!-- end-user-doc --> | ||
22 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public class Partial2logicannotationsAdapterFactory extends AdapterFactoryImpl { | ||
26 | /** | ||
27 | * The cached model package. | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | protected static Partial2logicannotationsPackage modelPackage; | ||
33 | |||
34 | /** | ||
35 | * Creates an instance of the adapter factory. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | public Partial2logicannotationsAdapterFactory() { | ||
41 | if (modelPackage == null) { | ||
42 | modelPackage = Partial2logicannotationsPackage.eINSTANCE; | ||
43 | } | ||
44 | } | ||
45 | |||
46 | /** | ||
47 | * Returns whether this factory is applicable for the type of the object. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model. | ||
50 | * <!-- end-user-doc --> | ||
51 | * @return whether this factory is applicable for the type of the object. | ||
52 | * @generated | ||
53 | */ | ||
54 | @Override | ||
55 | public boolean isFactoryForType(Object object) { | ||
56 | if (object == modelPackage) { | ||
57 | return true; | ||
58 | } | ||
59 | if (object instanceof EObject) { | ||
60 | return ((EObject)object).eClass().getEPackage() == modelPackage; | ||
61 | } | ||
62 | return false; | ||
63 | } | ||
64 | |||
65 | /** | ||
66 | * The switch that delegates to the <code>createXXX</code> methods. | ||
67 | * <!-- begin-user-doc --> | ||
68 | * <!-- end-user-doc --> | ||
69 | * @generated | ||
70 | */ | ||
71 | protected Partial2logicannotationsSwitch<Adapter> modelSwitch = | ||
72 | new Partial2logicannotationsSwitch<Adapter>() { | ||
73 | @Override | ||
74 | public Adapter casePartialModelRelation2Assertion(PartialModelRelation2Assertion object) { | ||
75 | return createPartialModelRelation2AssertionAdapter(); | ||
76 | } | ||
77 | @Override | ||
78 | public Adapter caseAnnotation(Annotation object) { | ||
79 | return createAnnotationAdapter(); | ||
80 | } | ||
81 | @Override | ||
82 | public Adapter caseAssertionAnnotation(AssertionAnnotation object) { | ||
83 | return createAssertionAnnotationAdapter(); | ||
84 | } | ||
85 | @Override | ||
86 | public Adapter defaultCase(EObject object) { | ||
87 | return createEObjectAdapter(); | ||
88 | } | ||
89 | }; | ||
90 | |||
91 | /** | ||
92 | * Creates an adapter for the <code>target</code>. | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @param target the object to adapt. | ||
96 | * @return the adapter for the <code>target</code>. | ||
97 | * @generated | ||
98 | */ | ||
99 | @Override | ||
100 | public Adapter createAdapter(Notifier target) { | ||
101 | return modelSwitch.doSwitch((EObject)target); | ||
102 | } | ||
103 | |||
104 | |||
105 | /** | ||
106 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion <em>Partial Model Relation2 Assertion</em>}'. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * This default implementation returns null so that we can easily ignore cases; | ||
109 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
110 | * <!-- end-user-doc --> | ||
111 | * @return the new adapter. | ||
112 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion | ||
113 | * @generated | ||
114 | */ | ||
115 | public Adapter createPartialModelRelation2AssertionAdapter() { | ||
116 | return null; | ||
117 | } | ||
118 | |||
119 | /** | ||
120 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'. | ||
121 | * <!-- begin-user-doc --> | ||
122 | * This default implementation returns null so that we can easily ignore cases; | ||
123 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
124 | * <!-- end-user-doc --> | ||
125 | * @return the new adapter. | ||
126 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation | ||
127 | * @generated | ||
128 | */ | ||
129 | public Adapter createAnnotationAdapter() { | ||
130 | return null; | ||
131 | } | ||
132 | |||
133 | /** | ||
134 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'. | ||
135 | * <!-- begin-user-doc --> | ||
136 | * This default implementation returns null so that we can easily ignore cases; | ||
137 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
138 | * <!-- end-user-doc --> | ||
139 | * @return the new adapter. | ||
140 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation | ||
141 | * @generated | ||
142 | */ | ||
143 | public Adapter createAssertionAnnotationAdapter() { | ||
144 | return null; | ||
145 | } | ||
146 | |||
147 | /** | ||
148 | * Creates a new adapter for the default case. | ||
149 | * <!-- begin-user-doc --> | ||
150 | * This default implementation returns null. | ||
151 | * <!-- end-user-doc --> | ||
152 | * @return the new adapter. | ||
153 | * @generated | ||
154 | */ | ||
155 | public Adapter createEObjectAdapter() { | ||
156 | return null; | ||
157 | } | ||
158 | |||
159 | } //Partial2logicannotationsAdapterFactory | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java new file mode 100644 index 00000000..f2a194e9 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java | |||
@@ -0,0 +1,145 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EObject; | ||
11 | import org.eclipse.emf.ecore.EPackage; | ||
12 | |||
13 | import org.eclipse.emf.ecore.util.Switch; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * The <b>Switch</b> for the model's inheritance hierarchy. | ||
18 | * It supports the call {@link #doSwitch(EObject) doSwitch(object)} | ||
19 | * to invoke the <code>caseXXX</code> method for each class of the model, | ||
20 | * starting with the actual class of the object | ||
21 | * and proceeding up the inheritance hierarchy | ||
22 | * until a non-null result is returned, | ||
23 | * which is the result of the switch. | ||
24 | * <!-- end-user-doc --> | ||
25 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage | ||
26 | * @generated | ||
27 | */ | ||
28 | public class Partial2logicannotationsSwitch<T> extends Switch<T> { | ||
29 | /** | ||
30 | * The cached model package | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @generated | ||
34 | */ | ||
35 | protected static Partial2logicannotationsPackage modelPackage; | ||
36 | |||
37 | /** | ||
38 | * Creates an instance of the switch. | ||
39 | * <!-- begin-user-doc --> | ||
40 | * <!-- end-user-doc --> | ||
41 | * @generated | ||
42 | */ | ||
43 | public Partial2logicannotationsSwitch() { | ||
44 | if (modelPackage == null) { | ||
45 | modelPackage = Partial2logicannotationsPackage.eINSTANCE; | ||
46 | } | ||
47 | } | ||
48 | |||
49 | /** | ||
50 | * Checks whether this is a switch for the given package. | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @param ePackage the package in question. | ||
54 | * @return whether this is a switch for the given package. | ||
55 | * @generated | ||
56 | */ | ||
57 | @Override | ||
58 | protected boolean isSwitchFor(EPackage ePackage) { | ||
59 | return ePackage == modelPackage; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @return the first non-null result returned by a <code>caseXXX</code> call. | ||
67 | * @generated | ||
68 | */ | ||
69 | @Override | ||
70 | protected T doSwitch(int classifierID, EObject theEObject) { | ||
71 | switch (classifierID) { | ||
72 | case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION: { | ||
73 | PartialModelRelation2Assertion partialModelRelation2Assertion = (PartialModelRelation2Assertion)theEObject; | ||
74 | T result = casePartialModelRelation2Assertion(partialModelRelation2Assertion); | ||
75 | if (result == null) result = caseAssertionAnnotation(partialModelRelation2Assertion); | ||
76 | if (result == null) result = caseAnnotation(partialModelRelation2Assertion); | ||
77 | if (result == null) result = defaultCase(theEObject); | ||
78 | return result; | ||
79 | } | ||
80 | default: return defaultCase(theEObject); | ||
81 | } | ||
82 | } | ||
83 | |||
84 | /** | ||
85 | * Returns the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</em>'. | ||
86 | * <!-- begin-user-doc --> | ||
87 | * This implementation returns null; | ||
88 | * returning a non-null result will terminate the switch. | ||
89 | * <!-- end-user-doc --> | ||
90 | * @param object the target of the switch. | ||
91 | * @return the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</em>'. | ||
92 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
93 | * @generated | ||
94 | */ | ||
95 | public T casePartialModelRelation2Assertion(PartialModelRelation2Assertion object) { | ||
96 | return null; | ||
97 | } | ||
98 | |||
99 | /** | ||
100 | * Returns the result of interpreting the object as an instance of '<em>Annotation</em>'. | ||
101 | * <!-- begin-user-doc --> | ||
102 | * This implementation returns null; | ||
103 | * returning a non-null result will terminate the switch. | ||
104 | * <!-- end-user-doc --> | ||
105 | * @param object the target of the switch. | ||
106 | * @return the result of interpreting the object as an instance of '<em>Annotation</em>'. | ||
107 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
108 | * @generated | ||
109 | */ | ||
110 | public T caseAnnotation(Annotation object) { | ||
111 | return null; | ||
112 | } | ||
113 | |||
114 | /** | ||
115 | * Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'. | ||
116 | * <!-- begin-user-doc --> | ||
117 | * This implementation returns null; | ||
118 | * returning a non-null result will terminate the switch. | ||
119 | * <!-- end-user-doc --> | ||
120 | * @param object the target of the switch. | ||
121 | * @return the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'. | ||
122 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
123 | * @generated | ||
124 | */ | ||
125 | public T caseAssertionAnnotation(AssertionAnnotation object) { | ||
126 | return null; | ||
127 | } | ||
128 | |||
129 | /** | ||
130 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
131 | * <!-- begin-user-doc --> | ||
132 | * This implementation returns null; | ||
133 | * returning a non-null result will terminate the switch, but this is the last case anyway. | ||
134 | * <!-- end-user-doc --> | ||
135 | * @param object the target of the switch. | ||
136 | * @return the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
137 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) | ||
138 | * @generated | ||
139 | */ | ||
140 | @Override | ||
141 | public T defaultCase(EObject object) { | ||
142 | return null; | ||
143 | } | ||
144 | |||
145 | } //Partial2logicannotationsSwitch | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird new file mode 100644 index 00000000..d5d1094d --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird | |||
@@ -0,0 +1,658 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style"> | ||
3 | <viewpoint:DAnalysis xmi:id="_Zid5oFYiEeiGP_xq1PQlCQ" selectedViews="_Z6R8sFYiEeiGP_xq1PQlCQ _Z6mFwFYiEeiGP_xq1PQlCQ _Z6nT4FYiEeiGP_xq1PQlCQ _Z6uooFYiEeiGP_xq1PQlCQ" version="12.1.0.201708031200"> | ||
4 | <semanticResources>PartialModelAnnotations.ecore</semanticResources> | ||
5 | <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore</semanticResources> | ||
6 | <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore</semanticResources> | ||
7 | <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> | ||
8 | <semanticResources>PartialInterpretation.ecore</semanticResources> | ||
9 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6R8sFYiEeiGP_xq1PQlCQ"> | ||
10 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | ||
11 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_aoyogFYiEeiGP_xq1PQlCQ" name="partial2logicannotations class diagram" repPath="#_anXsMFYiEeiGP_xq1PQlCQ"> | ||
12 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
13 | <target xmi:type="ecore:EPackage" href="PartialModelAnnotations.ecore#/"/> | ||
14 | </ownedRepresentationDescriptors> | ||
15 | </ownedViews> | ||
16 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6mFwFYiEeiGP_xq1PQlCQ"> | ||
17 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> | ||
18 | </ownedViews> | ||
19 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6nT4FYiEeiGP_xq1PQlCQ"> | ||
20 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> | ||
21 | </ownedViews> | ||
22 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6uooFYiEeiGP_xq1PQlCQ"> | ||
23 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | ||
24 | </ownedViews> | ||
25 | </viewpoint:DAnalysis> | ||
26 | <diagram:DSemanticDiagram xmi:id="_aouXEFYiEeiGP_xq1PQlCQ" name="partial2logicannotations class diagram" uid="_anXsMFYiEeiGP_xq1PQlCQ"> | ||
27 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_aouXEVYiEeiGP_xq1PQlCQ" source="DANNOTATION_CUSTOMIZATION_KEY"> | ||
28 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_aouXElYiEeiGP_xq1PQlCQ"> | ||
29 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_ou9tAFamEeiGP_xq1PQlCQ" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | ||
30 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
31 | <labelFormat>bold</labelFormat> | ||
32 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
33 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/> | ||
34 | </computedStyleDescriptions> | ||
35 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan"> | ||
36 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
37 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_EvSK4VasEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render"> | ||
38 | <labelFormat>bold</labelFormat> | ||
39 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
40 | </centerLabelStyleDescription> | ||
41 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_EvSK4lasEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
42 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
43 | </endLabelStyleDescription> | ||
44 | </computedStyleDescriptions> | ||
45 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_fTh24FayEeiGP_xq1PQlCQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | ||
46 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
47 | <labelFormat>bold</labelFormat> | ||
48 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
49 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
50 | </computedStyleDescriptions> | ||
51 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_fTqZwFayEeiGP_xq1PQlCQ" sourceArrow="InputArrow" routingStyle="manhattan"> | ||
52 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
53 | <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_fTqZwVayEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:renderEOpposite"> | ||
54 | <labelFormat>bold</labelFormat> | ||
55 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
56 | </beginLabelStyleDescription> | ||
57 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_fTqZwlayEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render"> | ||
58 | <labelFormat>bold</labelFormat> | ||
59 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
60 | </endLabelStyleDescription> | ||
61 | </computedStyleDescriptions> | ||
62 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_D7GP4FbjEeiGP_xq1PQlCQ" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
63 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
64 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_D7GP4VbjEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render"> | ||
65 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
66 | </centerLabelStyleDescription> | ||
67 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_D7GP4lbjEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
68 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
69 | </endLabelStyleDescription> | ||
70 | </computedStyleDescriptions> | ||
71 | </data> | ||
72 | </ownedAnnotationEntries> | ||
73 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_apWpMFYiEeiGP_xq1PQlCQ" source="GMF_DIAGRAMS"> | ||
74 | <data xmi:type="notation:Diagram" xmi:id="_apWpMVYiEeiGP_xq1PQlCQ" type="Sirius" element="_aouXEFYiEeiGP_xq1PQlCQ" measurementUnit="Pixel"> | ||
75 | <children xmi:type="notation:Node" xmi:id="_dimuQFYiEeiGP_xq1PQlCQ" type="2003" element="_diG_AFYiEeiGP_xq1PQlCQ"> | ||
76 | <children xmi:type="notation:Node" xmi:id="_diq_sFYiEeiGP_xq1PQlCQ" type="5007"/> | ||
77 | <children xmi:type="notation:Node" xmi:id="_dis04FYiEeiGP_xq1PQlCQ" type="7004"> | ||
78 | <styles xmi:type="notation:SortingStyle" xmi:id="_dis04VYiEeiGP_xq1PQlCQ"/> | ||
79 | <styles xmi:type="notation:FilteringStyle" xmi:id="_dis04lYiEeiGP_xq1PQlCQ"/> | ||
80 | </children> | ||
81 | <styles xmi:type="notation:ShapeStyle" xmi:id="_dinVUFYiEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
82 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_dinVUVYiEeiGP_xq1PQlCQ" x="136" y="270" width="198" height="38"/> | ||
83 | </children> | ||
84 | <children xmi:type="notation:Node" xmi:id="_ovB-cFamEeiGP_xq1PQlCQ" type="2003" element="_ou3mYFamEeiGP_xq1PQlCQ"> | ||
85 | <children xmi:type="notation:Node" xmi:id="_ovB-c1amEeiGP_xq1PQlCQ" type="5007"/> | ||
86 | <children xmi:type="notation:Node" xmi:id="_ovClgFamEeiGP_xq1PQlCQ" type="7004"> | ||
87 | <styles xmi:type="notation:SortingStyle" xmi:id="_ovClgVamEeiGP_xq1PQlCQ"/> | ||
88 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ovClglamEeiGP_xq1PQlCQ"/> | ||
89 | </children> | ||
90 | <styles xmi:type="notation:ShapeStyle" xmi:id="_ovB-cVamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
91 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovB-clamEeiGP_xq1PQlCQ" x="170" y="75"/> | ||
92 | </children> | ||
93 | <children xmi:type="notation:Node" xmi:id="_-riSAFamEeiGP_xq1PQlCQ" type="2003" element="_-rYhAFamEeiGP_xq1PQlCQ"> | ||
94 | <children xmi:type="notation:Node" xmi:id="_-riSA1amEeiGP_xq1PQlCQ" type="5007"/> | ||
95 | <children xmi:type="notation:Node" xmi:id="_-riSBFamEeiGP_xq1PQlCQ" type="7004"> | ||
96 | <styles xmi:type="notation:SortingStyle" xmi:id="_-riSBVamEeiGP_xq1PQlCQ"/> | ||
97 | <styles xmi:type="notation:FilteringStyle" xmi:id="_-riSBlamEeiGP_xq1PQlCQ"/> | ||
98 | </children> | ||
99 | <styles xmi:type="notation:ShapeStyle" xmi:id="_-riSAVamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
100 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-riSAlamEeiGP_xq1PQlCQ" x="465" y="250"/> | ||
101 | </children> | ||
102 | <children xmi:type="notation:Node" xmi:id="_pMJQ4FapEeiGP_xq1PQlCQ" type="2003" element="_pLphoFapEeiGP_xq1PQlCQ"> | ||
103 | <children xmi:type="notation:Node" xmi:id="_pMJ38FapEeiGP_xq1PQlCQ" type="5007"/> | ||
104 | <children xmi:type="notation:Node" xmi:id="_pMJ38VapEeiGP_xq1PQlCQ" type="7004"> | ||
105 | <styles xmi:type="notation:SortingStyle" xmi:id="_pMJ38lapEeiGP_xq1PQlCQ"/> | ||
106 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pMJ381apEeiGP_xq1PQlCQ"/> | ||
107 | </children> | ||
108 | <styles xmi:type="notation:ShapeStyle" xmi:id="_pMJQ4VapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
109 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMJQ4lapEeiGP_xq1PQlCQ" x="475" y="450"/> | ||
110 | </children> | ||
111 | <children xmi:type="notation:Node" xmi:id="_pMKfAFapEeiGP_xq1PQlCQ" type="2003" element="_pLrW0FapEeiGP_xq1PQlCQ"> | ||
112 | <children xmi:type="notation:Node" xmi:id="_pMLGEFapEeiGP_xq1PQlCQ" type="5007"/> | ||
113 | <children xmi:type="notation:Node" xmi:id="_pMLtIFapEeiGP_xq1PQlCQ" type="7004"> | ||
114 | <children xmi:type="notation:Node" xmi:id="_pMOwcFapEeiGP_xq1PQlCQ" type="3010" element="_pL9qsFapEeiGP_xq1PQlCQ"> | ||
115 | <styles xmi:type="notation:FontStyle" xmi:id="_pMOwcVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
116 | <layoutConstraint xmi:type="notation:Location" xmi:id="_pMOwclapEeiGP_xq1PQlCQ"/> | ||
117 | </children> | ||
118 | <styles xmi:type="notation:SortingStyle" xmi:id="_pMLtIVapEeiGP_xq1PQlCQ"/> | ||
119 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pMLtIlapEeiGP_xq1PQlCQ"/> | ||
120 | </children> | ||
121 | <styles xmi:type="notation:ShapeStyle" xmi:id="_pMKfAVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
122 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMKfAlapEeiGP_xq1PQlCQ" x="650" y="450"/> | ||
123 | </children> | ||
124 | <children xmi:type="notation:Node" xmi:id="_pMMUMFapEeiGP_xq1PQlCQ" type="2003" element="_pLtzEFapEeiGP_xq1PQlCQ"> | ||
125 | <children xmi:type="notation:Node" xmi:id="_pMM7QFapEeiGP_xq1PQlCQ" type="5007"/> | ||
126 | <children xmi:type="notation:Node" xmi:id="_pMM7QVapEeiGP_xq1PQlCQ" type="7004"> | ||
127 | <styles xmi:type="notation:SortingStyle" xmi:id="_pMM7QlapEeiGP_xq1PQlCQ"/> | ||
128 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pMM7Q1apEeiGP_xq1PQlCQ"/> | ||
129 | </children> | ||
130 | <styles xmi:type="notation:ShapeStyle" xmi:id="_pMMUMVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
131 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMMUMlapEeiGP_xq1PQlCQ" x="297" y="450"/> | ||
132 | </children> | ||
133 | <children xmi:type="notation:Node" xmi:id="_EvatwFasEeiGP_xq1PQlCQ" type="2003" element="_EvBFIFasEeiGP_xq1PQlCQ"> | ||
134 | <children xmi:type="notation:Node" xmi:id="_EvbU0FasEeiGP_xq1PQlCQ" type="5007"/> | ||
135 | <children xmi:type="notation:Node" xmi:id="_Evci8FasEeiGP_xq1PQlCQ" type="7004"> | ||
136 | <children xmi:type="notation:Node" xmi:id="_EvdxEFasEeiGP_xq1PQlCQ" type="3010" element="_EvOggFasEeiGP_xq1PQlCQ"> | ||
137 | <styles xmi:type="notation:FontStyle" xmi:id="_EvdxEVasEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
138 | <layoutConstraint xmi:type="notation:Location" xmi:id="_EvdxElasEeiGP_xq1PQlCQ"/> | ||
139 | </children> | ||
140 | <styles xmi:type="notation:SortingStyle" xmi:id="_Evci8VasEeiGP_xq1PQlCQ"/> | ||
141 | <styles xmi:type="notation:FilteringStyle" xmi:id="_Evci8lasEeiGP_xq1PQlCQ"/> | ||
142 | </children> | ||
143 | <styles xmi:type="notation:ShapeStyle" xmi:id="_EvatwVasEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
144 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvatwlasEeiGP_xq1PQlCQ" x="457" y="580"/> | ||
145 | </children> | ||
146 | <children xmi:type="notation:Node" xmi:id="_fTs2AFayEeiGP_xq1PQlCQ" type="2003" element="_fTWQsFayEeiGP_xq1PQlCQ"> | ||
147 | <children xmi:type="notation:Node" xmi:id="_fTs2A1ayEeiGP_xq1PQlCQ" type="5007"/> | ||
148 | <children xmi:type="notation:Node" xmi:id="_fTtdEFayEeiGP_xq1PQlCQ" type="7004"> | ||
149 | <children xmi:type="notation:Node" xmi:id="_fTuEIFayEeiGP_xq1PQlCQ" type="3010" element="_fThP0FayEeiGP_xq1PQlCQ"> | ||
150 | <styles xmi:type="notation:FontStyle" xmi:id="_fTuEIVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
151 | <layoutConstraint xmi:type="notation:Location" xmi:id="_fTuEIlayEeiGP_xq1PQlCQ"/> | ||
152 | </children> | ||
153 | <children xmi:type="notation:Node" xmi:id="_fTvSQFayEeiGP_xq1PQlCQ" type="3010" element="_fTid8FayEeiGP_xq1PQlCQ"> | ||
154 | <styles xmi:type="notation:FontStyle" xmi:id="_fTvSQVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
155 | <layoutConstraint xmi:type="notation:Location" xmi:id="_fTvSQlayEeiGP_xq1PQlCQ"/> | ||
156 | </children> | ||
157 | <styles xmi:type="notation:SortingStyle" xmi:id="_fTtdEVayEeiGP_xq1PQlCQ"/> | ||
158 | <styles xmi:type="notation:FilteringStyle" xmi:id="_fTtdElayEeiGP_xq1PQlCQ"/> | ||
159 | </children> | ||
160 | <styles xmi:type="notation:ShapeStyle" xmi:id="_fTs2AVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
161 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTs2AlayEeiGP_xq1PQlCQ" x="445" y="80"/> | ||
162 | </children> | ||
163 | <children xmi:type="notation:Node" xmi:id="_4FAb8FdAEeiGP_xq1PQlCQ" type="2003" element="_4EoogFdAEeiGP_xq1PQlCQ"> | ||
164 | <children xmi:type="notation:Node" xmi:id="_4FAb81dAEeiGP_xq1PQlCQ" type="5007"/> | ||
165 | <children xmi:type="notation:Node" xmi:id="_4FBDAFdAEeiGP_xq1PQlCQ" type="7004"> | ||
166 | <children xmi:type="notation:Node" xmi:id="_4FBqEFdAEeiGP_xq1PQlCQ" type="3010" element="_4E2q8FdAEeiGP_xq1PQlCQ"> | ||
167 | <styles xmi:type="notation:FontStyle" xmi:id="_4FBqEVdAEeiGP_xq1PQlCQ" fontColor="8224125" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
168 | <layoutConstraint xmi:type="notation:Location" xmi:id="_4FBqEldAEeiGP_xq1PQlCQ"/> | ||
169 | </children> | ||
170 | <children xmi:type="notation:Node" xmi:id="_4FBqE1dAEeiGP_xq1PQlCQ" type="3010" element="_4E3SAVdAEeiGP_xq1PQlCQ"> | ||
171 | <styles xmi:type="notation:FontStyle" xmi:id="_4FBqFFdAEeiGP_xq1PQlCQ" fontColor="8224125" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
172 | <layoutConstraint xmi:type="notation:Location" xmi:id="_4FBqFVdAEeiGP_xq1PQlCQ"/> | ||
173 | </children> | ||
174 | <styles xmi:type="notation:SortingStyle" xmi:id="_4FBDAVdAEeiGP_xq1PQlCQ"/> | ||
175 | <styles xmi:type="notation:FilteringStyle" xmi:id="_4FBDAldAEeiGP_xq1PQlCQ"/> | ||
176 | </children> | ||
177 | <styles xmi:type="notation:ShapeStyle" xmi:id="_4FAb8VdAEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
178 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_4FAb8ldAEeiGP_xq1PQlCQ" x="139" y="360" height="73"/> | ||
179 | </children> | ||
180 | <styles xmi:type="notation:DiagramStyle" xmi:id="_apWpMlYiEeiGP_xq1PQlCQ"/> | ||
181 | <edges xmi:type="notation:Edge" xmi:id="_ovFBwFamEeiGP_xq1PQlCQ" type="4001" element="_ou_iMFamEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_ovB-cFamEeiGP_xq1PQlCQ"> | ||
182 | <children xmi:type="notation:Node" xmi:id="_ovG28FamEeiGP_xq1PQlCQ" type="6001"> | ||
183 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovG28VamEeiGP_xq1PQlCQ" y="-10"/> | ||
184 | </children> | ||
185 | <children xmi:type="notation:Node" xmi:id="_ovHeAFamEeiGP_xq1PQlCQ" type="6002"> | ||
186 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovHeAVamEeiGP_xq1PQlCQ" y="10"/> | ||
187 | </children> | ||
188 | <children xmi:type="notation:Node" xmi:id="_ovIFEFamEeiGP_xq1PQlCQ" type="6003"> | ||
189 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovIFEVamEeiGP_xq1PQlCQ" y="10"/> | ||
190 | </children> | ||
191 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ovFBwVamEeiGP_xq1PQlCQ" routing="Tree"/> | ||
192 | <styles xmi:type="notation:FontStyle" xmi:id="_ovFBwlamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
193 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ovFBw1amEeiGP_xq1PQlCQ" points="[-99, -40, 265, 105]$[-304, -122, 60, 23]"/> | ||
194 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ovKhUFamEeiGP_xq1PQlCQ" id="(0.5,1.3611111111111112)"/> | ||
195 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ovKhUVamEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
196 | </edges> | ||
197 | <edges xmi:type="notation:Edge" xmi:id="_-ri5EFamEeiGP_xq1PQlCQ" type="4001" element="_-rf1wFamEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ"> | ||
198 | <children xmi:type="notation:Node" xmi:id="_-rjgIFamEeiGP_xq1PQlCQ" type="6001"> | ||
199 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgIVamEeiGP_xq1PQlCQ" x="9" y="3"/> | ||
200 | </children> | ||
201 | <children xmi:type="notation:Node" xmi:id="_-rjgIlamEeiGP_xq1PQlCQ" type="6002"> | ||
202 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgI1amEeiGP_xq1PQlCQ" x="-18" y="10"/> | ||
203 | </children> | ||
204 | <children xmi:type="notation:Node" xmi:id="_-rjgJFamEeiGP_xq1PQlCQ" type="6003"> | ||
205 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgJVamEeiGP_xq1PQlCQ" x="-2" y="10"/> | ||
206 | </children> | ||
207 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_-ri5EVamEeiGP_xq1PQlCQ" routing="Rectilinear"/> | ||
208 | <styles xmi:type="notation:FontStyle" xmi:id="_-ri5ElamEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
209 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-ri5E1amEeiGP_xq1PQlCQ" points="[98, -22, -192, 2]$[231, -22, -59, 2]"/> | ||
210 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-rkHMFamEeiGP_xq1PQlCQ" id="(0.5,1.3611111111111112)"/> | ||
211 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-rkHMVamEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
212 | </edges> | ||
213 | <edges xmi:type="notation:Edge" xmi:id="_pMP-kFapEeiGP_xq1PQlCQ" type="4001" element="_pMDxUFapEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ"> | ||
214 | <children xmi:type="notation:Node" xmi:id="_pMQloFapEeiGP_xq1PQlCQ" type="6001"> | ||
215 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMQloVapEeiGP_xq1PQlCQ" y="-10"/> | ||
216 | </children> | ||
217 | <children xmi:type="notation:Node" xmi:id="_pMQlolapEeiGP_xq1PQlCQ" type="6002"> | ||
218 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMRMsFapEeiGP_xq1PQlCQ" y="10"/> | ||
219 | </children> | ||
220 | <children xmi:type="notation:Node" xmi:id="_pMRMsVapEeiGP_xq1PQlCQ" type="6003"> | ||
221 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMRMslapEeiGP_xq1PQlCQ" y="10"/> | ||
222 | </children> | ||
223 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMP-kVapEeiGP_xq1PQlCQ" routing="Tree"/> | ||
224 | <styles xmi:type="notation:FontStyle" xmi:id="_pMP-klapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
225 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMP-k1apEeiGP_xq1PQlCQ" points="[0, 0, -404, -199]$[404, 199, 0, 0]"/> | ||
226 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMRzwFapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
227 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMRzwVapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
228 | </edges> | ||
229 | <edges xmi:type="notation:Edge" xmi:id="_pMRzwlapEeiGP_xq1PQlCQ" type="4001" element="_pMFmgFapEeiGP_xq1PQlCQ" source="_pMKfAFapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ"> | ||
230 | <children xmi:type="notation:Node" xmi:id="_pMSa0FapEeiGP_xq1PQlCQ" type="6001"> | ||
231 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa0VapEeiGP_xq1PQlCQ" y="-10"/> | ||
232 | </children> | ||
233 | <children xmi:type="notation:Node" xmi:id="_pMSa0lapEeiGP_xq1PQlCQ" type="6002"> | ||
234 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa01apEeiGP_xq1PQlCQ" y="10"/> | ||
235 | </children> | ||
236 | <children xmi:type="notation:Node" xmi:id="_pMSa1FapEeiGP_xq1PQlCQ" type="6003"> | ||
237 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa1VapEeiGP_xq1PQlCQ" y="10"/> | ||
238 | </children> | ||
239 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMRzw1apEeiGP_xq1PQlCQ" routing="Tree"/> | ||
240 | <styles xmi:type="notation:FontStyle" xmi:id="_pMRzxFapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
241 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMRzxVapEeiGP_xq1PQlCQ" points="[0, 0, -404, -199]$[404, 199, 0, 0]"/> | ||
242 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMTB4FapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
243 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMTB4VapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
244 | </edges> | ||
245 | <edges xmi:type="notation:Edge" xmi:id="_pMTB4lapEeiGP_xq1PQlCQ" type="4001" element="_pMG0oFapEeiGP_xq1PQlCQ" source="_pMMUMFapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ"> | ||
246 | <children xmi:type="notation:Node" xmi:id="_pMTo8FapEeiGP_xq1PQlCQ" type="6001"> | ||
247 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMTo8VapEeiGP_xq1PQlCQ" x="-41" y="-10"/> | ||
248 | </children> | ||
249 | <children xmi:type="notation:Node" xmi:id="_pMUQAFapEeiGP_xq1PQlCQ" type="6002"> | ||
250 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMUQAVapEeiGP_xq1PQlCQ" x="-23" y="-14"/> | ||
251 | </children> | ||
252 | <children xmi:type="notation:Node" xmi:id="_pMUQAlapEeiGP_xq1PQlCQ" type="6003"> | ||
253 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMUQA1apEeiGP_xq1PQlCQ" x="-31" y="10"/> | ||
254 | </children> | ||
255 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMTB41apEeiGP_xq1PQlCQ" routing="Tree"/> | ||
256 | <styles xmi:type="notation:FontStyle" xmi:id="_pMTB5FapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/> | ||
257 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMTB5VapEeiGP_xq1PQlCQ" points="[0, 49, 232, 124]$[0, 16, 232, 91]$[-231, 16, 1, 91]$[-231, -26, 1, 49]"/> | ||
258 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMU3EFapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
259 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMU3EVapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
260 | </edges> | ||
261 | <edges xmi:type="notation:Edge" xmi:id="_Eve_MFasEeiGP_xq1PQlCQ" type="4001" element="_EvQ8wFasEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ"> | ||
262 | <children xmi:type="notation:Node" xmi:id="_EvfmQFasEeiGP_xq1PQlCQ" type="6001"> | ||
263 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmQVasEeiGP_xq1PQlCQ" x="-4"/> | ||
264 | </children> | ||
265 | <children xmi:type="notation:Node" xmi:id="_EvfmQlasEeiGP_xq1PQlCQ" type="6002"> | ||
266 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmQ1asEeiGP_xq1PQlCQ" x="20"/> | ||
267 | </children> | ||
268 | <children xmi:type="notation:Node" xmi:id="_EvfmRFasEeiGP_xq1PQlCQ" type="6003"> | ||
269 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmRVasEeiGP_xq1PQlCQ" x="3"/> | ||
270 | </children> | ||
271 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Eve_MVasEeiGP_xq1PQlCQ" routing="Rectilinear"/> | ||
272 | <styles xmi:type="notation:FontStyle" xmi:id="_Eve_MlasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
273 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Eve_M1asEeiGP_xq1PQlCQ" points="[-54, 49, -53, -81]$[-54, 81, -53, -49]"/> | ||
274 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EvgNUFasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
275 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EvgNUVasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
276 | </edges> | ||
277 | <edges xmi:type="notation:Edge" xmi:id="_EvgNUlasEeiGP_xq1PQlCQ" type="4001" element="_EvSx8FasEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ"> | ||
278 | <children xmi:type="notation:Node" xmi:id="_Evg0YFasEeiGP_xq1PQlCQ" type="6001"> | ||
279 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0YVasEeiGP_xq1PQlCQ" x="-4"/> | ||
280 | </children> | ||
281 | <children xmi:type="notation:Node" xmi:id="_Evg0YlasEeiGP_xq1PQlCQ" type="6002"> | ||
282 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0Y1asEeiGP_xq1PQlCQ" x="20"/> | ||
283 | </children> | ||
284 | <children xmi:type="notation:Node" xmi:id="_Evg0ZFasEeiGP_xq1PQlCQ" type="6003"> | ||
285 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0ZVasEeiGP_xq1PQlCQ" x="-4" y="-10"/> | ||
286 | </children> | ||
287 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_EvgNU1asEeiGP_xq1PQlCQ" routing="Rectilinear"/> | ||
288 | <styles xmi:type="notation:FontStyle" xmi:id="_EvgNVFasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
289 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_EvgNVVasEeiGP_xq1PQlCQ" points="[56, 49, 57, -81]$[56, 81, 57, -49]"/> | ||
290 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Evg0ZlasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
291 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Evg0Z1asEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
292 | </edges> | ||
293 | <edges xmi:type="notation:Edge" xmi:id="_EvhbcFasEeiGP_xq1PQlCQ" type="4001" element="_EvUnIFasEeiGP_xq1PQlCQ" source="_pMMUMFapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ"> | ||
294 | <children xmi:type="notation:Node" xmi:id="_EvhbdFasEeiGP_xq1PQlCQ" type="6001"> | ||
295 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvhbdVasEeiGP_xq1PQlCQ" x="-61" y="47"/> | ||
296 | </children> | ||
297 | <children xmi:type="notation:Node" xmi:id="_EvhbdlasEeiGP_xq1PQlCQ" type="6002"> | ||
298 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evhbd1asEeiGP_xq1PQlCQ" x="22"/> | ||
299 | </children> | ||
300 | <children xmi:type="notation:Node" xmi:id="_EvhbeFasEeiGP_xq1PQlCQ" type="6003"> | ||
301 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvhbeVasEeiGP_xq1PQlCQ" x="-11" y="10"/> | ||
302 | </children> | ||
303 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_EvhbcVasEeiGP_xq1PQlCQ" routing="Rectilinear"/> | ||
304 | <styles xmi:type="notation:FontStyle" xmi:id="_EvhbclasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
305 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Evhbc1asEeiGP_xq1PQlCQ" points="[1, 49, -177, -81]$[1, 141, -177, 11]$[82, 141, -96, 11]"/> | ||
306 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EviCgFasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
307 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EviCgVasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
308 | </edges> | ||
309 | <edges xmi:type="notation:Edge" xmi:id="_fTv5UFayEeiGP_xq1PQlCQ" type="4001" element="_fTpLoFayEeiGP_xq1PQlCQ" source="_ovB-cFamEeiGP_xq1PQlCQ" target="_fTs2AFayEeiGP_xq1PQlCQ"> | ||
310 | <children xmi:type="notation:Node" xmi:id="_fTwgYFayEeiGP_xq1PQlCQ" type="6001"> | ||
311 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTwgYVayEeiGP_xq1PQlCQ" x="-18" y="-10"/> | ||
312 | </children> | ||
313 | <children xmi:type="notation:Node" xmi:id="_fTxHcFayEeiGP_xq1PQlCQ" type="6002"> | ||
314 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTxHcVayEeiGP_xq1PQlCQ" x="66" y="10"/> | ||
315 | </children> | ||
316 | <children xmi:type="notation:Node" xmi:id="_fTxHclayEeiGP_xq1PQlCQ" type="6003"> | ||
317 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTxHc1ayEeiGP_xq1PQlCQ" x="-29" y="10"/> | ||
318 | </children> | ||
319 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_fTv5UVayEeiGP_xq1PQlCQ" routing="Rectilinear"/> | ||
320 | <styles xmi:type="notation:FontStyle" xmi:id="_fTv5UlayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
321 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_fTv5U1ayEeiGP_xq1PQlCQ" points="[64, -4, -206, -9]$[211, -4, -59, -9]"/> | ||
322 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fTxHdFayEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
323 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fTxugFayEeiGP_xq1PQlCQ" id="(0.5,0.5)"/> | ||
324 | </edges> | ||
325 | <edges xmi:type="notation:Edge" xmi:id="_8BAXcFdAEeiGP_xq1PQlCQ" type="4001" element="_8AvRsFdAEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_4FAb8FdAEeiGP_xq1PQlCQ"> | ||
326 | <children xmi:type="notation:Node" xmi:id="_8BAXdFdAEeiGP_xq1PQlCQ" type="6001"> | ||
327 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXdVdAEeiGP_xq1PQlCQ" x="1" y="54"/> | ||
328 | </children> | ||
329 | <children xmi:type="notation:Node" xmi:id="_8BAXdldAEeiGP_xq1PQlCQ" type="6002"> | ||
330 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXd1dAEeiGP_xq1PQlCQ" y="10"/> | ||
331 | </children> | ||
332 | <children xmi:type="notation:Node" xmi:id="_8BAXeFdAEeiGP_xq1PQlCQ" type="6003"> | ||
333 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXeVdAEeiGP_xq1PQlCQ" y="10"/> | ||
334 | </children> | ||
335 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_8BAXcVdAEeiGP_xq1PQlCQ" routing="Rectilinear"/> | ||
336 | <styles xmi:type="notation:FontStyle" xmi:id="_8BAXcldAEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
337 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_8BAXc1dAEeiGP_xq1PQlCQ" points="[9, 0, 0, -51]$[9, 51, 0, 0]"/> | ||
338 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8BA-gFdAEeiGP_xq1PQlCQ" id="(0.4897959183673469,1.0)"/> | ||
339 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8BA-gVdAEeiGP_xq1PQlCQ" id="(0.5368421052631579,0.0)"/> | ||
340 | </edges> | ||
341 | </data> | ||
342 | </ownedAnnotationEntries> | ||
343 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_diG_AFYiEeiGP_xq1PQlCQ" name="PartialModelRelation2Assertion" tooltipText="" outgoingEdges="_ou_iMFamEeiGP_xq1PQlCQ _-rf1wFamEeiGP_xq1PQlCQ _8AvRsFdAEeiGP_xq1PQlCQ" width="12" height="10"> | ||
344 | <target xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/> | ||
345 | <semanticElements xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/> | ||
346 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
347 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
348 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
349 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_diQwAFYiEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
350 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
351 | </ownedStyle> | ||
352 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
353 | </ownedDiagramElements> | ||
354 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ou3mYFamEeiGP_xq1PQlCQ" name="AssertionAnnotation" tooltipText="" outgoingEdges="_fTpLoFayEeiGP_xq1PQlCQ" incomingEdges="_ou_iMFamEeiGP_xq1PQlCQ" width="12" height="10"> | ||
355 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/> | ||
356 | <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/> | ||
357 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_ou40gVamEeiGP_xq1PQlCQ"> | ||
358 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
359 | </decorations> | ||
360 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
361 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
362 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
363 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_ou40gFamEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
364 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
365 | </ownedStyle> | ||
366 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
367 | </ownedDiagramElements> | ||
368 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ou_iMFamEeiGP_xq1PQlCQ" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_ou3mYFamEeiGP_xq1PQlCQ"> | ||
369 | <target xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/> | ||
370 | <semanticElements xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/> | ||
371 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_ovAwUFamEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
372 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/> | ||
373 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_ovAwUVamEeiGP_xq1PQlCQ" showIcon="false"> | ||
374 | <labelFormat>italic</labelFormat> | ||
375 | </beginLabelStyle> | ||
376 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_ovAwUlamEeiGP_xq1PQlCQ" showIcon="false"/> | ||
377 | </ownedStyle> | ||
378 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/> | ||
379 | </ownedDiagramElements> | ||
380 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_-rYhAFamEeiGP_xq1PQlCQ" name="RelationLink" tooltipText="" incomingEdges="_-rf1wFamEeiGP_xq1PQlCQ _pMDxUFapEeiGP_xq1PQlCQ _pMFmgFapEeiGP_xq1PQlCQ _pMG0oFapEeiGP_xq1PQlCQ" width="12" height="10"> | ||
381 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RelationLink"/> | ||
382 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RelationLink"/> | ||
383 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_-rZIEVamEeiGP_xq1PQlCQ"> | ||
384 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
385 | </decorations> | ||
386 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
387 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
388 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
389 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_-rZIEFamEeiGP_xq1PQlCQ" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> | ||
390 | <labelFormat>italic</labelFormat> | ||
391 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/> | ||
392 | </ownedStyle> | ||
393 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
394 | </ownedDiagramElements> | ||
395 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_-rf1wFamEeiGP_xq1PQlCQ" name="[0..*] links" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ"> | ||
396 | <target xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/links"/> | ||
397 | <semanticElements xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/links"/> | ||
398 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_D7G28FbjEeiGP_xq1PQlCQ" description="_D7GP4FbjEeiGP_xq1PQlCQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
399 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_D7G28VbjEeiGP_xq1PQlCQ" showIcon="false"/> | ||
400 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_D7G28lbjEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
401 | </ownedStyle> | ||
402 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
403 | </ownedDiagramElements> | ||
404 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLphoFapEeiGP_xq1PQlCQ" name="BinaryElementRelationLink" tooltipText="" outgoingEdges="_pMDxUFapEeiGP_xq1PQlCQ _EvQ8wFasEeiGP_xq1PQlCQ _EvSx8FasEeiGP_xq1PQlCQ" width="12" height="10"> | ||
405 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/> | ||
406 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/> | ||
407 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLqvwVapEeiGP_xq1PQlCQ"> | ||
408 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
409 | </decorations> | ||
410 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
411 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
412 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
413 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLqvwFapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
414 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
415 | </ownedStyle> | ||
416 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
417 | </ownedDiagramElements> | ||
418 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLrW0FapEeiGP_xq1PQlCQ" name="NaryRelationLink" tooltipText="" outgoingEdges="_pMFmgFapEeiGP_xq1PQlCQ" width="12" height="10"> | ||
419 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/> | ||
420 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/> | ||
421 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLsk8FapEeiGP_xq1PQlCQ"> | ||
422 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
423 | </decorations> | ||
424 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
425 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
426 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
427 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLr94FapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
428 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
429 | </ownedStyle> | ||
430 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
431 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_pL9qsFapEeiGP_xq1PQlCQ" name=" elements : NaryRelationLinkElement" tooltipText=""> | ||
432 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//NaryRelationLink/elements"/> | ||
433 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//NaryRelationLink/elements"/> | ||
434 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_pL-RwFapEeiGP_xq1PQlCQ" labelAlignment="LEFT" color="114,159,207"> | ||
435 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
436 | </ownedStyle> | ||
437 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
438 | </ownedElements> | ||
439 | </ownedDiagramElements> | ||
440 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLtzEFapEeiGP_xq1PQlCQ" name="UnaryElementRelationLink" tooltipText="" outgoingEdges="_pMG0oFapEeiGP_xq1PQlCQ _EvUnIFasEeiGP_xq1PQlCQ" width="12" height="10"> | ||
441 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/> | ||
442 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/> | ||
443 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLvBMVapEeiGP_xq1PQlCQ"> | ||
444 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
445 | </decorations> | ||
446 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
447 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
448 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
449 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLvBMFapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
450 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
451 | </ownedStyle> | ||
452 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
453 | </ownedDiagramElements> | ||
454 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMDxUFapEeiGP_xq1PQlCQ" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ"> | ||
455 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/> | ||
456 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/> | ||
457 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_pME_c1apEeiGP_xq1PQlCQ"> | ||
458 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
459 | </decorations> | ||
460 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pME_cFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
461 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/> | ||
462 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pME_cVapEeiGP_xq1PQlCQ" showIcon="false"> | ||
463 | <labelFormat>italic</labelFormat> | ||
464 | </beginLabelStyle> | ||
465 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pME_clapEeiGP_xq1PQlCQ" showIcon="false"/> | ||
466 | </ownedStyle> | ||
467 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/> | ||
468 | </ownedDiagramElements> | ||
469 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMFmgFapEeiGP_xq1PQlCQ" sourceNode="_pLrW0FapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ"> | ||
470 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/> | ||
471 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/> | ||
472 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_pMGNk1apEeiGP_xq1PQlCQ"> | ||
473 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
474 | </decorations> | ||
475 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pMGNkFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
476 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/> | ||
477 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pMGNkVapEeiGP_xq1PQlCQ" showIcon="false"> | ||
478 | <labelFormat>italic</labelFormat> | ||
479 | </beginLabelStyle> | ||
480 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pMGNklapEeiGP_xq1PQlCQ" showIcon="false"/> | ||
481 | </ownedStyle> | ||
482 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/> | ||
483 | </ownedDiagramElements> | ||
484 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMG0oFapEeiGP_xq1PQlCQ" sourceNode="_pLtzEFapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ"> | ||
485 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/> | ||
486 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/> | ||
487 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_pMHbs1apEeiGP_xq1PQlCQ"> | ||
488 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
489 | </decorations> | ||
490 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pMHbsFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
491 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/> | ||
492 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pMHbsVapEeiGP_xq1PQlCQ" showIcon="false"> | ||
493 | <labelFormat>italic</labelFormat> | ||
494 | </beginLabelStyle> | ||
495 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pMHbslapEeiGP_xq1PQlCQ" showIcon="false"/> | ||
496 | </ownedStyle> | ||
497 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/> | ||
498 | </ownedDiagramElements> | ||
499 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_EvBFIFasEeiGP_xq1PQlCQ" name="DefinedElement" tooltipText="" incomingEdges="_EvQ8wFasEeiGP_xq1PQlCQ _EvSx8FasEeiGP_xq1PQlCQ _EvUnIFasEeiGP_xq1PQlCQ" width="12" height="10"> | ||
500 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> | ||
501 | <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> | ||
502 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_EvC6UFasEeiGP_xq1PQlCQ"> | ||
503 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
504 | </decorations> | ||
505 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
506 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
507 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
508 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_EvCTQFasEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
509 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
510 | </ownedStyle> | ||
511 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
512 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_EvOggFasEeiGP_xq1PQlCQ" name=" definedInType : TypeDefinition" tooltipText=""> | ||
513 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/> | ||
514 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/> | ||
515 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_EvPHkFasEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_ou9tAFamEeiGP_xq1PQlCQ" color="114,159,207"> | ||
516 | <labelFormat>bold</labelFormat> | ||
517 | </ownedStyle> | ||
518 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
519 | </ownedElements> | ||
520 | </ownedDiagramElements> | ||
521 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvQ8wFasEeiGP_xq1PQlCQ" name="[1..1] param1" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ"> | ||
522 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param1"/> | ||
523 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param1"/> | ||
524 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvSK41asEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
525 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvSK5FasEeiGP_xq1PQlCQ" showIcon="false"> | ||
526 | <customFeatures>labelSize</customFeatures> | ||
527 | <labelFormat>bold</labelFormat> | ||
528 | </centerLabelStyle> | ||
529 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvSK5VasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114"> | ||
530 | <customFeatures>labelSize</customFeatures> | ||
531 | </endLabelStyle> | ||
532 | </ownedStyle> | ||
533 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
534 | </ownedDiagramElements> | ||
535 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvSx8FasEeiGP_xq1PQlCQ" name="[1..1] param2" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ"> | ||
536 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param2"/> | ||
537 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param2"/> | ||
538 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvTZAFasEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
539 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvUAEFasEeiGP_xq1PQlCQ" showIcon="false"> | ||
540 | <customFeatures>labelSize</customFeatures> | ||
541 | <labelFormat>bold</labelFormat> | ||
542 | </centerLabelStyle> | ||
543 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvUAEVasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114"> | ||
544 | <customFeatures>labelSize</customFeatures> | ||
545 | </endLabelStyle> | ||
546 | </ownedStyle> | ||
547 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
548 | </ownedDiagramElements> | ||
549 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvUnIFasEeiGP_xq1PQlCQ" name="[1..1] param1" sourceNode="_pLtzEFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ"> | ||
550 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//UnaryElementRelationLink/param1"/> | ||
551 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//UnaryElementRelationLink/param1"/> | ||
552 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvV1QFasEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
553 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvV1QVasEeiGP_xq1PQlCQ" showIcon="false"> | ||
554 | <customFeatures>labelSize</customFeatures> | ||
555 | <labelFormat>bold</labelFormat> | ||
556 | </centerLabelStyle> | ||
557 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvV1QlasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114"> | ||
558 | <customFeatures>labelSize</customFeatures> | ||
559 | </endLabelStyle> | ||
560 | </ownedStyle> | ||
561 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
562 | </ownedDiagramElements> | ||
563 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_fTWQsFayEeiGP_xq1PQlCQ" name="Assertion" tooltipText="" incomingEdges="_fTpLoFayEeiGP_xq1PQlCQ" width="12" height="10"> | ||
564 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion"/> | ||
565 | <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion"/> | ||
566 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_fTXe0VayEeiGP_xq1PQlCQ"> | ||
567 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
568 | </decorations> | ||
569 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
570 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
571 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
572 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_fTXe0FayEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
573 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
574 | </ownedStyle> | ||
575 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
576 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_fThP0FayEeiGP_xq1PQlCQ" name="name : EString" tooltipText=""> | ||
577 | <target xmi:type="ecore:EAttribute" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/name"/> | ||
578 | <semanticElements xmi:type="ecore:EAttribute" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/name"/> | ||
579 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_fTh24VayEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_fTh24FayEeiGP_xq1PQlCQ"> | ||
580 | <labelFormat>bold</labelFormat> | ||
581 | </ownedStyle> | ||
582 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
583 | </ownedElements> | ||
584 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_fTid8FayEeiGP_xq1PQlCQ" name=" value : Term" tooltipText=""> | ||
585 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/value"/> | ||
586 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/value"/> | ||
587 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_fTid8VayEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_ou9tAFamEeiGP_xq1PQlCQ" color="114,159,207"> | ||
588 | <labelFormat>bold</labelFormat> | ||
589 | </ownedStyle> | ||
590 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
591 | </ownedElements> | ||
592 | </ownedDiagramElements> | ||
593 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_fTpLoFayEeiGP_xq1PQlCQ" sourceNode="_ou3mYFamEeiGP_xq1PQlCQ" targetNode="_fTWQsFayEeiGP_xq1PQlCQ" beginLabel="[0..*] annotations" endLabel="[1..1] target"> | ||
594 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/target"/> | ||
595 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/annotations"/> | ||
596 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/target"/> | ||
597 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_fTrA0FayEeiGP_xq1PQlCQ" description="_fTqZwFayEeiGP_xq1PQlCQ" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> | ||
598 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_fTrA0VayEeiGP_xq1PQlCQ" showIcon="false"> | ||
599 | <labelFormat>bold</labelFormat> | ||
600 | </beginLabelStyle> | ||
601 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_fTrA0layEeiGP_xq1PQlCQ" showIcon="false"> | ||
602 | <labelFormat>bold</labelFormat> | ||
603 | </endLabelStyle> | ||
604 | </ownedStyle> | ||
605 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/> | ||
606 | </ownedDiagramElements> | ||
607 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_4EoogFdAEeiGP_xq1PQlCQ" name="RelationDeclaration" tooltipText="" incomingEdges="_8AvRsFdAEeiGP_xq1PQlCQ" width="12" height="10"> | ||
608 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/> | ||
609 | <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/> | ||
610 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_4Ep2oFdAEeiGP_xq1PQlCQ"> | ||
611 | <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> | ||
612 | </decorations> | ||
613 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
614 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
615 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
616 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_4EpPkFdAEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
617 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
618 | </ownedStyle> | ||
619 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
620 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4E2q8FdAEeiGP_xq1PQlCQ" name=" parameters : TypeReference" tooltipText=""> | ||
621 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/parameters"/> | ||
622 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/parameters"/> | ||
623 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_4E3SAFdAEeiGP_xq1PQlCQ" labelColor="125,125,125" labelAlignment="LEFT"> | ||
624 | <labelFormat>italic</labelFormat> | ||
625 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@conditionnalStyles.0/@style"/> | ||
626 | </ownedStyle> | ||
627 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
628 | </ownedElements> | ||
629 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4E3SAVdAEeiGP_xq1PQlCQ" name=" annotations : RelationAnnotation" tooltipText=""> | ||
630 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/annotations"/> | ||
631 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/annotations"/> | ||
632 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_4E3SAldAEeiGP_xq1PQlCQ" labelColor="125,125,125" labelAlignment="LEFT"> | ||
633 | <labelFormat>italic</labelFormat> | ||
634 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@conditionnalStyles.0/@style"/> | ||
635 | </ownedStyle> | ||
636 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
637 | </ownedElements> | ||
638 | </ownedDiagramElements> | ||
639 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8AvRsFdAEeiGP_xq1PQlCQ" name="[1..1] targetRelation" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_4EoogFdAEeiGP_xq1PQlCQ"> | ||
640 | <target xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/targetRelation"/> | ||
641 | <semanticElements xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/targetRelation"/> | ||
642 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="__TcYkFdAEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
643 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="__TcYkVdAEeiGP_xq1PQlCQ" showIcon="false"> | ||
644 | <labelFormat>bold</labelFormat> | ||
645 | </centerLabelStyle> | ||
646 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="__TcYkldAEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
647 | </ownedStyle> | ||
648 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
649 | </ownedDiagramElements> | ||
650 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
651 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_aouXFFYiEeiGP_xq1PQlCQ"/> | ||
652 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | ||
653 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Package']"/> | ||
654 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Validation']"/> | ||
655 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> | ||
656 | <target xmi:type="ecore:EPackage" href="PartialModelAnnotations.ecore#/"/> | ||
657 | </diagram:DSemanticDiagram> | ||
658 | </xmi:XMI> | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.ecore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.ecore new file mode 100644 index 00000000..3a1c20d1 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.ecore | |||
@@ -0,0 +1,11 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="partial2logicannotations" nsURI="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" | ||
4 | nsPrefix="partial2logicannotations"> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelRelation2Assertion" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="links" upperBound="-1" | ||
7 | eType="ecore:EClass PartialInterpretation.ecore#//RelationLink" containment="true"/> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetRelation" lowerBound="1" | ||
9 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/> | ||
10 | </eClassifiers> | ||
11 | </ecore:EPackage> | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel new file mode 100644 index 00000000..0fd889d2 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel | |||
@@ -0,0 +1,16 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" | ||
3 | xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen" | ||
4 | modelPluginID="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage" | ||
5 | modelName="PartialModelAnnotations" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
6 | importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false" | ||
7 | usedGenPackages="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel#//logiclanguage ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel#//logicproblem PartialInterpretation.genmodel#//partialinterpretation" | ||
8 | operationReflection="true" importOrganizing="true"> | ||
9 | <foreignModel>PartialModelAnnotations.ecore</foreignModel> | ||
10 | <genPackages prefix="Partial2logicannotations" basePackage="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage" | ||
11 | disposableProviderFactory="true" ecorePackage="PartialModelAnnotations.ecore#/"> | ||
12 | <genClasses ecoreClass="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"> | ||
13 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/links"/> | ||
14 | </genClasses> | ||
15 | </genPackages> | ||
16 | </genmodel:GenModel> | ||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml index b9248505..37f467c9 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml | |||
@@ -14,4 +14,12 @@ | |||
14 | genModel="model/PartialInterpretation.genmodel"/> | 14 | genModel="model/PartialInterpretation.genmodel"/> |
15 | </extension> | 15 | </extension> |
16 | 16 | ||
17 | <extension point="org.eclipse.emf.ecore.generated_package"> | ||
18 | <!-- @generated PartialModelAnnotations --> | ||
19 | <package | ||
20 | uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" | ||
21 | class="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage" | ||
22 | genModel="model/PartialModelAnnotations.genmodel"/> | ||
23 | </extension> | ||
24 | |||
17 | </plugin> | 25 | </plugin> |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend index d2b59754..d2b59754 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend | |||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend index 9a737ab9..9a737ab9 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend | |||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend index 09a7fa60..3a85536b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend | |||
@@ -1,12 +1,14 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic | 1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic |
2 | 2 | ||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder | 3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder |
4 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement | ||
4 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory |
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration | 6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration |
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type |
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration | 8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration |
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition | 9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition |
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | 10 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem |
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink | 12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink |
11 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation | 13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation |
12 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation | 14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation |
@@ -17,11 +19,10 @@ import java.util.HashMap | |||
17 | import java.util.HashSet | 19 | import java.util.HashSet |
18 | import java.util.Map | 20 | import java.util.Map |
19 | import java.util.Set | 21 | import java.util.Set |
22 | import org.eclipse.emf.ecore.util.EcoreUtil | ||
20 | import org.eclipse.xtend.lib.annotations.Data | 23 | import org.eclipse.xtend.lib.annotations.Data |
21 | 24 | ||
22 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 25 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
23 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement | ||
24 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue | ||
25 | 26 | ||
26 | @Data class PartialInterpretation2Logic_Trace { | 27 | @Data class PartialInterpretation2Logic_Trace { |
27 | Map<DefinedElement,DefinedElement> new2Old = new HashMap | 28 | Map<DefinedElement,DefinedElement> new2Old = new HashMap |
@@ -59,12 +60,13 @@ class PartialInterpretation2Logic { | |||
59 | } | 60 | } |
60 | 61 | ||
61 | private def addExistingElementToProblem(LogicProblem p, PartialInterpretation i,PartialInterpretation2Logic_Trace trace) { | 62 | private def addExistingElementToProblem(LogicProblem p, PartialInterpretation i,PartialInterpretation2Logic_Trace trace) { |
62 | val newElements = new ArrayList(i.newElements) | 63 | // val newElements = new ArrayList(i.newElements) |
63 | var newElementIndex = 1 | 64 | // var newElementIndex = 1 |
64 | for(newElement : newElements) { | 65 | // for(newElement : newElements) { |
65 | newElement.name = '''o «newElementIndex++»''' | 66 | // newElement.name = '''o «newElementIndex++»''' |
66 | p.elements += newElement | 67 | // p.elements += newElement |
67 | } | 68 | // } |
69 | p.elements += i.newElements | ||
68 | } | 70 | } |
69 | 71 | ||
70 | private def splitTypeIntoTwo(LogicProblem p, PartialTypeInterpratation partialTypeDeclaration,PartialInterpretation2Logic_Trace trace) { | 72 | private def splitTypeIntoTwo(LogicProblem p, PartialTypeInterpratation partialTypeDeclaration,PartialInterpretation2Logic_Trace trace) { |
@@ -133,6 +135,7 @@ class PartialInterpretation2Logic { | |||
133 | val relation = r.interpretationOf | 135 | val relation = r.interpretationOf |
134 | val links = r.relationlinks | 136 | val links = r.relationlinks |
135 | if(links.size == 0) { | 137 | if(links.size == 0) { |
138 | // No assertion for empty relations | ||
136 | return | 139 | return |
137 | } else { | 140 | } else { |
138 | val term = if(links.size == 1) { | 141 | val term = if(links.size == 1) { |
@@ -141,9 +144,14 @@ class PartialInterpretation2Logic { | |||
141 | links.map[link|createLink(link,relation)].And | 144 | links.map[link|createLink(link,relation)].And |
142 | } | 145 | } |
143 | val assertion = Assertion('''PartialInterpretation «r.interpretationOf.name»''',term) | 146 | val assertion = Assertion('''PartialInterpretation «r.interpretationOf.name»''',term) |
147 | val ^annotation= Partial2logicannotationsFactory.eINSTANCE.createPartialModelRelation2Assertion | ||
148 | ^annotation.target = assertion | ||
149 | ^annotation.targetRelation = relation | ||
150 | ^annotation.links += links.map[EcoreUtil.copy(it)] | ||
144 | //val error= assertion.eAllContents.toIterable.filter(SymbolicValue).filter[it.symbolicReference === null] | 151 | //val error= assertion.eAllContents.toIterable.filter(SymbolicValue).filter[it.symbolicReference === null] |
145 | //error.forEach[println("error")] | 152 | //error.forEach[println("error")] |
146 | p.add(assertion) | 153 | p.add(assertion) |
154 | p.annotations+= ^annotation | ||
147 | } | 155 | } |
148 | 156 | ||
149 | } | 157 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend index 45fd2c6d..ad9d882b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend | |||
@@ -27,6 +27,8 @@ import org.eclipse.viatra.query.runtime.emf.EMFScope | |||
27 | import org.eclipse.xtend.lib.annotations.Data | 27 | import org.eclipse.xtend.lib.annotations.Data |
28 | 28 | ||
29 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 29 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
30 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion | ||
31 | import org.eclipse.emf.ecore.util.EcoreUtil | ||
30 | 32 | ||
31 | @Data class Problem2PartialInterpretationTrace { | 33 | @Data class Problem2PartialInterpretationTrace { |
32 | Map<TypeDeclaration, PartialTypeInterpratation> type2Interpretation = new HashMap | 34 | Map<TypeDeclaration, PartialTypeInterpratation> type2Interpretation = new HashMap |
@@ -99,6 +101,11 @@ class PartialInterpretationInitialiser { | |||
99 | 101 | ||
100 | it.partialrelationinterpretation += problem.relations.filter(RelationDeclaration) | 102 | it.partialrelationinterpretation += problem.relations.filter(RelationDeclaration) |
101 | .map[initialisePartialRelationInterpretation(trace)] | 103 | .map[initialisePartialRelationInterpretation(trace)] |
104 | for(pMR2A : problem.annotations.filter(PartialModelRelation2Assertion)) { | ||
105 | val relation = pMR2A.targetRelation | ||
106 | val interpretation = relation.lookup(trace.relation2Interpretation) | ||
107 | interpretation.relationlinks+=pMR2A.links.map[EcoreUtil.copy(it)] | ||
108 | } | ||
102 | it.partialfunctioninterpretation += problem.functions.filter(FunctionDeclaration) | 109 | it.partialfunctioninterpretation += problem.functions.filter(FunctionDeclaration) |
103 | .map[initialisePartialFunctionInterpretation(trace)] | 110 | .map[initialisePartialFunctionInterpretation(trace)] |
104 | it.partialconstantinterpretation += problem.constants.filter(ConstantDeclaration) | 111 | it.partialconstantinterpretation += problem.constants.filter(ConstantDeclaration) |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF index ef1af4dd..51c10b23 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF | |||
@@ -9,7 +9,6 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | |||
9 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", | 9 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", |
10 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0", | 10 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0", |
11 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", | 11 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", |
12 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic;bundle-version="1.0.0", | ||
13 | com.google.guava, | 12 | com.google.guava, |
14 | org.eclipse.xtext.xbase.lib, | 13 | org.eclipse.xtext.xbase.lib, |
15 | org.eclipse.xtend.lib, | 14 | org.eclipse.xtend.lib, |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend index 446a0686..b8edb2f5 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | |||
@@ -2,9 +2,6 @@ package hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz | |||
2 | 2 | ||
3 | import guru.nidi.graphviz.attribute.Shape | 3 | import guru.nidi.graphviz.attribute.Shape |
4 | import guru.nidi.graphviz.attribute.Style | 4 | import guru.nidi.graphviz.attribute.Style |
5 | import guru.nidi.graphviz.engine.Format | ||
6 | import guru.nidi.graphviz.engine.Graphviz | ||
7 | import guru.nidi.graphviz.engine.GraphvizV8Engine | ||
8 | import guru.nidi.graphviz.model.Graph | 5 | import guru.nidi.graphviz.model.Graph |
9 | import guru.nidi.graphviz.model.Label | 6 | import guru.nidi.graphviz.model.Label |
10 | import guru.nidi.graphviz.model.Node | 7 | import guru.nidi.graphviz.model.Node |