diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
| commit | 60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch) | |
| tree | 5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model | |
| parent | Initial commit, migrating from SVN (diff) | |
| download | VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip | |
Migrating Additional projects
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model')
3 files changed, 426 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird new file mode 100644 index 00000000..b4c8ec92 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird | |||
| @@ -0,0 +1,394 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8"?> | ||
| 2 | <viewpoint:DAnalysis 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" xmi:id="_hKMI0LzSEeaj7tVusjQpHg" selectedViews="_hMdZsLzSEeaj7tVusjQpHg _hMvGgLzSEeaj7tVusjQpHg _hM760LzSEeaj7tVusjQpHg _hNNAkLzSEeaj7tVusjQpHg" version="10.1.0.201509162000"> | ||
| 3 | <semanticResources>ViatraModelAnnotations.ecore</semanticResources> | ||
| 4 | <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore</semanticResources> | ||
| 5 | <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore</semanticResources> | ||
| 6 | <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> | ||
| 7 | <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_hMdZsLzSEeaj7tVusjQpHg"> | ||
| 8 | <ownedRepresentations xmi:type="diagram:DSemanticDiagram" xmi:id="_h6EtoLzSEeaj7tVusjQpHg" name="viatra2logicannotations class diagram"> | ||
| 9 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_h6EtobzSEeaj7tVusjQpHg" source="DANNOTATION_CUSTOMIZATION_KEY"> | ||
| 10 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_h6EtorzSEeaj7tVusjQpHg"> | ||
| 11 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan"> | ||
| 12 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
| 13 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_JijTsbzTEeaj7tVusjQpHg" showIcon="false" labelExpression="service:render"> | ||
| 14 | <labelFormat>bold</labelFormat> | ||
| 15 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
| 16 | </centerLabelStyleDescription> | ||
| 17 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_JijTsrzTEeaj7tVusjQpHg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
| 18 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
| 19 | </endLabelStyleDescription> | ||
| 20 | </computedStyleDescriptions> | ||
| 21 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="__q-j0L2REeaj7tVusjQpHg" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | ||
| 22 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
| 23 | <labelFormat>bold</labelFormat> | ||
| 24 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
| 25 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
| 26 | </computedStyleDescriptions> | ||
| 27 | </data> | ||
| 28 | </ownedAnnotationEntries> | ||
| 29 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_h6IYALzSEeaj7tVusjQpHg" source="GMF_DIAGRAMS"> | ||
| 30 | <data xmi:type="notation:Diagram" xmi:id="_h6IYAbzSEeaj7tVusjQpHg" type="Sirius" element="_h6EtoLzSEeaj7tVusjQpHg" measurementUnit="Pixel"> | ||
| 31 | <children xmi:type="notation:Node" xmi:id="_8vuhcLzSEeaj7tVusjQpHg" type="2003" element="_8vqQALzSEeaj7tVusjQpHg"> | ||
| 32 | <children xmi:type="notation:Node" xmi:id="_8vuhc7zSEeaj7tVusjQpHg" type="5007"/> | ||
| 33 | <children xmi:type="notation:Node" xmi:id="_8vuhdLzSEeaj7tVusjQpHg" type="7004"> | ||
| 34 | <children xmi:type="notation:Node" xmi:id="_4D-9QL2REeaj7tVusjQpHg" type="3010" element="_4Dt3gL2REeaj7tVusjQpHg"> | ||
| 35 | <styles xmi:type="notation:FontStyle" xmi:id="_4D-9Qb2REeaj7tVusjQpHg" fontColor="2697711" fontName="Segoe UI" fontHeight="8"/> | ||
| 36 | <layoutConstraint xmi:type="notation:Location" xmi:id="_4D-9Qr2REeaj7tVusjQpHg"/> | ||
| 37 | </children> | ||
| 38 | <styles xmi:type="notation:SortingStyle" xmi:id="_8vuhdbzSEeaj7tVusjQpHg"/> | ||
| 39 | <styles xmi:type="notation:FilteringStyle" xmi:id="_8vuhdrzSEeaj7tVusjQpHg"/> | ||
| 40 | </children> | ||
| 41 | <styles xmi:type="notation:ShapeStyle" xmi:id="_8vuhcbzSEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 42 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8vuhcrzSEeaj7tVusjQpHg" x="5" y="390" width="228" height="53"/> | ||
| 43 | </children> | ||
| 44 | <children xmi:type="notation:Node" xmi:id="_Ci29sLzTEeaj7tVusjQpHg" type="2003" element="_Ciz6YLzTEeaj7tVusjQpHg"> | ||
| 45 | <children xmi:type="notation:Node" xmi:id="_Ci29s7zTEeaj7tVusjQpHg" type="5007"/> | ||
| 46 | <children xmi:type="notation:Node" xmi:id="_Ci3kwLzTEeaj7tVusjQpHg" type="7004"> | ||
| 47 | <styles xmi:type="notation:SortingStyle" xmi:id="_Ci3kwbzTEeaj7tVusjQpHg"/> | ||
| 48 | <styles xmi:type="notation:FilteringStyle" xmi:id="_Ci3kwrzTEeaj7tVusjQpHg"/> | ||
| 49 | </children> | ||
| 50 | <styles xmi:type="notation:ShapeStyle" xmi:id="_Ci29sbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 51 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ci29srzTEeaj7tVusjQpHg" x="520" y="390" width="263" height="53"/> | ||
| 52 | </children> | ||
| 53 | <children xmi:type="notation:Node" xmi:id="_hos0ULzTEeaj7tVusjQpHg" type="2003" element="_hon70LzTEeaj7tVusjQpHg"> | ||
| 54 | <children xmi:type="notation:Node" xmi:id="_hotbYLzTEeaj7tVusjQpHg" type="5007"/> | ||
| 55 | <children xmi:type="notation:Node" xmi:id="_hotbYbzTEeaj7tVusjQpHg" type="7004"> | ||
| 56 | <styles xmi:type="notation:SortingStyle" xmi:id="_hotbYrzTEeaj7tVusjQpHg"/> | ||
| 57 | <styles xmi:type="notation:FilteringStyle" xmi:id="_hotbY7zTEeaj7tVusjQpHg"/> | ||
| 58 | </children> | ||
| 59 | <styles xmi:type="notation:ShapeStyle" xmi:id="_hos0UbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 60 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hos0UrzTEeaj7tVusjQpHg" x="180" y="320" height="23"/> | ||
| 61 | </children> | ||
| 62 | <children xmi:type="notation:Node" xmi:id="_kYcYELzTEeaj7tVusjQpHg" type="2003" element="_kYYGoLzTEeaj7tVusjQpHg"> | ||
| 63 | <children xmi:type="notation:Node" xmi:id="_kYcYE7zTEeaj7tVusjQpHg" type="5007"/> | ||
| 64 | <children xmi:type="notation:Node" xmi:id="_kYc_ILzTEeaj7tVusjQpHg" type="7004"> | ||
| 65 | <styles xmi:type="notation:SortingStyle" xmi:id="_kYc_IbzTEeaj7tVusjQpHg"/> | ||
| 66 | <styles xmi:type="notation:FilteringStyle" xmi:id="_kYc_IrzTEeaj7tVusjQpHg"/> | ||
| 67 | </children> | ||
| 68 | <styles xmi:type="notation:ShapeStyle" xmi:id="_kYcYEbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 69 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYcYErzTEeaj7tVusjQpHg" x="403" y="245" height="35"/> | ||
| 70 | </children> | ||
| 71 | <children xmi:type="notation:Node" xmi:id="_pqrGsLzTEeaj7tVusjQpHg" type="2003" element="_pqmOMLzTEeaj7tVusjQpHg"> | ||
| 72 | <children xmi:type="notation:Node" xmi:id="_pqrtwLzTEeaj7tVusjQpHg" type="5007"/> | ||
| 73 | <children xmi:type="notation:Node" xmi:id="_pqrtwbzTEeaj7tVusjQpHg" type="7004"> | ||
| 74 | <styles xmi:type="notation:SortingStyle" xmi:id="_pqrtwrzTEeaj7tVusjQpHg"/> | ||
| 75 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pqrtw7zTEeaj7tVusjQpHg"/> | ||
| 76 | </children> | ||
| 77 | <styles xmi:type="notation:ShapeStyle" xmi:id="_pqrGsbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 78 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqrGsrzTEeaj7tVusjQpHg" x="580" y="320" height="28"/> | ||
| 79 | </children> | ||
| 80 | <children xmi:type="notation:Node" xmi:id="_7hZUIPObEeauOJk-5mBnBg" type="2003" element="_7gtXoPObEeauOJk-5mBnBg"> | ||
| 81 | <children xmi:type="notation:Node" xmi:id="_7hjFIPObEeauOJk-5mBnBg" type="5007"/> | ||
| 82 | <children xmi:type="notation:Node" xmi:id="_7hkTQPObEeauOJk-5mBnBg" type="7004"> | ||
| 83 | <styles xmi:type="notation:SortingStyle" xmi:id="_7hkTQfObEeauOJk-5mBnBg"/> | ||
| 84 | <styles xmi:type="notation:FilteringStyle" xmi:id="_7hkTQvObEeauOJk-5mBnBg"/> | ||
| 85 | </children> | ||
| 86 | <styles xmi:type="notation:ShapeStyle" xmi:id="_7hZUIfObEeauOJk-5mBnBg" fontName="Segoe UI" fontHeight="8"/> | ||
| 87 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_7hZUIvObEeauOJk-5mBnBg" x="245" y="390" width="263" height="53"/> | ||
| 88 | </children> | ||
| 89 | <styles xmi:type="notation:DiagramStyle" xmi:id="_h6IYArzSEeaj7tVusjQpHg"/> | ||
| 90 | <edges xmi:type="notation:Edge" xmi:id="_HcowELzTEeaj7tVusjQpHg" type="4001" element="_HcjQgLzTEeaj7tVusjQpHg" source="_Ci29sLzTEeaj7tVusjQpHg" target="_8vuhcLzSEeaj7tVusjQpHg"> | ||
| 91 | <children xmi:type="notation:Node" xmi:id="_HcowFLzTEeaj7tVusjQpHg" type="6001"> | ||
| 92 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowFbzTEeaj7tVusjQpHg" x="113" y="-12" width="59" height="17"/> | ||
| 93 | </children> | ||
| 94 | <children xmi:type="notation:Node" xmi:id="_HcowFrzTEeaj7tVusjQpHg" type="6002"> | ||
| 95 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowF7zTEeaj7tVusjQpHg" x="1" y="366"/> | ||
| 96 | </children> | ||
| 97 | <children xmi:type="notation:Node" xmi:id="_HcowGLzTEeaj7tVusjQpHg" type="6003"> | ||
| 98 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowGbzTEeaj7tVusjQpHg" x="4" y="139"/> | ||
| 99 | </children> | ||
| 100 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_HcowEbzTEeaj7tVusjQpHg" routing="Rectilinear"/> | ||
| 101 | <styles xmi:type="notation:FontStyle" xmi:id="_HcowErzTEeaj7tVusjQpHg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
| 102 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HcowE7zTEeaj7tVusjQpHg" points="[131, 21, 420, 26]$[131, 150, 420, 155]$[-401, 150, -112, 155]$[-401, 26, -112, 31]"/> | ||
| 103 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HcpXILzTEeaj7tVusjQpHg" id="(0.0,0.49019607843137253)"/> | ||
| 104 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HcpXIbzTEeaj7tVusjQpHg" id="(1.0,0.39215686274509803)"/> | ||
| 105 | </edges> | ||
| 106 | <edges xmi:type="notation:Edge" xmi:id="_hotbZLzTEeaj7tVusjQpHg" type="4001" element="_hormMLzTEeaj7tVusjQpHg" source="_8vuhcLzSEeaj7tVusjQpHg" target="_hos0ULzTEeaj7tVusjQpHg"> | ||
| 107 | <children xmi:type="notation:Node" xmi:id="_houCcLzTEeaj7tVusjQpHg" type="6001"> | ||
| 108 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCcbzTEeaj7tVusjQpHg" y="-10"/> | ||
| 109 | </children> | ||
| 110 | <children xmi:type="notation:Node" xmi:id="_houCcrzTEeaj7tVusjQpHg" type="6002"> | ||
| 111 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCc7zTEeaj7tVusjQpHg" y="10"/> | ||
| 112 | </children> | ||
| 113 | <children xmi:type="notation:Node" xmi:id="_houCdLzTEeaj7tVusjQpHg" type="6003"> | ||
| 114 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCdbzTEeaj7tVusjQpHg" y="10"/> | ||
| 115 | </children> | ||
| 116 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_hotbZbzTEeaj7tVusjQpHg" routing="Tree"/> | ||
| 117 | <styles xmi:type="notation:FontStyle" xmi:id="_hotbZrzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 118 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_hotbZ7zTEeaj7tVusjQpHg" points="[115, 240, 115, 240]$[0, 0, 0, 0]"/> | ||
| 119 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_howesLzTEeaj7tVusjQpHg" id="(0.6769911504424779,0.3926128590971272)"/> | ||
| 120 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_howesbzTEeaj7tVusjQpHg" id="(0.5,2.3333333333333335)"/> | ||
| 121 | </edges> | ||
| 122 | <edges xmi:type="notation:Edge" xmi:id="_kYdmMLzTEeaj7tVusjQpHg" type="4001" element="_kYbxALzTEeaj7tVusjQpHg" source="_hos0ULzTEeaj7tVusjQpHg" target="_kYcYELzTEeaj7tVusjQpHg"> | ||
| 123 | <children xmi:type="notation:Node" xmi:id="_kYeNQLzTEeaj7tVusjQpHg" type="6001"> | ||
| 124 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNQbzTEeaj7tVusjQpHg" y="-10"/> | ||
| 125 | </children> | ||
| 126 | <children xmi:type="notation:Node" xmi:id="_kYeNQrzTEeaj7tVusjQpHg" type="6002"> | ||
| 127 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNQ7zTEeaj7tVusjQpHg" y="10"/> | ||
| 128 | </children> | ||
| 129 | <children xmi:type="notation:Node" xmi:id="_kYeNRLzTEeaj7tVusjQpHg" type="6003"> | ||
| 130 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNRbzTEeaj7tVusjQpHg" y="10"/> | ||
| 131 | </children> | ||
| 132 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_kYdmMbzTEeaj7tVusjQpHg" routing="Tree"/> | ||
| 133 | <styles xmi:type="notation:FontStyle" xmi:id="_kYdmMrzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 134 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_kYdmM7zTEeaj7tVusjQpHg" points="[126, 55, 126, 55]$[0, 0, 0, 0]"/> | ||
| 135 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kYhQkLzTEeaj7tVusjQpHg" id="(0.5,2.3333333333333335)"/> | ||
| 136 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kYhQkbzTEeaj7tVusjQpHg" id="(0.5,-0.48484848484848486)"/> | ||
| 137 | </edges> | ||
| 138 | <edges xmi:type="notation:Edge" xmi:id="_pqsU0LzTEeaj7tVusjQpHg" type="4001" element="_pqp4kLzTEeaj7tVusjQpHg" source="_pqrGsLzTEeaj7tVusjQpHg" target="_kYcYELzTEeaj7tVusjQpHg"> | ||
| 139 | <children xmi:type="notation:Node" xmi:id="_pqsU1LzTEeaj7tVusjQpHg" type="6001"> | ||
| 140 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU1bzTEeaj7tVusjQpHg" y="-10"/> | ||
| 141 | </children> | ||
| 142 | <children xmi:type="notation:Node" xmi:id="_pqsU1rzTEeaj7tVusjQpHg" type="6002"> | ||
| 143 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU17zTEeaj7tVusjQpHg" y="10"/> | ||
| 144 | </children> | ||
| 145 | <children xmi:type="notation:Node" xmi:id="_pqsU2LzTEeaj7tVusjQpHg" type="6003"> | ||
| 146 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU2bzTEeaj7tVusjQpHg" y="10"/> | ||
| 147 | </children> | ||
| 148 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_pqsU0bzTEeaj7tVusjQpHg" routing="Tree"/> | ||
| 149 | <styles xmi:type="notation:FontStyle" xmi:id="_pqsU0rzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 150 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pqsU07zTEeaj7tVusjQpHg" points="[0, 0, 0, 0]$[305, -26, 305, -26]"/> | ||
| 151 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pqs74LzTEeaj7tVusjQpHg" id="(0.5,1.8846153846153846)"/> | ||
| 152 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pqs74bzTEeaj7tVusjQpHg" id="(0.5,-0.48484848484848486)"/> | ||
| 153 | </edges> | ||
| 154 | <edges xmi:type="notation:Edge" xmi:id="_rIM0oLzTEeaj7tVusjQpHg" type="4001" element="_rIFf4LzTEeaj7tVusjQpHg" source="_Ci29sLzTEeaj7tVusjQpHg" target="_pqrGsLzTEeaj7tVusjQpHg"> | ||
| 155 | <children xmi:type="notation:Node" xmi:id="_rINbsLzTEeaj7tVusjQpHg" type="6001"> | ||
| 156 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbsbzTEeaj7tVusjQpHg" y="-10"/> | ||
| 157 | </children> | ||
| 158 | <children xmi:type="notation:Node" xmi:id="_rINbsrzTEeaj7tVusjQpHg" type="6002"> | ||
| 159 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbs7zTEeaj7tVusjQpHg" y="10"/> | ||
| 160 | </children> | ||
| 161 | <children xmi:type="notation:Node" xmi:id="_rINbtLzTEeaj7tVusjQpHg" type="6003"> | ||
| 162 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbtbzTEeaj7tVusjQpHg" y="10"/> | ||
| 163 | </children> | ||
| 164 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_rIM0obzTEeaj7tVusjQpHg" routing="Tree"/> | ||
| 165 | <styles xmi:type="notation:FontStyle" xmi:id="_rIM0orzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> | ||
| 166 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_rIM0o7zTEeaj7tVusjQpHg" points="[0, 0, 0, 37]$[0, -37, 0, 0]"/> | ||
| 167 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rIOCwLzTEeaj7tVusjQpHg" id="(0.4866920152091255,0.17282261741906063)"/> | ||
| 168 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rIOCwbzTEeaj7tVusjQpHg" id="(0.5,1.8846153846153846)"/> | ||
| 169 | </edges> | ||
| 170 | <edges xmi:type="notation:Edge" xmi:id="_Ff16QPOcEeauOJk-5mBnBg" type="4001" element="_Fff8APOcEeauOJk-5mBnBg" source="_7hZUIPObEeauOJk-5mBnBg" target="_hos0ULzTEeaj7tVusjQpHg"> | ||
| 171 | <children xmi:type="notation:Node" xmi:id="_Ff4WgPOcEeauOJk-5mBnBg" type="6001"> | ||
| 172 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff4WgfOcEeauOJk-5mBnBg" y="-10"/> | ||
| 173 | </children> | ||
| 174 | <children xmi:type="notation:Node" xmi:id="_Ff5koPOcEeauOJk-5mBnBg" type="6002"> | ||
| 175 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff5kofOcEeauOJk-5mBnBg" y="10"/> | ||
| 176 | </children> | ||
| 177 | <children xmi:type="notation:Node" xmi:id="_Ff6ywPOcEeauOJk-5mBnBg" type="6003"> | ||
| 178 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff6ywfOcEeauOJk-5mBnBg" y="10"/> | ||
| 179 | </children> | ||
| 180 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Ff16QfOcEeauOJk-5mBnBg" routing="Tree"/> | ||
| 181 | <styles xmi:type="notation:FontStyle" xmi:id="_Ff16QvOcEeauOJk-5mBnBg" fontName="Segoe UI" fontHeight="8"/> | ||
| 182 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Ff16Q_OcEeauOJk-5mBnBg" points="[0, 0, 245, 116]$[-245, -116, 0, 0]"/> | ||
| 183 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ff8A4POcEeauOJk-5mBnBg" id="(0.40229885057471265,0.09803921568627451)"/> | ||
| 184 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ff8n8POcEeauOJk-5mBnBg" id="(0.5,2.3333333333333335)"/> | ||
| 185 | </edges> | ||
| 186 | <edges xmi:type="notation:Edge" xmi:id="_fhjIoPOcEeauOJk-5mBnBg" type="4001" element="_fhW7YPOcEeauOJk-5mBnBg" source="_7hZUIPObEeauOJk-5mBnBg" target="_8vuhcLzSEeaj7tVusjQpHg"> | ||
| 187 | <children xmi:type="notation:Node" xmi:id="_fhjvsPOcEeauOJk-5mBnBg" type="6001"> | ||
| 188 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvsfOcEeauOJk-5mBnBg" x="8" y="10"/> | ||
| 189 | </children> | ||
| 190 | <children xmi:type="notation:Node" xmi:id="_fhjvsvOcEeauOJk-5mBnBg" type="6002"> | ||
| 191 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvs_OcEeauOJk-5mBnBg" x="-8" y="133"/> | ||
| 192 | </children> | ||
| 193 | <children xmi:type="notation:Node" xmi:id="_fhjvtPOcEeauOJk-5mBnBg" type="6003"> | ||
| 194 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvtfOcEeauOJk-5mBnBg" x="8" y="98"/> | ||
| 195 | </children> | ||
| 196 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_fhjIofOcEeauOJk-5mBnBg" routing="Rectilinear"/> | ||
| 197 | <styles xmi:type="notation:FontStyle" xmi:id="_fhjIovOcEeauOJk-5mBnBg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
| 198 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_fhjIo_OcEeauOJk-5mBnBg" points="[131, 26, 145, 26]$[131, 80, 145, 80]$[-110, 80, -96, 80]$[-110, 26, -96, 26]"/> | ||
| 199 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fhjvtvOcEeauOJk-5mBnBg" id="(0.0,0.49019607843137253)"/> | ||
| 200 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fhjvt_OcEeauOJk-5mBnBg" id="(1.0,0.49019607843137253)"/> | ||
| 201 | </edges> | ||
| 202 | </data> | ||
| 203 | </ownedAnnotationEntries> | ||
| 204 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_8vqQALzSEeaj7tVusjQpHg" name="TransfomedViatraQuery" tooltipText="" outgoingEdges="_hormMLzTEeaj7tVusjQpHg" incomingEdges="_HcjQgLzTEeaj7tVusjQpHg _fhW7YPOcEeauOJk-5mBnBg" width="12" height="10"> | ||
| 205 | <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/> | ||
| 206 | <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/> | ||
| 207 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
| 208 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
| 209 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
| 210 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="__LnHQL2REeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
| 211 | <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"/> | ||
| 212 | </ownedStyle> | ||
| 213 | <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']"/> | ||
| 214 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4Dt3gL2REeaj7tVusjQpHg" name="patternFullyQualifiedName : EString" tooltipText=""> | ||
| 215 | <target xmi:type="ecore:EAttribute" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/patternFullyQualifiedName"/> | ||
| 216 | <semanticElements xmi:type="ecore:EAttribute" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/patternFullyQualifiedName"/> | ||
| 217 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="__q-j0b2REeaj7tVusjQpHg" labelAlignment="LEFT" description="__q-j0L2REeaj7tVusjQpHg"> | ||
| 218 | <labelFormat>bold</labelFormat> | ||
| 219 | </ownedStyle> | ||
| 220 | <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']"/> | ||
| 221 | </ownedElements> | ||
| 222 | </ownedDiagramElements> | ||
| 223 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_Ciz6YLzTEeaj7tVusjQpHg" name="TransformedViatraWellformednessConstraint" tooltipText="" outgoingEdges="_HcjQgLzTEeaj7tVusjQpHg _rIFf4LzTEeaj7tVusjQpHg" width="12" height="10"> | ||
| 224 | <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/> | ||
| 225 | <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/> | ||
| 226 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
| 227 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
| 228 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
| 229 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_Ci0hcLzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
| 230 | <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"/> | ||
| 231 | </ownedStyle> | ||
| 232 | <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']"/> | ||
| 233 | </ownedDiagramElements> | ||
| 234 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_HcjQgLzTEeaj7tVusjQpHg" name="[1..1] query" sourceNode="_Ciz6YLzTEeaj7tVusjQpHg" targetNode="_8vqQALzSEeaj7tVusjQpHg"> | ||
| 235 | <target xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/query"/> | ||
| 236 | <semanticElements xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/query"/> | ||
| 237 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_JijTs7zTEeaj7tVusjQpHg" description="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan" strokeColor="0,0,0"> | ||
| 238 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_JijTtLzTEeaj7tVusjQpHg" showIcon="false"> | ||
| 239 | <labelFormat>bold</labelFormat> | ||
| 240 | </centerLabelStyle> | ||
| 241 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_JijTtbzTEeaj7tVusjQpHg" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
| 242 | </ownedStyle> | ||
| 243 | <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']"/> | ||
| 244 | </ownedDiagramElements> | ||
| 245 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_hon70LzTEeaj7tVusjQpHg" name="RelationAnnotation" tooltipText="" outgoingEdges="_kYbxALzTEeaj7tVusjQpHg" incomingEdges="_hormMLzTEeaj7tVusjQpHg _Fff8APOcEeauOJk-5mBnBg" width="12" height="10"> | ||
| 246 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/> | ||
| 247 | <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/> | ||
| 248 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_hoq_ILzTEeaj7tVusjQpHg"> | ||
| 249 | <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']"/> | ||
| 250 | </decorations> | ||
| 251 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
| 252 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
| 253 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
| 254 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_hon70bzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
| 255 | <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"/> | ||
| 256 | </ownedStyle> | ||
| 257 | <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']"/> | ||
| 258 | </ownedDiagramElements> | ||
| 259 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_hormMLzTEeaj7tVusjQpHg" sourceNode="_8vqQALzSEeaj7tVusjQpHg" targetNode="_hon70LzTEeaj7tVusjQpHg"> | ||
| 260 | <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/> | ||
| 261 | <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/@eGenericSuperTypes.0"/> | ||
| 262 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="__LpjgL2REeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
| 263 | <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"/> | ||
| 264 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="__Lpjgb2REeaj7tVusjQpHg" showIcon="false"> | ||
| 265 | <labelFormat>italic</labelFormat> | ||
| 266 | </beginLabelStyle> | ||
| 267 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="__Lpjgr2REeaj7tVusjQpHg" showIcon="false"/> | ||
| 268 | </ownedStyle> | ||
| 269 | <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']"/> | ||
| 270 | </ownedDiagramElements> | ||
| 271 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_kYYGoLzTEeaj7tVusjQpHg" name="Annotation" tooltipText="" incomingEdges="_kYbxALzTEeaj7tVusjQpHg _pqp4kLzTEeaj7tVusjQpHg" width="12" height="10"> | ||
| 272 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//Annotation"/> | ||
| 273 | <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//Annotation"/> | ||
| 274 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_kYai4LzTEeaj7tVusjQpHg"> | ||
| 275 | <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']"/> | ||
| 276 | </decorations> | ||
| 277 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
| 278 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
| 279 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
| 280 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_kYYGobzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
| 281 | <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"/> | ||
| 282 | </ownedStyle> | ||
| 283 | <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']"/> | ||
| 284 | </ownedDiagramElements> | ||
| 285 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_kYbxALzTEeaj7tVusjQpHg" sourceNode="_hon70LzTEeaj7tVusjQpHg" targetNode="_kYYGoLzTEeaj7tVusjQpHg"> | ||
| 286 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/> | ||
| 287 | <semanticElements xmi:type="ecore:EGenericType" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation/@eGenericSuperTypes.0"/> | ||
| 288 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_rIE40LzTEeaj7tVusjQpHg"> | ||
| 289 | <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']"/> | ||
| 290 | </decorations> | ||
| 291 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_kYbxAbzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
| 292 | <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"/> | ||
| 293 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_kYbxArzTEeaj7tVusjQpHg" showIcon="false"> | ||
| 294 | <labelFormat>italic</labelFormat> | ||
| 295 | </beginLabelStyle> | ||
| 296 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_kYbxA7zTEeaj7tVusjQpHg" showIcon="false"/> | ||
| 297 | </ownedStyle> | ||
| 298 | <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']"/> | ||
| 299 | </ownedDiagramElements> | ||
| 300 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pqmOMLzTEeaj7tVusjQpHg" name="AssertionAnnotation" tooltipText="" outgoingEdges="_pqp4kLzTEeaj7tVusjQpHg" incomingEdges="_rIFf4LzTEeaj7tVusjQpHg" width="12" height="10"> | ||
| 301 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/> | ||
| 302 | <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/> | ||
| 303 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_pqpRgLzTEeaj7tVusjQpHg"> | ||
| 304 | <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']"/> | ||
| 305 | </decorations> | ||
| 306 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
| 307 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
| 308 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
| 309 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pqmOMbzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
| 310 | <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"/> | ||
| 311 | </ownedStyle> | ||
| 312 | <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']"/> | ||
| 313 | </ownedDiagramElements> | ||
| 314 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pqp4kLzTEeaj7tVusjQpHg" sourceNode="_pqmOMLzTEeaj7tVusjQpHg" targetNode="_kYYGoLzTEeaj7tVusjQpHg"> | ||
| 315 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/> | ||
| 316 | <semanticElements xmi:type="ecore:EGenericType" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/@eGenericSuperTypes.0"/> | ||
| 317 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_rIE40bzTEeaj7tVusjQpHg"> | ||
| 318 | <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']"/> | ||
| 319 | </decorations> | ||
| 320 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pqqfoLzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
| 321 | <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"/> | ||
| 322 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pqqfobzTEeaj7tVusjQpHg" showIcon="false"> | ||
| 323 | <labelFormat>italic</labelFormat> | ||
| 324 | </beginLabelStyle> | ||
| 325 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pqqforzTEeaj7tVusjQpHg" showIcon="false"/> | ||
| 326 | </ownedStyle> | ||
| 327 | <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']"/> | ||
| 328 | </ownedDiagramElements> | ||
| 329 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_rIFf4LzTEeaj7tVusjQpHg" sourceNode="_Ciz6YLzTEeaj7tVusjQpHg" targetNode="_pqmOMLzTEeaj7tVusjQpHg"> | ||
| 330 | <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/> | ||
| 331 | <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/@eGenericSuperTypes.0"/> | ||
| 332 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_rIGG8LzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
| 333 | <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"/> | ||
| 334 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_rIGG8bzTEeaj7tVusjQpHg" showIcon="false"> | ||
| 335 | <labelFormat>italic</labelFormat> | ||
| 336 | </beginLabelStyle> | ||
| 337 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_rIGG8rzTEeaj7tVusjQpHg" showIcon="false"/> | ||
| 338 | </ownedStyle> | ||
| 339 | <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']"/> | ||
| 340 | </ownedDiagramElements> | ||
| 341 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_7gtXoPObEeauOJk-5mBnBg" name="DefinedByDerivedFeature" tooltipText="" outgoingEdges="_Fff8APOcEeauOJk-5mBnBg _fhW7YPOcEeauOJk-5mBnBg" width="12" height="10"> | ||
| 342 | <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/> | ||
| 343 | <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/> | ||
| 344 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
| 345 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
| 346 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
| 347 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_7gvM0PObEeauOJk-5mBnBg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
| 348 | <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"/> | ||
| 349 | </ownedStyle> | ||
| 350 | <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']"/> | ||
| 351 | </ownedDiagramElements> | ||
| 352 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Fff8APOcEeauOJk-5mBnBg" sourceNode="_7gtXoPObEeauOJk-5mBnBg" targetNode="_hon70LzTEeaj7tVusjQpHg"> | ||
| 353 | <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/> | ||
| 354 | <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/@eGenericSuperTypes.0"/> | ||
| 355 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_FfgjEPOcEeauOJk-5mBnBg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
| 356 | <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"/> | ||
| 357 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_FfgjEfOcEeauOJk-5mBnBg" showIcon="false"> | ||
| 358 | <labelFormat>italic</labelFormat> | ||
| 359 | </beginLabelStyle> | ||
| 360 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_FfgjEvOcEeauOJk-5mBnBg" showIcon="false"/> | ||
| 361 | </ownedStyle> | ||
| 362 | <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']"/> | ||
| 363 | </ownedDiagramElements> | ||
| 364 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_fhW7YPOcEeauOJk-5mBnBg" name="[1..1] query" sourceNode="_7gtXoPObEeauOJk-5mBnBg" targetNode="_8vqQALzSEeaj7tVusjQpHg"> | ||
| 365 | <target xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/query"/> | ||
| 366 | <semanticElements xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/query"/> | ||
| 367 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_hzsKYPOcEeauOJk-5mBnBg" description="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan" strokeColor="0,0,0"> | ||
| 368 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_hzsKYfOcEeauOJk-5mBnBg" showIcon="false"> | ||
| 369 | <labelFormat>bold</labelFormat> | ||
| 370 | </centerLabelStyle> | ||
| 371 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_hzsKYvOcEeauOJk-5mBnBg" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
| 372 | </ownedStyle> | ||
| 373 | <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']"/> | ||
| 374 | </ownedDiagramElements> | ||
| 375 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
| 376 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_h6FUsrzSEeaj7tVusjQpHg"/> | ||
| 377 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | ||
| 378 | <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']"/> | ||
| 379 | <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']"/> | ||
| 380 | <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']"/> | ||
| 381 | <target xmi:type="ecore:EPackage" href="ViatraModelAnnotations.ecore#/"/> | ||
| 382 | </ownedRepresentations> | ||
| 383 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | ||
| 384 | </ownedViews> | ||
| 385 | <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_hMvGgLzSEeaj7tVusjQpHg"> | ||
| 386 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> | ||
| 387 | </ownedViews> | ||
| 388 | <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_hM760LzSEeaj7tVusjQpHg"> | ||
| 389 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> | ||
| 390 | </ownedViews> | ||
| 391 | <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_hNNAkLzSEeaj7tVusjQpHg"> | ||
| 392 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | ||
| 393 | </ownedViews> | ||
| 394 | </viewpoint:DAnalysis> | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore new file mode 100644 index 00000000..e4632b1c --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore | |||
| @@ -0,0 +1,16 @@ | |||
| 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="viatra2logicannotations" nsURI="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation" | ||
| 4 | nsPrefix="viatra2logicannotations"> | ||
| 5 | <eClassifiers xsi:type="ecore:EClass" name="TransfomedViatraQuery" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"> | ||
| 6 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="patternFullyQualifiedName" | ||
| 7 | lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
| 8 | </eClassifiers> | ||
| 9 | <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint" | ||
| 10 | eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"> | ||
| 11 | <eStructuralFeatures xsi:type="ecore:EReference" name="query" lowerBound="1" eType="#//TransfomedViatraQuery"/> | ||
| 12 | </eClassifiers> | ||
| 13 | <eClassifiers xsi:type="ecore:EClass" name="DefinedByDerivedFeature" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"> | ||
| 14 | <eStructuralFeatures xsi:type="ecore:EReference" name="query" lowerBound="1" eType="#//TransfomedViatraQuery"/> | ||
| 15 | </eClassifiers> | ||
| 16 | </ecore:EPackage> | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.genmodel b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.genmodel new file mode 100644 index 00000000..7a367c7e --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.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.viatra2logic/ecore-gen" | ||
| 4 | modelPluginID="hu.bme.mit.inf.dslreasoner.viatra2logic" modelName="ViatraModelAnnotations" | ||
| 5 | rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" importerID="org.eclipse.emf.importer.ecore" | ||
| 6 | complianceLevel="8.0" copyrightFields="false" usedGenPackages="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel#//logiclanguage ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel#//logicproblem" | ||
| 7 | operationReflection="true" importOrganizing="true"> | ||
| 8 | <foreignModel>ViatraModelAnnotations.ecore</foreignModel> | ||
| 9 | <genPackages prefix="Viatra2LogicAnnotations" basePackage="hu.bme.mit.inf.dslreasoner.viatra2logic" | ||
| 10 | disposableProviderFactory="true" ecorePackage="ViatraModelAnnotations.ecore#/"> | ||
| 11 | <genClasses ecoreClass="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/> | ||
| 12 | <genClasses ecoreClass="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"> | ||
| 13 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/query"/> | ||
| 14 | </genClasses> | ||
| 15 | </genPackages> | ||
| 16 | </genmodel:GenModel> | ||