bugs fixed
diff --git a/org.eclipse.emf.refactor.smells.uml24.henshin/transformations/unusedclass.henshin b/org.eclipse.emf.refactor.smells.uml24.henshin/transformations/unusedclass.henshin
index 6a4dbbb..738a83f 100644
--- a/org.eclipse.emf.refactor.smells.uml24.henshin/transformations/unusedclass.henshin
+++ b/org.eclipse.emf.refactor.smells.uml24.henshin/transformations/unusedclass.henshin
@@ -1,129 +1,141 @@
<?xml version="1.0" encoding="UTF-8"?>
-<henshin:Module xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:henshin="http://www.eclipse.org/emf/2011/Henshin" xmi:id="_1ypocKtFEeKxY8S7jup9FQ">
+<henshin:Module xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:henshin="http://www.eclipse.org/emf/2011/Henshin">
<imports href="http://www.eclipse.org/uml2/4.0.0/UML#/"/>
- <units xsi:type="henshin:Rule" xmi:id="_1yqPgKtFEeKxY8S7jup9FQ" name="mainRule">
- <lhs xmi:id="_1yqPgatFEeKxY8S7jup9FQ" name="Lhs">
- <nodes xmi:id="_1yqPgqtFEeKxY8S7jup9FQ">
+ <units xsi:type="henshin:Rule" name="mainRule">
+ <lhs name="Lhs">
+ <nodes>
<type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
</nodes>
- <formula xsi:type="henshin:And" xmi:id="_0LZWwKtFEeKxY8S7jup9FQ">
- <left xsi:type="henshin:And" xmi:id="_oEgdcKtFEeKxY8S7jup9FQ">
- <left xsi:type="henshin:And" xmi:id="_A7v5QKtFEeKxY8S7jup9FQ">
- <left xsi:type="henshin:And" xmi:id="_9Iu6oKtEEeKxY8S7jup9FQ">
- <left xsi:type="henshin:And" xmi:id="_eYYL0KtEEeKxY8S7jup9FQ">
- <left xsi:type="henshin:Not" xmi:id="_eYYL0atEEeKxY8S7jup9FQ">
- <child xsi:type="henshin:NestedCondition" xmi:id="_eYYL0qtEEeKxY8S7jup9FQ">
- <conclusion xmi:id="_eYYy4KtEEeKxY8S7jup9FQ" name="noSuperclass">
- <nodes xmi:id="_eYYy4atEEeKxY8S7jup9FQ" outgoing="_eYYy46tEEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
- </nodes>
- <nodes xmi:id="_eYYy4qtEEeKxY8S7jup9FQ" incoming="_eYYy46tEEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
- </nodes>
- <edges xmi:id="_eYYy46tEEeKxY8S7jup9FQ" source="_eYYy4atEEeKxY8S7jup9FQ" target="_eYYy4qtEEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class/superClass"/>
- </edges>
- </conclusion>
- <mappings xmi:id="_eYYy5KtEEeKxY8S7jup9FQ" origin="_1yqPgqtFEeKxY8S7jup9FQ" image="_eYYy4atEEeKxY8S7jup9FQ"/>
- </child>
+ <formula xsi:type="henshin:And">
+ <left xsi:type="henshin:And">
+ <left xsi:type="henshin:And">
+ <left xsi:type="henshin:And">
+ <left xsi:type="henshin:And">
+ <left xsi:type="henshin:And">
+ <left xsi:type="henshin:Not">
+ <child xsi:type="henshin:NestedCondition">
+ <conclusion name="noSuperclass">
+ <nodes outgoing="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@left/@child/@conclusion/@edges.0">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
+ </nodes>
+ <nodes incoming="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@left/@child/@conclusion/@edges.0">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
+ </nodes>
+ <edges source="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@left/@child/@conclusion/@nodes.0" target="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@left/@child/@conclusion/@nodes.1">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class/superClass"/>
+ </edges>
+ </conclusion>
+ <mappings origin="//@units.0/@lhs/@nodes.0" image="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@left/@child/@conclusion/@nodes.0"/>
+ </child>
+ </left>
+ <right xsi:type="henshin:Not">
+ <child xsi:type="henshin:NestedCondition">
+ <conclusion name="noSubclass">
+ <nodes incoming="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@right/@child/@conclusion/@edges.0">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
+ </nodes>
+ <nodes outgoing="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@right/@child/@conclusion/@edges.0">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
+ </nodes>
+ <edges source="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@right/@child/@conclusion/@nodes.1" target="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@right/@child/@conclusion/@nodes.0">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class/superClass"/>
+ </edges>
+ </conclusion>
+ <mappings origin="//@units.0/@lhs/@nodes.0" image="//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@right/@child/@conclusion/@nodes.0"/>
+ </child>
+ </right>
</left>
- <right xsi:type="henshin:Not" xmi:id="_eYYy5atEEeKxY8S7jup9FQ">
- <child xsi:type="henshin:NestedCondition" xmi:id="_eYYy5qtEEeKxY8S7jup9FQ">
- <conclusion xmi:id="_eYYy56tEEeKxY8S7jup9FQ" name="noSubclass">
- <nodes xmi:id="_eYaBAKtEEeKxY8S7jup9FQ" incoming="_9Iu6oqtEEeKxY8S7jup9FQ">
+ <right xsi:type="henshin:Not">
+ <child xsi:type="henshin:NestedCondition">
+ <conclusion name="noType">
+ <nodes incoming="//@units.0/@lhs/@formula/@left/@left/@left/@left/@right/@child/@conclusion/@edges.0">
<type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
</nodes>
- <nodes xmi:id="_9Iu6oatEEeKxY8S7jup9FQ" outgoing="_9Iu6oqtEEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
+ <nodes outgoing="//@units.0/@lhs/@formula/@left/@left/@left/@left/@right/@child/@conclusion/@edges.0">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//TypedElement"/>
</nodes>
- <edges xmi:id="_9Iu6oqtEEeKxY8S7jup9FQ" source="_9Iu6oatEEeKxY8S7jup9FQ" target="_eYaBAKtEEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class/superClass"/>
+ <edges source="//@units.0/@lhs/@formula/@left/@left/@left/@left/@right/@child/@conclusion/@nodes.1" target="//@units.0/@lhs/@formula/@left/@left/@left/@left/@right/@child/@conclusion/@nodes.0">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//TypedElement/type"/>
</edges>
</conclusion>
- <mappings xmi:id="_eYaBAatEEeKxY8S7jup9FQ" origin="_1yqPgqtFEeKxY8S7jup9FQ" image="_eYaBAKtEEeKxY8S7jup9FQ"/>
+ <mappings origin="//@units.0/@lhs/@nodes.0" image="//@units.0/@lhs/@formula/@left/@left/@left/@left/@right/@child/@conclusion/@nodes.0"/>
</child>
</right>
</left>
- <right xsi:type="henshin:Not" xmi:id="_9Iu6o6tEEeKxY8S7jup9FQ">
- <child xsi:type="henshin:NestedCondition" xmi:id="_9Iu6pKtEEeKxY8S7jup9FQ">
- <conclusion xmi:id="_9Iu6patEEeKxY8S7jup9FQ" name="noType">
- <nodes xmi:id="_9IxW4KtEEeKxY8S7jup9FQ" incoming="_5e5GIKtEEeKxY8S7jup9FQ">
+ <right xsi:type="henshin:Not">
+ <child xsi:type="henshin:NestedCondition">
+ <conclusion name="noInterface">
+ <nodes outgoing="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@edges.0">
<type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
</nodes>
- <nodes xmi:id="_2Dbr4KtEEeKxY8S7jup9FQ" outgoing="_5e5GIKtEEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//TypedElement"/>
+ <nodes incoming="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@edges.0" outgoing="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@edges.1">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//InterfaceRealization"/>
</nodes>
- <edges xmi:id="_5e5GIKtEEeKxY8S7jup9FQ" source="_2Dbr4KtEEeKxY8S7jup9FQ" target="_9IxW4KtEEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//TypedElement/type"/>
+ <nodes incoming="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@edges.1">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Interface"/>
+ </nodes>
+ <edges source="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@nodes.0" target="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@nodes.1">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//BehavioredClassifier/interfaceRealization"/>
+ </edges>
+ <edges source="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@nodes.1" target="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@nodes.2">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//InterfaceRealization/contract"/>
</edges>
</conclusion>
- <mappings xmi:id="_9IxW4atEEeKxY8S7jup9FQ" origin="_1yqPgqtFEeKxY8S7jup9FQ" image="_9IxW4KtEEeKxY8S7jup9FQ"/>
+ <mappings origin="//@units.0/@lhs/@nodes.0" image="//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@nodes.0"/>
</child>
</right>
</left>
- <right xsi:type="henshin:Not" xmi:id="_A7v5QatFEeKxY8S7jup9FQ">
- <child xsi:type="henshin:NestedCondition" xmi:id="_A7v5QqtFEeKxY8S7jup9FQ">
- <conclusion xmi:id="_A7v5Q6tFEeKxY8S7jup9FQ" name="noInterface">
- <nodes xmi:id="_A7y8kKtFEeKxY8S7jup9FQ" outgoing="_6QgwUKtEEeKxY8S7jup9FQ">
+ <right xsi:type="henshin:Not">
+ <child xsi:type="henshin:NestedCondition">
+ <conclusion name="noUsage">
+ <nodes incoming="//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@edges.0">
<type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
</nodes>
- <nodes xmi:id="_3zR44KtEEeKxY8S7jup9FQ" incoming="_6QgwUKtEEeKxY8S7jup9FQ" outgoing="_P-HsQKtFEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//InterfaceRealization"/>
- </nodes>
- <nodes xmi:id="_O_A_sKtFEeKxY8S7jup9FQ" incoming="_P-HsQKtFEeKxY8S7jup9FQ">
+ <nodes incoming="//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@edges.1">
<type href="http://www.eclipse.org/uml2/4.0.0/UML#//Interface"/>
</nodes>
- <edges xmi:id="_6QgwUKtEEeKxY8S7jup9FQ" source="_A7y8kKtFEeKxY8S7jup9FQ" target="_3zR44KtEEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//BehavioredClassifier/interfaceRealization"/>
+ <nodes outgoing="//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@edges.0 //@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@edges.1">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Usage"/>
+ </nodes>
+ <edges source="//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@nodes.2" target="//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@nodes.0">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Dependency/client"/>
</edges>
- <edges xmi:id="_P-HsQKtFEeKxY8S7jup9FQ" source="_3zR44KtEEeKxY8S7jup9FQ" target="_O_A_sKtFEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//InterfaceRealization/contract"/>
+ <edges source="//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@nodes.2" target="//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@nodes.1">
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Dependency/supplier"/>
</edges>
</conclusion>
- <mappings xmi:id="_A7y8katFEeKxY8S7jup9FQ" origin="_1yqPgqtFEeKxY8S7jup9FQ" image="_A7y8kKtFEeKxY8S7jup9FQ"/>
+ <mappings origin="//@units.0/@lhs/@nodes.0" image="//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@nodes.0"/>
</child>
</right>
</left>
- <right xsi:type="henshin:Not" xmi:id="_oEhEgKtFEeKxY8S7jup9FQ">
- <child xsi:type="henshin:NestedCondition" xmi:id="_oEhEgatFEeKxY8S7jup9FQ">
- <conclusion xmi:id="_oEhEgqtFEeKxY8S7jup9FQ" name="noUsage">
- <nodes xmi:id="_oElV8KtFEeKxY8S7jup9FQ" incoming="_kNWlsKtFEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
+ <right xsi:type="henshin:Not">
+ <child xsi:type="henshin:NestedCondition">
+ <conclusion name="noStatemachine">
+ <nodes>
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//StateMachine"/>
</nodes>
- <nodes xmi:id="_T0_3MKtFEeKxY8S7jup9FQ" incoming="_lGIn0KtFEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Interface"/>
- </nodes>
- <nodes xmi:id="_SjRwoKtFEeKxY8S7jup9FQ" outgoing="_kNWlsKtFEeKxY8S7jup9FQ _lGIn0KtFEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Usage"/>
- </nodes>
- <edges xmi:id="_kNWlsKtFEeKxY8S7jup9FQ" source="_SjRwoKtFEeKxY8S7jup9FQ" target="_oElV8KtFEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Dependency/client"/>
- </edges>
- <edges xmi:id="_lGIn0KtFEeKxY8S7jup9FQ" source="_SjRwoKtFEeKxY8S7jup9FQ" target="_T0_3MKtFEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//Dependency/supplier"/>
- </edges>
</conclusion>
- <mappings xmi:id="_oElV8atFEeKxY8S7jup9FQ" origin="_1yqPgqtFEeKxY8S7jup9FQ" image="_oElV8KtFEeKxY8S7jup9FQ"/>
+ <mappings origin="//@units.0/@lhs/@nodes.0" image="//@units.0/@lhs/@formula/@left/@right/@child/@conclusion/@nodes.0"/>
</child>
</right>
</left>
- <right xsi:type="henshin:Not" xmi:id="_0LZ90KtFEeKxY8S7jup9FQ">
- <child xsi:type="henshin:NestedCondition" xmi:id="_0LZ90atFEeKxY8S7jup9FQ">
- <conclusion xmi:id="_0LZ90qtFEeKxY8S7jup9FQ" name="noStatemachine">
- <nodes xmi:id="_Yr1qUKtFEeKxY8S7jup9FQ">
- <type href="http://www.eclipse.org/uml2/4.0.0/UML#//StateMachine"/>
+ <right xsi:type="henshin:Not">
+ <child xsi:type="henshin:NestedCondition">
+ <conclusion name="noOpaqueBehavior">
+ <nodes>
+ <type href="http://www.eclipse.org/uml2/4.0.0/UML#//OpaqueBehavior"/>
</nodes>
</conclusion>
- <mappings xmi:id="_BQ-F4KtGEeKxY8S7jup9FQ" origin="_1yqPgqtFEeKxY8S7jup9FQ" image="_Yr1qUKtFEeKxY8S7jup9FQ"/>
+ <mappings origin="//@units.0/@lhs/@nodes.0" image="//@units.0/@lhs/@formula/@right/@child/@conclusion/@nodes.0"/>
</child>
</right>
</formula>
</lhs>
- <rhs xmi:id="_1yrdoKtFEeKxY8S7jup9FQ" name="Rhs">
- <nodes xmi:id="_1yrdoatFEeKxY8S7jup9FQ">
+ <rhs name="Rhs">
+ <nodes>
<type href="http://www.eclipse.org/uml2/4.0.0/UML#//Class"/>
</nodes>
</rhs>
- <mappings xmi:id="_1yrdoqtFEeKxY8S7jup9FQ" origin="_1yqPgqtFEeKxY8S7jup9FQ" image="_1yrdoatFEeKxY8S7jup9FQ"/>
+ <mappings origin="//@units.0/@lhs/@nodes.0" image="//@units.0/@rhs/@nodes.0"/>
</units>
</henshin:Module>
diff --git a/org.eclipse.emf.refactor.smells.uml24.henshin/transformations/unusedclass.henshin_diagram b/org.eclipse.emf.refactor.smells.uml24.henshin/transformations/unusedclass.henshin_diagram
index fac84e5..00fd3ae 100644
--- a/org.eclipse.emf.refactor.smells.uml24.henshin/transformations/unusedclass.henshin_diagram
+++ b/org.eclipse.emf.refactor.smells.uml24.henshin/transformations/unusedclass.henshin_diagram
@@ -2,7 +2,7 @@
<notation:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:henshin="http://www.eclipse.org/emf/2011/Henshin" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmi:id="_-WotoKtDEeKxY8S7jup9FQ" type="Henshin" measurementUnit="Pixel">
<children xmi:type="notation:Shape" xmi:id="_-alZgKtDEeKxY8S7jup9FQ" type="2001" fontName="Segoe UI" italic="true" fillColor="16114135" lineColor="0">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_AYmlYKtEEeKxY8S7jup9FQ" source="defaultAction">
- <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_AYmlYatEEeKxY8S7jup9FQ" key="value" value="forbid#noStatemachine"/>
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_AYmlYatEEeKxY8S7jup9FQ" key="value" value="forbid#noOpaqueBehavior"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="_-alZgqtDEeKxY8S7jup9FQ" type="5001"/>
<children xmi:type="notation:DecorationNode" xmi:id="_-alZg6tDEeKxY8S7jup9FQ" type="7001">
@@ -13,160 +13,83 @@
<styles xmi:type="notation:SortingStyle" xmi:id="_AYoalatEEeKxY8S7jup9FQ"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_AYoalqtEEeKxY8S7jup9FQ"/>
</children>
- <element xmi:type="henshin:Node" href="unusedclass.henshin#_1yqPgqtFEeKxY8S7jup9FQ"/>
+ <element xmi:type="henshin:Node" href="unusedclass.henshin#//@units.0/@lhs/@nodes.0"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_AYoakatEEeKxY8S7jup9FQ" x="357" y="229"/>
</children>
- <children xmi:type="notation:Shape" xmi:id="_YaMWIKtEEeKxY8S7jup9FQ" type="3001" fontName="Segoe UI">
- <children xmi:type="notation:DecorationNode" xmi:id="_YaM9MKtEEeKxY8S7jup9FQ" type="5002"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_YaM9MatEEeKxY8S7jup9FQ" type="5003"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_YaM9MqtEEeKxY8S7jup9FQ" type="7002">
- <styles xmi:type="notation:SortingStyle" xmi:id="_YaM9M6tEEeKxY8S7jup9FQ"/>
- <styles xmi:type="notation:FilteringStyle" xmi:id="_YaM9NKtEEeKxY8S7jup9FQ"/>
+ <children xmi:type="notation:Shape" xmi:id="_u3M4sM91EeKAQrUmPQZ1vQ" type="3001" fontName="Segoe UI">
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3M4ss91EeKAQrUmPQZ1vQ" type="5002"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3NfwM91EeKAQrUmPQZ1vQ" type="5003"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3Nfwc91EeKAQrUmPQZ1vQ" type="7002">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_u3Nfws91EeKAQrUmPQZ1vQ"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_u3Nfw891EeKAQrUmPQZ1vQ"/>
</children>
- <element xmi:type="henshin:Node" href="unusedclass.henshin#_9Iu6oatEEeKxY8S7jup9FQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YaMWIatEEeKxY8S7jup9FQ" x="42" y="329"/>
+ <element xmi:type="henshin:Node" href="unusedclass.henshin#//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@left/@child/@conclusion/@nodes.1"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_u3M4sc91EeKAQrUmPQZ1vQ" x="61" y="355"/>
</children>
- <children xmi:type="notation:Shape" xmi:id="_YaM9NatEEeKxY8S7jup9FQ" type="3001" fontName="Segoe UI">
- <children xmi:type="notation:DecorationNode" xmi:id="_YaM9N6tEEeKxY8S7jup9FQ" type="5002"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_YaM9OKtEEeKxY8S7jup9FQ" type="5003"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_YaNkQKtEEeKxY8S7jup9FQ" type="7002">
- <styles xmi:type="notation:SortingStyle" xmi:id="_YaNkQatEEeKxY8S7jup9FQ"/>
- <styles xmi:type="notation:FilteringStyle" xmi:id="_YaNkQqtEEeKxY8S7jup9FQ"/>
+ <children xmi:type="notation:Shape" xmi:id="_u3NfxM91EeKAQrUmPQZ1vQ" type="3001" fontName="Segoe UI">
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3Nfxs91EeKAQrUmPQZ1vQ" type="5002"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3OG0M91EeKAQrUmPQZ1vQ" type="5003"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3OG0c91EeKAQrUmPQZ1vQ" type="7002">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_u3OG0s91EeKAQrUmPQZ1vQ"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_u3OG0891EeKAQrUmPQZ1vQ"/>
</children>
- <element xmi:type="henshin:Node" href="unusedclass.henshin#_eYYy4qtEEeKxY8S7jup9FQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YaM9NqtEEeKxY8S7jup9FQ" x="70" y="49"/>
+ <element xmi:type="henshin:Node" href="unusedclass.henshin#//@units.0/@lhs/@formula/@left/@left/@left/@left/@left/@right/@child/@conclusion/@nodes.1"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_u3Nfxc91EeKAQrUmPQZ1vQ" x="54" y="51"/>
</children>
- <children xmi:type="notation:Shape" xmi:id="_2Dy4QKtEEeKxY8S7jup9FQ" type="3001" fontName="Segoe UI">
- <children xmi:type="notation:DecorationNode" xmi:id="_2DzfUKtEEeKxY8S7jup9FQ" type="5002"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_2DzfUatEEeKxY8S7jup9FQ" type="5003"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_2DzfUqtEEeKxY8S7jup9FQ" type="7002">
- <styles xmi:type="notation:SortingStyle" xmi:id="_2DzfU6tEEeKxY8S7jup9FQ"/>
- <styles xmi:type="notation:FilteringStyle" xmi:id="_2DzfVKtEEeKxY8S7jup9FQ"/>
+ <children xmi:type="notation:Shape" xmi:id="_u3OG1M91EeKAQrUmPQZ1vQ" type="3001" fontName="Segoe UI">
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3OG1s91EeKAQrUmPQZ1vQ" type="5002"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3Ot4M91EeKAQrUmPQZ1vQ" type="5003"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3Ot4c91EeKAQrUmPQZ1vQ" type="7002">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_u3Ot4s91EeKAQrUmPQZ1vQ"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_u3Ot4891EeKAQrUmPQZ1vQ"/>
</children>
- <element xmi:type="henshin:Node" href="unusedclass.henshin#_2Dbr4KtEEeKxY8S7jup9FQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Dy4QatEEeKxY8S7jup9FQ" x="490" y="22"/>
+ <element xmi:type="henshin:Node" href="unusedclass.henshin#//@units.0/@lhs/@formula/@left/@left/@left/@left/@right/@child/@conclusion/@nodes.1"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_u3OG1c91EeKAQrUmPQZ1vQ" x="419"/>
</children>
- <children xmi:type="notation:Shape" xmi:id="_3znQEKtEEeKxY8S7jup9FQ" type="3001" fontName="Segoe UI">
- <children xmi:type="notation:DecorationNode" xmi:id="_3znQEqtEEeKxY8S7jup9FQ" type="5002"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_3znQE6tEEeKxY8S7jup9FQ" type="5003"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_3znQFKtEEeKxY8S7jup9FQ" type="7002">
- <styles xmi:type="notation:SortingStyle" xmi:id="_3znQFatEEeKxY8S7jup9FQ"/>
- <styles xmi:type="notation:FilteringStyle" xmi:id="_3znQFqtEEeKxY8S7jup9FQ"/>
+ <children xmi:type="notation:Shape" xmi:id="_u3Ot5M91EeKAQrUmPQZ1vQ" type="3001" fontName="Segoe UI">
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3PU8M91EeKAQrUmPQZ1vQ" type="5002"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3PU8c91EeKAQrUmPQZ1vQ" type="5003"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3PU8s91EeKAQrUmPQZ1vQ" type="7002">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_u3PU8891EeKAQrUmPQZ1vQ"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_u3PU9M91EeKAQrUmPQZ1vQ"/>
</children>
- <element xmi:type="henshin:Node" href="unusedclass.henshin#_3zR44KtEEeKxY8S7jup9FQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3znQEatEEeKxY8S7jup9FQ" x="687" y="171"/>
+ <element xmi:type="henshin:Node" href="unusedclass.henshin#//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@nodes.1"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_u3Ot5c91EeKAQrUmPQZ1vQ" x="380" y="406"/>
</children>
- <children xmi:type="notation:Shape" xmi:id="_O_2tMKtFEeKxY8S7jup9FQ" type="3001" fontName="Segoe UI">
- <children xmi:type="notation:DecorationNode" xmi:id="_O_3UQKtFEeKxY8S7jup9FQ" type="5002"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_O_3UQatFEeKxY8S7jup9FQ" type="5003"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_O_3UQqtFEeKxY8S7jup9FQ" type="7002">
- <styles xmi:type="notation:SortingStyle" xmi:id="_O_3UQ6tFEeKxY8S7jup9FQ"/>
- <styles xmi:type="notation:FilteringStyle" xmi:id="_O_3URKtFEeKxY8S7jup9FQ"/>
+ <children xmi:type="notation:Shape" xmi:id="_u3PU9c91EeKAQrUmPQZ1vQ" type="3001" fontName="Segoe UI">
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3P8AM91EeKAQrUmPQZ1vQ" type="5002"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3P8Ac91EeKAQrUmPQZ1vQ" type="5003"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3P8As91EeKAQrUmPQZ1vQ" type="7002">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_u3P8A891EeKAQrUmPQZ1vQ"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_u3P8BM91EeKAQrUmPQZ1vQ"/>
</children>
- <element xmi:type="henshin:Node" href="unusedclass.henshin#_O_A_sKtFEeKxY8S7jup9FQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_O_2tMatFEeKxY8S7jup9FQ" x="717" y="22"/>
+ <element xmi:type="henshin:Node" href="unusedclass.henshin#//@units.0/@lhs/@formula/@left/@left/@left/@right/@child/@conclusion/@nodes.2"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_u3PU9s91EeKAQrUmPQZ1vQ" x="659" y="295"/>
</children>
- <children xmi:type="notation:Shape" xmi:id="_Sj-7QKtFEeKxY8S7jup9FQ" type="3001" fontName="Segoe UI">
- <children xmi:type="notation:DecorationNode" xmi:id="_Sj-7QqtFEeKxY8S7jup9FQ" type="5002"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_Sj-7Q6tFEeKxY8S7jup9FQ" type="5003"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_Sj-7RKtFEeKxY8S7jup9FQ" type="7002">
- <styles xmi:type="notation:SortingStyle" xmi:id="_Sj-7RatFEeKxY8S7jup9FQ"/>
- <styles xmi:type="notation:FilteringStyle" xmi:id="_Sj-7RqtFEeKxY8S7jup9FQ"/>
+ <children xmi:type="notation:Shape" xmi:id="_u3P8Bc91EeKAQrUmPQZ1vQ" type="3001" fontName="Segoe UI">
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3QjEM91EeKAQrUmPQZ1vQ" type="5002"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3QjEc91EeKAQrUmPQZ1vQ" type="5003"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3QjEs91EeKAQrUmPQZ1vQ" type="7002">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_u3QjE891EeKAQrUmPQZ1vQ"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_u3QjFM91EeKAQrUmPQZ1vQ"/>
</children>
- <element xmi:type="henshin:Node" href="unusedclass.henshin#_SjRwoKtFEeKxY8S7jup9FQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Sj-7QatFEeKxY8S7jup9FQ" x="584" y="357"/>
+ <element xmi:type="henshin:Node" href="unusedclass.henshin#//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@nodes.1"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_u3P8Bs91EeKAQrUmPQZ1vQ" x="756" y="16"/>
</children>
- <children xmi:type="notation:Shape" xmi:id="_T1zvgKtFEeKxY8S7jup9FQ" type="3001" fontName="Segoe UI">
- <children xmi:type="notation:DecorationNode" xmi:id="_T1zvgqtFEeKxY8S7jup9FQ" type="5002"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_T1zvg6tFEeKxY8S7jup9FQ" type="5003"/>
- <children xmi:type="notation:DecorationNode" xmi:id="_T10WkKtFEeKxY8S7jup9FQ" type="7002">
- <styles xmi:type="notation:SortingStyle" xmi:id="_T10WkatFEeKxY8S7jup9FQ"/>
- <styles xmi:type="notation:FilteringStyle" xmi:id="_T10WkqtFEeKxY8S7jup9FQ"/>
+ <children xmi:type="notation:Shape" xmi:id="_u3QjFc91EeKAQrUmPQZ1vQ" type="3001" fontName="Segoe UI">
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3RKIM91EeKAQrUmPQZ1vQ" type="5002"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3RKIc91EeKAQrUmPQZ1vQ" type="5003"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_u3RKIs91EeKAQrUmPQZ1vQ" type="7002">
+ <styles xmi:type="notation:SortingStyle" xmi:id="_u3RKI891EeKAQrUmPQZ1vQ"/>
+ <styles xmi:type="notation:FilteringStyle" xmi:id="_u3RKJM91EeKAQrUmPQZ1vQ"/>
</children>
- <element xmi:type="henshin:Node" href="unusedclass.henshin#_T0_3MKtFEeKxY8S7jup9FQ"/>
- <layoutConstraint xmi:type="notation:Bounds" xmi:id="_T1zvgatFEeKxY8S7jup9FQ" x="768" y="489"/>
+ <element xmi:type="henshin:Node" href="unusedclass.henshin#//@units.0/@lhs/@formula/@left/@left/@right/@child/@conclusion/@nodes.2"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_u3QjFs91EeKAQrUmPQZ1vQ" x="571" y="141"/>
</children>
</children>
- <element xmi:type="henshin:Rule" href="unusedclass.henshin#_1yqPgKtFEeKxY8S7jup9FQ"/>
+ <element xmi:type="henshin:Rule" href="unusedclass.henshin#//@units.0"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_-alZgatDEeKxY8S7jup9FQ" width="923" height="607"/>
</children>
<styles xmi:type="notation:DiagramStyle" xmi:id="_-WotoatDEeKxY8S7jup9FQ"/>
- <element xmi:type="henshin:Module" href="unusedclass.henshin#_1ypocKtFEeKxY8S7jup9FQ"/>
- <edges xmi:type="notation:Connector" xmi:id="_Ya4SoKtEEeKxY8S7jup9FQ" type="4001" source="_YaMWIKtEEeKxY8S7jup9FQ" target="_AYoakKtEEeKxY8S7jup9FQ">
- <children xmi:type="notation:DecorationNode" xmi:id="_Ya4So6tEEeKxY8S7jup9FQ" type="6001">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_Ya4SpKtEEeKxY8S7jup9FQ" x="-55" y="-27"/>
- </children>
- <children xmi:type="notation:DecorationNode" xmi:id="_Ya4SpatEEeKxY8S7jup9FQ" type="6002">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_Ya45sKtEEeKxY8S7jup9FQ" x="-70" y="-53"/>
- </children>
- <styles xmi:type="notation:FontStyle" xmi:id="_Ya4SoatEEeKxY8S7jup9FQ" fontName="Segoe UI"/>
- <element xmi:type="henshin:Edge" href="unusedclass.henshin#_9Iu6oqtEEeKxY8S7jup9FQ"/>
- <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Ya4SoqtEEeKxY8S7jup9FQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
- </edges>
- <edges xmi:type="notation:Connector" xmi:id="_Ya7V8KtEEeKxY8S7jup9FQ" type="4001" source="_AYoakKtEEeKxY8S7jup9FQ" target="_YaM9NatEEeKxY8S7jup9FQ">
- <children xmi:type="notation:DecorationNode" xmi:id="_Ya7V86tEEeKxY8S7jup9FQ" type="6001">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_Ya7V9KtEEeKxY8S7jup9FQ" x="-37" y="34"/>
- </children>
- <children xmi:type="notation:DecorationNode" xmi:id="_Ya7V9atEEeKxY8S7jup9FQ" type="6002">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_Ya79AKtEEeKxY8S7jup9FQ" x="-38" y="62"/>
- </children>
- <styles xmi:type="notation:FontStyle" xmi:id="_Ya7V8atEEeKxY8S7jup9FQ" fontName="Segoe UI"/>
- <element xmi:type="henshin:Edge" href="unusedclass.henshin#_eYYy46tEEeKxY8S7jup9FQ"/>
- <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Ya7V8qtEEeKxY8S7jup9FQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
- </edges>
- <edges xmi:type="notation:Connector" xmi:id="_5fNPMKtEEeKxY8S7jup9FQ" type="4001" source="_2Dy4QKtEEeKxY8S7jup9FQ" target="_AYoakKtEEeKxY8S7jup9FQ">
- <children xmi:type="notation:DecorationNode" xmi:id="_5fNPM6tEEeKxY8S7jup9FQ" type="6001">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_5fNPNKtEEeKxY8S7jup9FQ" x="-40" y="-25"/>
- </children>
- <children xmi:type="notation:DecorationNode" xmi:id="_5fNPNatEEeKxY8S7jup9FQ" type="6002">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_5fNPNqtEEeKxY8S7jup9FQ" x="-30" y="-58"/>
- </children>
- <styles xmi:type="notation:FontStyle" xmi:id="_5fNPMatEEeKxY8S7jup9FQ" fontName="Segoe UI"/>
- <element xmi:type="henshin:Edge" href="unusedclass.henshin#_5e5GIKtEEeKxY8S7jup9FQ"/>
- <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5fNPMqtEEeKxY8S7jup9FQ" points="[-39, 26, 171, -120]$[-209, 120, 1, -26]"/>
- </edges>
- <edges xmi:type="notation:Connector" xmi:id="_6Q38sKtEEeKxY8S7jup9FQ" type="4001" source="_AYoakKtEEeKxY8S7jup9FQ" target="_3znQEKtEEeKxY8S7jup9FQ">
- <children xmi:type="notation:DecorationNode" xmi:id="_6Q4jwKtEEeKxY8S7jup9FQ" type="6001">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_6Q4jwatEEeKxY8S7jup9FQ" x="9" y="28"/>
- </children>
- <children xmi:type="notation:DecorationNode" xmi:id="_6Q4jwqtEEeKxY8S7jup9FQ" type="6002">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_6Q4jw6tEEeKxY8S7jup9FQ" x="59" y="57"/>
- </children>
- <styles xmi:type="notation:FontStyle" xmi:id="_6Q38satEEeKxY8S7jup9FQ" fontName="Segoe UI"/>
- <element xmi:type="henshin:Edge" href="unusedclass.henshin#_6QgwUKtEEeKxY8S7jup9FQ"/>
- <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_6Q38sqtEEeKxY8S7jup9FQ" points="[17, 26, -138, -165]$[85, 189, -70, -2]"/>
- </edges>
- <edges xmi:type="notation:Connector" xmi:id="_P-ZZEKtFEeKxY8S7jup9FQ" type="4001" source="_3znQEKtEEeKxY8S7jup9FQ" target="_O_2tMKtFEeKxY8S7jup9FQ">
- <children xmi:type="notation:DecorationNode" xmi:id="_P-ZZE6tFEeKxY8S7jup9FQ" type="6001">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_P-aAIKtFEeKxY8S7jup9FQ" y="40"/>
- </children>
- <children xmi:type="notation:DecorationNode" xmi:id="_P-aAIatFEeKxY8S7jup9FQ" type="6002">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_P-aAIqtFEeKxY8S7jup9FQ" x="-10" y="-86"/>
- </children>
- <styles xmi:type="notation:FontStyle" xmi:id="_P-ZZEatFEeKxY8S7jup9FQ" fontName="Segoe UI"/>
- <element xmi:type="henshin:Edge" href="unusedclass.henshin#_P-HsQKtFEeKxY8S7jup9FQ"/>
- <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_P-ZZEqtFEeKxY8S7jup9FQ" points="[7, -26, -32, 90]$[36, -142, -3, -26]"/>
- </edges>
- <edges xmi:type="notation:Connector" xmi:id="_kN_e4KtFEeKxY8S7jup9FQ" type="4001" source="_Sj-7QKtFEeKxY8S7jup9FQ" target="_AYoakKtEEeKxY8S7jup9FQ">
- <children xmi:type="notation:DecorationNode" xmi:id="_kN_e46tFEeKxY8S7jup9FQ" type="6001">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_kOAF8KtFEeKxY8S7jup9FQ" x="21" y="-21"/>
- </children>
- <children xmi:type="notation:DecorationNode" xmi:id="_kOAF8atFEeKxY8S7jup9FQ" type="6002">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_kOAF8qtFEeKxY8S7jup9FQ" x="-1" y="-43"/>
- </children>
- <styles xmi:type="notation:FontStyle" xmi:id="_kN_e4atFEeKxY8S7jup9FQ" fontName="Segoe UI"/>
- <element xmi:type="henshin:Edge" href="unusedclass.henshin#_kNWlsKtFEeKxY8S7jup9FQ"/>
- <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_kN_e4qtFEeKxY8S7jup9FQ" points="[-38, -23, 189, 105]$[-222, -154, 5, -26]"/>
- </edges>
- <edges xmi:type="notation:Connector" xmi:id="_lG0kUKtFEeKxY8S7jup9FQ" type="4001" source="_Sj-7QKtFEeKxY8S7jup9FQ" target="_T1zvgKtFEeKxY8S7jup9FQ">
- <children xmi:type="notation:DecorationNode" xmi:id="_lG1LYKtFEeKxY8S7jup9FQ" type="6001">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_lG1LYatFEeKxY8S7jup9FQ" x="16" y="-32"/>
- </children>
- <children xmi:type="notation:DecorationNode" xmi:id="_lG1LYqtFEeKxY8S7jup9FQ" type="6002">
- <layoutConstraint xmi:type="notation:Location" xmi:id="_lG1LY6tFEeKxY8S7jup9FQ" x="-17" y="55"/>
- </children>
- <styles xmi:type="notation:FontStyle" xmi:id="_lG0kUatFEeKxY8S7jup9FQ" fontName="Segoe UI"/>
- <element xmi:type="henshin:Edge" href="unusedclass.henshin#_lGIn0KtFEeKxY8S7jup9FQ"/>
- <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_lG0kUqtFEeKxY8S7jup9FQ" points="[34, 26, -99, -69]$[95, 91, -38, -4]"/>
- </edges>
+ <element xmi:type="henshin:Module" href="unusedclass.henshin#/"/>
</notation:Diagram>