| Alexander Afanasyev | 182fdc2 | 2012-03-05 18:06:52 -0800 | [diff] [blame] | 1 | <?xml version="1.0" encoding="UTF-8"?> |
| 2 | <XMI verified="false" xmi.version="1.2" timestamp="2012-03-05T17:06:10" xmlns:UML="http://schema.omg.org/spec/UML/1.3"> |
| 3 | <XMI.header> |
| 4 | <XMI.documentation> |
| 5 | <XMI.exporter>umbrello uml modeller http://uml.sf.net</XMI.exporter> |
| 6 | <XMI.exporterVersion>1.5.8</XMI.exporterVersion> |
| 7 | <XMI.exporterEncoding>UnicodeUTF8</XMI.exporterEncoding> |
| 8 | </XMI.documentation> |
| 9 | <XMI.metamodel xmi.version="1.3" href="UML.xml" xmi.name="UML"/> |
| 10 | </XMI.header> |
| 11 | <XMI.content> |
| 12 | <UML:Model isSpecification="false" isAbstract="false" isLeaf="false" xmi.id="m1" isRoot="false" name="Sync protocol"> |
| 13 | <UML:Namespace.ownedElement> |
| 14 | <UML:Stereotype visibility="public" isSpecification="false" namespace="m1" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="folder" name="folder"/> |
| 15 | <UML:Stereotype visibility="public" isSpecification="false" namespace="m1" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="datatype" name="datatype"/> |
| 16 | <UML:Stereotype visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="interface" name="interface"/> |
| 17 | <UML:Stereotype visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD3" name="realize"/> |
| 18 | <UML:Stereotype visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BE2" name="onRemoteAdd"/> |
| 19 | <UML:Stereotype visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="enum" name="enum"/> |
| 20 | <UML:Model stereotype="folder" visibility="private" isSpecification="false" namespace="m1" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="Logical View" name="Logical View"> |
| 21 | <UML:Namespace.ownedElement> |
| 22 | <UML:Package stereotype="folder" visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="Datatypes" name="Datatypes"> |
| 23 | <UML:Namespace.ownedElement> |
| 24 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="QQR7kfX34MVj" name="string"/> |
| 25 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="hJaQtiZgGB3E" name="Xml"/> |
| 26 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="TWcMQGl7c5Mr" name="Hash"/> |
| 27 | <UML:Class visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BF5" name="Iterator"> |
| 28 | <UML:ModelElement.templateParameter> |
| 29 | <UML:TemplateParameter visibility="public" isSpecification="false" namespace="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BF5" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="2GFaGoXGQTI2" name="Leaf"/> |
| 30 | <UML:TemplateParameter visibility="public" isSpecification="false" namespace="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BF5" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="ujp5B8eBw22x" name="NameInfo"/> |
| 31 | </UML:ModelElement.templateParameter> |
| 32 | </UML:Class> |
| 33 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="YJP1lfK5EJLB" name="NamePrefix"/> |
| 34 | <UML:Class visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="E7KaZlL1ahny" name="Container"> |
| 35 | <UML:ModelElement.templateParameter> |
| 36 | <UML:TemplateParameter visibility="public" isSpecification="false" namespace="E7KaZlL1ahny" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="6UvWFn5sK2l7" name="Diff"/> |
| 37 | <UML:TemplateParameter visibility="public" isSpecification="false" namespace="E7KaZlL1ahny" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="ueaLrohmrzGP" name="Name"/> |
| 38 | </UML:ModelElement.templateParameter> |
| 39 | </UML:Class> |
| 40 | <UML:Class visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="1r071TaNsnKd" name="Callback"/> |
| 41 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" elementReference="E7KaZlL1ahny" isRoot="false" xmi.id="lzO9BgBP3CRt" name="Container<Diff>"/> |
| 42 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="BT1dasCLYQM0" name="undef"/> |
| 43 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="ddukTtV6pqzE" name="int"/> |
| 44 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="KWnPtausBOOo" name="char"/> |
| 45 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="YE2L9n0QRUOo" name="bool"/> |
| 46 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="qSE8JVjBhwol" name="float"/> |
| 47 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="nLexWqKlaSCm" name="double"/> |
| 48 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="KcZ9WFaDgjmX" name="short"/> |
| 49 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="ixY6wxnkSeFq" name="long"/> |
| 50 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="p8zBWRVkfzNX" name="unsigned int"/> |
| 51 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="MwbslzPjHGv1" name="unsigned short"/> |
| 52 | <UML:DataType stereotype="datatype" visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="ZLZ7IvH812um" name="unsigned long"/> |
| 53 | <UML:Class visibility="public" isSpecification="false" namespace="Datatypes" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="BKJzhsgNzEAw" name="SeqNo"> |
| 54 | <UML:Classifier.feature> |
| 55 | <UML:Attribute visibility="public" isSpecification="false" xmi.id="XaVLlNAHUCNE" type="p8zBWRVkfzNX" name="session"/> |
| 56 | <UML:Attribute visibility="public" isSpecification="false" xmi.id="O2hIL2AyddSz" type="p8zBWRVkfzNX" name="seq"/> |
| 57 | </UML:Classifier.feature> |
| 58 | </UML:Class> |
| 59 | </UML:Namespace.ownedElement> |
| 60 | </UML:Package> |
| 61 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" name="SyncCcnx"> |
| 62 | <UML:Classifier.feature> |
| 63 | <UML:Attribute visibility="public" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B69" type="1r071TaNsnKd" name="onRemoteAdd"/> |
| 64 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B8A" name="construct"> |
| 65 | <UML:BehavioralFeature.parameter> |
| 66 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="MVlqMzf56kir" type="YJP1lfK5EJLB" value="" name="broadcastPrefix"/> |
| 67 | </UML:BehavioralFeature.parameter> |
| 68 | </UML:Operation> |
| 69 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B8E" name="addFromLocal"> |
| 70 | <UML:BehavioralFeature.parameter> |
| 71 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="sPKgGyS8N1Qn" type="hJaQtiZgGB3E" value="" name="data"/> |
| 72 | </UML:BehavioralFeature.parameter> |
| 73 | </UML:Operation> |
| 74 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B93" name="addFromRemote"> |
| 75 | <UML:BehavioralFeature.parameter> |
| 76 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="MrVf8BHjpOH0" type="hJaQtiZgGB3E" value="" name="data"/> |
| 77 | </UML:BehavioralFeature.parameter> |
| 78 | </UML:Operation> |
| 79 | </UML:Classifier.feature> |
| 80 | <UML:Namespace.ownedElement> |
| 81 | <UML:Dependency visibility="public" isSpecification="false" namespace="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" supplier="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BB4" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" name="<<use>>"/> |
| 82 | <UML:Dependency visibility="public" isSpecification="false" namespace="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" supplier="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5E" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C52" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" name="<<use>>"/> |
| 83 | </UML:Namespace.ownedElement> |
| 84 | </UML:Class> |
| 85 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" name="StateManager"> |
| 86 | <UML:Classifier.feature> |
| 87 | <UML:Attribute visibility="private" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B6D" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" name="state"/> |
| 88 | <UML:Attribute visibility="private" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BAD" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" name="localState"/> |
| 89 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B76" name="advance"> |
| 90 | <UML:BehavioralFeature.parameter> |
| 91 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="pel2EG2Nlo0i" type="hJaQtiZgGB3E" value="" name="states"/> |
| 92 | </UML:BehavioralFeature.parameter> |
| 93 | </UML:Operation> |
| 94 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B7B" name="find"> |
| 95 | <UML:BehavioralFeature.parameter> |
| 96 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B7C" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64"/> |
| 97 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="luVR7bZn692c" type="TWcMQGl7c5Mr" value="" name="stateDigest"/> |
| 98 | </UML:BehavioralFeature.parameter> |
| 99 | </UML:Operation> |
| 100 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B7F" name="head"> |
| 101 | <UML:BehavioralFeature.parameter> |
| 102 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B80" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64"/> |
| 103 | </UML:BehavioralFeature.parameter> |
| 104 | </UML:Operation> |
| 105 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B81" name="logState"> |
| 106 | <UML:BehavioralFeature.parameter> |
| 107 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B83" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" value="" name="next"/> |
| 108 | </UML:BehavioralFeature.parameter> |
| 109 | </UML:Operation> |
| 110 | </UML:Classifier.feature> |
| 111 | </UML:Class> |
| 112 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5E" name="NameManager"> |
| 113 | <UML:Classifier.feature> |
| 114 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C53" name="add"> |
| 115 | <UML:BehavioralFeature.parameter> |
| 116 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C55" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" value="" name="name"/> |
| 117 | </UML:BehavioralFeature.parameter> |
| 118 | </UML:Operation> |
| 119 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C56" name="size"> |
| 120 | <UML:BehavioralFeature.parameter> |
| 121 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C57" type="p8zBWRVkfzNX"/> |
| 122 | </UML:BehavioralFeature.parameter> |
| 123 | </UML:Operation> |
| 124 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C58" name="begin"> |
| 125 | <UML:BehavioralFeature.parameter> |
| 126 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C59" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BF5"/> |
| 127 | </UML:BehavioralFeature.parameter> |
| 128 | </UML:Operation> |
| 129 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C5B" name="end"> |
| 130 | <UML:BehavioralFeature.parameter> |
| 131 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C5C" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BF5"/> |
| 132 | </UML:BehavioralFeature.parameter> |
| 133 | </UML:Operation> |
| 134 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C5D" name="find"> |
| 135 | <UML:BehavioralFeature.parameter> |
| 136 | <UML:Parameter kind="return" xmi.id="" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60"/> |
| 137 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C5F" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" value="" name="name"/> |
| 138 | </UML:BehavioralFeature.parameter> |
| 139 | </UML:Operation> |
| 140 | </UML:Classifier.feature> |
| 141 | </UML:Class> |
| 142 | <UML:Interface stereotype="interface" visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" name="NameInfo"> |
| 143 | <UML:Classifier.feature> |
| 144 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C31" name="getDigest"> |
| 145 | <UML:BehavioralFeature.parameter> |
| 146 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C32" type="TWcMQGl7c5Mr"/> |
| 147 | </UML:BehavioralFeature.parameter> |
| 148 | </UML:Operation> |
| 149 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C33" name="toString"> |
| 150 | <UML:BehavioralFeature.parameter> |
| 151 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C34" type="QQR7kfX34MVj"/> |
| 152 | </UML:BehavioralFeature.parameter> |
| 153 | </UML:Operation> |
| 154 | </UML:Classifier.feature> |
| 155 | </UML:Interface> |
| 156 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B61" name="CcnxNameInfo"/> |
| 157 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B62" name="Ns3NameInfo"/> |
| 158 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" name="Leaf"> |
| 159 | <UML:Classifier.feature> |
| 160 | <UML:Attribute visibility="public" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C08" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" name="info"/> |
| 161 | <UML:Attribute visibility="public" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C0B" type="BKJzhsgNzEAw" name="seq"/> |
| 162 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD0" name="getDigest"> |
| 163 | <UML:BehavioralFeature.parameter> |
| 164 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD1" type="TWcMQGl7c5Mr"/> |
| 165 | </UML:BehavioralFeature.parameter> |
| 166 | </UML:Operation> |
| 167 | </UML:Classifier.feature> |
| 168 | </UML:Class> |
| 169 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name="DiffState"> |
| 170 | <UML:GeneralizableElement.generalization> |
| 171 | <UML:Generalization xmi.idref="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C02"/> |
| 172 | </UML:GeneralizableElement.generalization> |
| 173 | <UML:Classifier.feature> |
| 174 | <UML:Attribute visibility="private" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B9C" type="TWcMQGl7c5Mr" name="digest"/> |
| 175 | <UML:Attribute visibility="private" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C6B" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name="next"/> |
| 176 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BBB" name="getDigest"/> |
| 177 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B9F" name="setNext"> |
| 178 | <UML:BehavioralFeature.parameter> |
| 179 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BA3" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" value="" name="successor"/> |
| 180 | </UML:BehavioralFeature.parameter> |
| 181 | </UML:Operation> |
| 182 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BA1" name="setDigest"> |
| 183 | <UML:BehavioralFeature.parameter> |
| 184 | <UML:Parameter visibility="public" isSpecification="false" xmi.id="Ead4YXntX2OO" type="TWcMQGl7c5Mr" value="" name="digest"/> |
| 185 | </UML:BehavioralFeature.parameter> |
| 186 | </UML:Operation> |
| 187 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BBD" name="diff"> |
| 188 | <UML:BehavioralFeature.parameter> |
| 189 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BBE" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64"/> |
| 190 | </UML:BehavioralFeature.parameter> |
| 191 | </UML:Operation> |
| 192 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="PzgOCbeFLA1T" name="operator+="> |
| 193 | <UML:BehavioralFeature.parameter> |
| 194 | <UML:Parameter visibility="private" isSpecification="false" xmi.id="GvYKz3fhkzBq" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" value="" name="state"/> |
| 195 | </UML:BehavioralFeature.parameter> |
| 196 | </UML:Operation> |
| 197 | </UML:Classifier.feature> |
| 198 | </UML:Class> |
| 199 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" name="FullState"> |
| 200 | <UML:GeneralizableElement.generalization> |
| 201 | <UML:Generalization xmi.idref="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C03"/> |
| 202 | </UML:GeneralizableElement.generalization> |
| 203 | <UML:Classifier.feature> |
| 204 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BA8" name="getDigest"> |
| 205 | <UML:BehavioralFeature.parameter> |
| 206 | <UML:Parameter kind="return" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BA9" type="TWcMQGl7c5Mr"/> |
| 207 | </UML:BehavioralFeature.parameter> |
| 208 | </UML:Operation> |
| 209 | </UML:Classifier.feature> |
| 210 | </UML:Class> |
| 211 | <UML:Abstraction visibility="public" isSpecification="false" namespace="Logical View" supplier="BT1dasCLYQM0" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD2" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name=""/> |
| 212 | <UML:Abstraction stereotype="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD3" visibility="public" isSpecification="false" namespace="Logical View" supplier="BT1dasCLYQM0" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD4" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" name=""/> |
| 213 | <UML:Generalization discriminator="" visibility="public" isSpecification="false" namespace="Logical View" child="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C02" parent="BT1dasCLYQM0" name=""/> |
| 214 | <UML:Generalization discriminator="" visibility="public" isSpecification="false" namespace="Logical View" child="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C03" parent="BT1dasCLYQM0" name=""/> |
| 215 | <UML:Abstraction stereotype="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD3" visibility="public" isSpecification="false" namespace="Logical View" supplier="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C04" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B61" name=""/> |
| 216 | <UML:Abstraction stereotype="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD3" visibility="public" isSpecification="false" namespace="Logical View" supplier="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C06" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B62" name=""/> |
| 217 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C1E" name="ordered container"> |
| 218 | <UML:Association.connection> |
| 219 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="1..1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C1F" type="BT1dasCLYQM0" name="" aggregation="aggregate"/> |
| 220 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="0..-1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C20" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" name="" aggregation="none"/> |
| 221 | </UML:Association.connection> |
| 222 | </UML:Association> |
| 223 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C36" name="info"> |
| 224 | <UML:Association.connection> |
| 225 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="1..1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C37" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" name="" aggregation="aggregate"/> |
| 226 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="1..1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C38" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" name="" aggregation="none"/> |
| 227 | </UML:Association.connection> |
| 228 | </UML:Association> |
| 229 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C3D" name="-names"> |
| 230 | <UML:Association.connection> |
| 231 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="1..1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C3E" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5E" name="" aggregation="composite"/> |
| 232 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="0..-1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C3F" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" name="" aggregation="none"/> |
| 233 | </UML:Association.connection> |
| 234 | </UML:Association> |
| 235 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C44" name="-log"> |
| 236 | <UML:Association.connection> |
| 237 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C45" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" name="" aggregation="aggregate"/> |
| 238 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="*" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C46" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name="" aggregation="none"/> |
| 239 | </UML:Association.connection> |
| 240 | </UML:Association> |
| 241 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C4B" name=""> |
| 242 | <UML:Association.connection> |
| 243 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="1..1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C4C" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" name="" aggregation="composite"/> |
| 244 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="2..2" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C4D" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" name="" aggregation="none"/> |
| 245 | </UML:Association.connection> |
| 246 | </UML:Association> |
| 247 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C64" name=""> |
| 248 | <UML:Association.connection> |
| 249 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="1..1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C65" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name="" aggregation="none"/> |
| 250 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="0..1" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C66" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name="" aggregation="none"/> |
| 251 | </UML:Association.connection> |
| 252 | </UML:Association> |
| 253 | <UML:Dependency visibility="public" isSpecification="false" namespace="Logical View" supplier="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" xmi.id="LoR3G0lvLGQ5" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" name=""/> |
| 254 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="jECQdHOsAJCQ" name=""> |
| 255 | <UML:Association.connection> |
| 256 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" xmi.id="RcXKrMNiowU4" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" name="" aggregation="composite"/> |
| 257 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" xmi.id="rtoKiqqL59wu" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" name="" aggregation="none"/> |
| 258 | </UML:Association.connection> |
| 259 | </UML:Association> |
| 260 | <UML:Dependency visibility="public" isSpecification="false" namespace="Logical View" supplier="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" xmi.id="g96OzTyChWfi" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" name=""/> |
| 261 | <UML:Enumeration stereotype="enum" visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="uzhoaBpepAbw" name="Operation"> |
| 262 | <UML:EnumerationLiteral visibility="public" isSpecification="false" namespace="uzhoaBpepAbw" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="lWMWe0RVKAhy" name="UPDATE"/> |
| 263 | <UML:EnumerationLiteral visibility="public" isSpecification="false" namespace="uzhoaBpepAbw" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="1ihBo9LAKK5z" name="REMOVE"/> |
| 264 | </UML:Enumeration> |
| 265 | <UML:Class visibility="public" isSpecification="false" namespace="Logical View" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="eNibqErmztjN" name="DiffLeaf"> |
| 266 | <UML:GeneralizableElement.generalization> |
| 267 | <UML:Generalization xmi.idref="hmPEfJm4iOHE"/> |
| 268 | </UML:GeneralizableElement.generalization> |
| 269 | <UML:Classifier.feature> |
| 270 | <UML:Attribute visibility="public" isSpecification="false" xmi.id="3IW7VdmMMt4z" type="uzhoaBpepAbw" name="type"/> |
| 271 | </UML:Classifier.feature> |
| 272 | </UML:Class> |
| 273 | <UML:Generalization discriminator="" visibility="public" isSpecification="false" namespace="Logical View" child="eNibqErmztjN" xmi.id="hmPEfJm4iOHE" parent="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" name=""/> |
| 274 | <UML:Interface stereotype="interface" visibility="public" isSpecification="false" namespace="Logical View" isAbstract="true" isLeaf="false" isRoot="false" xmi.id="EcUG7Cv4VJRZ" name="State"> |
| 275 | <UML:Classifier.feature> |
| 276 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="RPP7OKzy2KqV" name="update"> |
| 277 | <UML:BehavioralFeature.parameter> |
| 278 | <UML:Parameter visibility="private" isSpecification="false" xmi.id="JuuBKhfoidZw" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" value="" name="info"/> |
| 279 | <UML:Parameter visibility="private" isSpecification="false" xmi.id="eJSqOntJzB7C" type="BKJzhsgNzEAw" value="" name="seq"/> |
| 280 | </UML:BehavioralFeature.parameter> |
| 281 | </UML:Operation> |
| 282 | <UML:Operation visibility="public" isSpecification="false" isQuery="false" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="J6UUFnkhXKu8" name="remove"> |
| 283 | <UML:BehavioralFeature.parameter> |
| 284 | <UML:Parameter visibility="private" isSpecification="false" xmi.id="k2iiTcdx6xqc" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" value="" name="info"/> |
| 285 | </UML:BehavioralFeature.parameter> |
| 286 | </UML:Operation> |
| 287 | </UML:Classifier.feature> |
| 288 | </UML:Interface> |
| 289 | <UML:Abstraction visibility="public" isSpecification="false" namespace="Logical View" supplier="EcUG7Cv4VJRZ" xmi.id="E9T96r5jZYF1" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" name=""/> |
| 290 | <UML:Abstraction visibility="public" isSpecification="false" namespace="Logical View" supplier="EcUG7Cv4VJRZ" xmi.id="ITGTixAFzhNl" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name=""/> |
| 291 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="qnsHSYZXTfFi" name=""> |
| 292 | <UML:Association.connection> |
| 293 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" xmi.id="LawSqEFpzhlp" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" name="" aggregation="composite"/> |
| 294 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" xmi.id="8PGVgz0icvIg" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" name="" aggregation="none"/> |
| 295 | </UML:Association.connection> |
| 296 | </UML:Association> |
| 297 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="7r4R2jQXqKf4" name=""> |
| 298 | <UML:Association.connection> |
| 299 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" xmi.id="uXI4NwzPrSfC" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name="" aggregation="composite"/> |
| 300 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" xmi.id="YAE7ZBvEirwg" type="eNibqErmztjN" name="" aggregation="none"/> |
| 301 | </UML:Association.connection> |
| 302 | </UML:Association> |
| 303 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="2woppjMlWfIL" name="#leafs"> |
| 304 | <UML:Association.connection> |
| 305 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="1" xmi.id="VILR5ZttV01x" type="EcUG7Cv4VJRZ" name="" aggregation="composite"/> |
| 306 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" multiplicity="*" xmi.id="DwTyjKLGd388" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" name="" aggregation="none"/> |
| 307 | </UML:Association.connection> |
| 308 | </UML:Association> |
| 309 | <UML:Dependency visibility="public" isSpecification="false" namespace="Logical View" supplier="eNibqErmztjN" xmi.id="EZZOxz2EHPXq" client="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" name=""/> |
| 310 | <UML:Association visibility="public" isSpecification="false" namespace="Logical View" xmi.id="OpMKxbqIfYUR" name=""> |
| 311 | <UML:Association.connection> |
| 312 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" xmi.id="4PNhzwJfBzmC" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" name="" aggregation="composite"/> |
| 313 | <UML:AssociationEnd changeability="changeable" visibility="public" isNavigable="true" isSpecification="false" xmi.id="aeSFVfbfKN63" type="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5E" name="" aggregation="none"/> |
| 314 | </UML:Association.connection> |
| 315 | </UML:Association> |
| 316 | </UML:Namespace.ownedElement> |
| 317 | <XMI.extension xmi.extender="umbrello"> |
| 318 | <diagrams> |
| 319 | <diagram showopsig="1" linecolor="#ff0000" snapx="10" showattribassocs="1" snapy="10" linewidth="0" showattsig="1" isopen="1" showpackage="1" showpubliconly="0" showstereotype="1" name="class diagram" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" canvasheight="867" canvaswidth="1415" localid="-1" snapcsgrid="0" showgrid="1" showops="1" griddotcolor="#000000" backgroundcolor="#ffffff" usefillcolor="1" fillcolor="#ffffc0" zoom="100" xmi.id="fObcvBAs2uoO" documentation="" showscope="1" snapgrid="0" showatts="1" type="1"> |
| 320 | <widgets> |
| 321 | <classwidget linecolor="#ff0000" usesdiagramfillcolor="0" linewidth="none" showoperations="1" usesdiagramusefillcolor="0" showpubliconly="0" showpackage="1" x="457" showattsigs="601" showstereotype="1" y="124" showattributes="1" font="Lucida Grande,13,-1,5,50,0,0,0,0,0" width="239" isinstance="0" usefillcolor="1" fillcolor="#ffffc0" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" showscope="1" height="112" showopsigs="601"/> |
| 322 | <classwidget linecolor="#ff0000" usesdiagramfillcolor="0" linewidth="none" showoperations="1" usesdiagramusefillcolor="0" showpubliconly="0" showpackage="1" x="277" showattsigs="601" showstereotype="1" y="10" showattributes="1" font="Lucida Grande,13,-1,5,50,0,0,0,0,0" width="275" isinstance="0" usefillcolor="1" fillcolor="#ffffc0" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" showscope="1" height="80" showopsigs="601"/> |
| 323 | <classwidget linecolor="#ff0000" usesdiagramfillcolor="0" linewidth="none" showoperations="1" usesdiagramusefillcolor="0" showpubliconly="0" showpackage="1" x="329" showattsigs="601" showstereotype="1" y="333" showattributes="1" font="Lucida Grande,13,-1,0,75,0,0,0,0,0" width="138" isinstance="0" usefillcolor="1" fillcolor="#ffffc0" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" showscope="1" height="40" showopsigs="601"/> |
| 324 | <classwidget linecolor="#ff0000" usesdiagramfillcolor="0" linewidth="none" showoperations="1" usesdiagramusefillcolor="0" showpubliconly="0" showpackage="1" x="744" showattsigs="601" showstereotype="1" y="309" showattributes="1" font="Lucida Grande,13,-1,5,50,0,0,0,0,0" width="210" isinstance="0" usefillcolor="1" fillcolor="#ffffc0" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" showscope="1" height="128" showopsigs="601"/> |
| 325 | <classwidget linecolor="none" usesdiagramfillcolor="1" linewidth="none" showoperations="1" usesdiagramusefillcolor="1" showpubliconly="0" showpackage="1" x="20" showattsigs="601" showstereotype="1" y="600" showattributes="1" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" width="101" isinstance="0" usefillcolor="1" fillcolor="none" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B62" showscope="1" height="32" showopsigs="601"/> |
| 326 | <interfacewidget linecolor="none" usesdiagramfillcolor="1" linewidth="none" showoperations="1" usesdiagramusefillcolor="1" showpubliconly="0" showpackage="1" x="60" showstereotype="1" y="407" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" drawascircle="0" width="138" isinstance="0" usefillcolor="1" fillcolor="none" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" showscope="1" height="72" showopsigs="601"/> |
| 327 | <classwidget linecolor="none" usesdiagramfillcolor="1" linewidth="none" showoperations="1" usesdiagramusefillcolor="1" showpubliconly="0" showpackage="1" x="140" showattsigs="601" showstereotype="1" y="600" showattributes="1" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" width="107" isinstance="0" usefillcolor="1" fillcolor="none" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B61" showscope="1" height="32" showopsigs="601"/> |
| 328 | <classwidget linecolor="#ff0000" usesdiagramfillcolor="0" linewidth="none" showoperations="1" usesdiagramusefillcolor="0" showpubliconly="0" showpackage="1" x="349" showattsigs="601" showstereotype="1" y="676" showattributes="1" font="Lucida Grande,13,-1,5,50,0,0,0,0,0" width="138" isinstance="0" usefillcolor="1" fillcolor="#ffffc0" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" showscope="1" height="64" showopsigs="601"/> |
| 329 | <classwidget linecolor="none" usesdiagramfillcolor="1" linewidth="none" showoperations="1" usesdiagramusefillcolor="1" showpubliconly="0" showpackage="1" x="338" showattsigs="601" showstereotype="1" y="807" showattributes="1" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" width="163" isinstance="0" usefillcolor="1" fillcolor="none" xmi.id="BKJzhsgNzEAw" showscope="1" height="56" showopsigs="601"/> |
| 330 | <enumwidget width="73" showstereotype="1" x="854" y="781" usesdiagramusefillcolor="0" usesdiagramfillcolor="0" isinstance="0" fillcolor="#ffffc0" height="64" linecolor="#ff0000" xmi.id="uzhoaBpepAbw" showpackage="1" usefillcolor="1" linewidth="none" font="Lucida Grande,13,-1,0,50,0,0,0,0,0"/> |
| 331 | <classwidget linecolor="none" usesdiagramfillcolor="1" linewidth="none" showoperations="1" usesdiagramusefillcolor="1" showpubliconly="0" showpackage="1" x="837" showattsigs="601" showstereotype="1" y="687" showattributes="1" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" width="127" isinstance="0" usefillcolor="1" fillcolor="none" xmi.id="eNibqErmztjN" showscope="1" height="40" showopsigs="601"/> |
| 332 | <notewidget width="201" showstereotype="1" x="997" noteType="0" y="282" usesdiagramusefillcolor="1" usesdiagramfillcolor="0" isinstance="0" fillcolor="#ffc0ff" height="247" linecolor="none" xmi.id="TE7CLedhNRvT" usefillcolor="1" linewidth="none" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" text="diff() returns Diff object with aggregated list of DiffLeaf's from all children Diff's:

Diff ret;
Diff * state = next;
while (ret != 0)
{
 ret += *state;
 state = state->next;
}

return ret;"/> |
| 333 | <interfacewidget linecolor="none" usesdiagramfillcolor="1" linewidth="none" showoperations="1" usesdiagramusefillcolor="1" showpubliconly="0" showpackage="1" x="513" showstereotype="1" y="488" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" drawascircle="0" width="257" isinstance="0" usefillcolor="1" fillcolor="none" xmi.id="EcUG7Cv4VJRZ" showscope="1" height="72" showopsigs="601"/> |
| 334 | <classwidget linecolor="#ff0000" usesdiagramfillcolor="0" linewidth="none" showoperations="1" usesdiagramusefillcolor="0" showpubliconly="0" showpackage="1" x="155" showattsigs="601" showstereotype="1" y="122" showattributes="1" font="Lucida Grande,13,-1,5,50,0,0,0,0,0" width="239" isinstance="0" usefillcolor="1" fillcolor="#ffffc0" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5E" showscope="1" height="104" showopsigs="601"/> |
| 335 | <notewidget width="291" showstereotype="1" x="3" noteType="0" y="662" usesdiagramusefillcolor="1" usesdiagramfillcolor="0" isinstance="0" fillcolor="#ffc0ff" height="174" linecolor="none" xmi.id="Wdw0pjdPcgtq" usefillcolor="1" linewidth="none" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" text="The assumption is that session and seq are strictly ordered. 

(session1, seq1) > (session2, seq2)
if

session1 > session2
or
session1 == session2 && seq1 > seq2



"/> |
| 336 | </widgets> |
| 337 | <messages/> |
| 338 | <associations> |
| 339 | <assocwidget indexa="1" indexb="1" visibilityA="0" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" visibilityB="0" linecolor="none" changeabilityA="900" totalcounta="4" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B6D" changeabilityB="900" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" totalcountb="3" type="510" linewidth="none"> |
| 340 | <linepath> |
| 341 | <startpoint startx="516" starty="236"/> |
| 342 | <endpoint endx="375" endy="333"/> |
| 343 | </linepath> |
| 344 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="367" showstereotype="1" y="288" text="state" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="-" role="710" width="46" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="UDeI9EAqmwnt" height="20"/> |
| 345 | </assocwidget> |
| 346 | <assocwidget indexa="2" indexb="2" visibilityA="0" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" visibilityB="0" linecolor="none" changeabilityA="900" totalcounta="4" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BAD" changeabilityB="900" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" totalcountb="3" type="510" linewidth="none"> |
| 347 | <linepath> |
| 348 | <startpoint startx="576" starty="236"/> |
| 349 | <endpoint endx="421" endy="333"/> |
| 350 | </linepath> |
| 351 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="437" showstereotype="1" y="295" text="localState" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="-" role="710" width="76" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="uBHVhUISfms1" height="20"/> |
| 352 | </assocwidget> |
| 353 | <assocwidget indexa="3" indexb="1" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" linecolor="none" totalcounta="4" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C44" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" totalcountb="3" type="501" linewidth="none"> |
| 354 | <linepath> |
| 355 | <startpoint startx="636" starty="236"/> |
| 356 | <endpoint endx="814" endy="309"/> |
| 357 | </linepath> |
| 358 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="690" showstereotype="1" y="241" text="-log" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="703" width="35" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="esL6eatRu5Ty" height="20"/> |
| 359 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="664" showstereotype="1" y="236" text="1" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="701" width="16" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="hJuN9Zu5kJFI" height="20"/> |
| 360 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="787" showstereotype="1" y="281" text="*" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="702" width="14" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="e3Kf3fxUc8H8" height="20"/> |
| 361 | </assocwidget> |
| 362 | <assocwidget indexa="2" indexb="1" visibilityA="0" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" visibilityB="0" linecolor="none" changeabilityA="900" totalcounta="3" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C6B" changeabilityB="900" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" totalcountb="2" type="510" linewidth="none"> |
| 363 | <linepath> |
| 364 | <startpoint startx="796" starty="309"/> |
| 365 | <endpoint endx="901" endy="309"/> |
| 366 | <point x="794" y="259"/> |
| 367 | <point x="894" y="259"/> |
| 368 | </linepath> |
| 369 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="858" showstereotype="1" y="289" text="next" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="-" role="710" width="44" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="FhaxTWgPwKmB" height="20"/> |
| 370 | </assocwidget> |
| 371 | <assocwidget indexa="1" indexb="1" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B62" linecolor="none" totalcounta="2" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C06" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" totalcountb="4" type="511" linewidth="none"> |
| 372 | <linepath> |
| 373 | <startpoint startx="70" starty="600"/> |
| 374 | <endpoint endx="94" endy="479"/> |
| 375 | </linepath> |
| 376 | </assocwidget> |
| 377 | <assocwidget indexa="1" indexb="2" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B61" linecolor="none" totalcounta="2" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C04" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" totalcountb="4" type="511" linewidth="none"> |
| 378 | <linepath> |
| 379 | <startpoint startx="193" starty="600"/> |
| 380 | <endpoint endx="129" endy="479"/> |
| 381 | </linepath> |
| 382 | </assocwidget> |
| 383 | <assocwidget indexa="2" indexb="1" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" linecolor="none" totalcounta="3" xmi.id="jECQdHOsAJCQ" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D" totalcountb="2" type="510" linewidth="none"> |
| 384 | <linepath> |
| 385 | <startpoint startx="460" starty="90"/> |
| 386 | <endpoint endx="576" endy="124"/> |
| 387 | </linepath> |
| 388 | </assocwidget> |
| 389 | <assocwidget indexa="1" indexb="3" visibilityA="0" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" visibilityB="0" linecolor="none" changeabilityA="900" totalcounta="3" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C08" changeabilityB="900" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" totalcountb="4" type="510" linewidth="none"> |
| 390 | <linepath> |
| 391 | <startpoint startx="395" starty="676"/> |
| 392 | <endpoint endx="163" endy="479"/> |
| 393 | </linepath> |
| 394 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="269" showstereotype="1" y="545" text="info" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="+" role="710" width="43" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="4OxBCMDwkJQd" height="20"/> |
| 395 | </assocwidget> |
| 396 | <assocwidget indexa="1" indexb="1" visibilityA="0" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" visibilityB="0" linecolor="none" changeabilityA="900" totalcounta="2" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C0B" changeabilityB="900" widgetbid="BKJzhsgNzEAw" totalcountb="2" type="510" linewidth="none"> |
| 397 | <linepath> |
| 398 | <startpoint startx="418" starty="740"/> |
| 399 | <endpoint endx="419" endy="807"/> |
| 400 | </linepath> |
| 401 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="382" showstereotype="1" y="752" text="seq" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="+" role="710" width="40" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="2UO4OJ0p6FD4" height="20"/> |
| 402 | </assocwidget> |
| 403 | <assocwidget indexa="1" indexb="1" widgetaid="eNibqErmztjN" linecolor="none" totalcounta="2" xmi.id="hmPEfJm4iOHE" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" totalcountb="2" type="500" linewidth="none"> |
| 404 | <linepath> |
| 405 | <startpoint startx="837" starty="707"/> |
| 406 | <endpoint endx="487" endy="708"/> |
| 407 | </linepath> |
| 408 | </assocwidget> |
| 409 | <assocwidget indexa="1" indexb="1" visibilityA="0" widgetaid="eNibqErmztjN" visibilityB="0" linecolor="none" changeabilityA="900" totalcounta="2" xmi.id="3IW7VdmMMt4z" changeabilityB="900" widgetbid="uzhoaBpepAbw" totalcountb="2" type="510" linewidth="none"> |
| 410 | <linepath> |
| 411 | <startpoint startx="900" starty="727"/> |
| 412 | <endpoint endx="890" endy="781"/> |
| 413 | </linepath> |
| 414 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="896" showstereotype="1" y="732" text="type" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="+" role="710" width="45" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="ibWIie6HmzHZ" height="20"/> |
| 415 | </assocwidget> |
| 416 | <assocwidget indexa="1" indexb="1" visibilityA="0" widgetaid="TE7CLedhNRvT" visibilityB="0" roleBdoc="" roleAdoc="" linecolor="none" changeabilityA="900" totalcounta="2" changeabilityB="900" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" totalcountb="2" type="513" documentation="" linewidth="none"> |
| 417 | <linepath> |
| 418 | <startpoint startx="997" starty="405"/> |
| 419 | <endpoint endx="954" endy="373"/> |
| 420 | </linepath> |
| 421 | </assocwidget> |
| 422 | <assocwidget indexa="1" indexb="1" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65" linecolor="none" totalcounta="2" xmi.id="E9T96r5jZYF1" widgetbid="EcUG7Cv4VJRZ" totalcountb="3" type="511" linewidth="none"> |
| 423 | <linepath> |
| 424 | <startpoint startx="398" starty="373"/> |
| 425 | <endpoint endx="598" endy="488"/> |
| 426 | </linepath> |
| 427 | </assocwidget> |
| 428 | <assocwidget indexa="1" indexb="2" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" linecolor="none" totalcounta="3" xmi.id="ITGTixAFzhNl" widgetbid="EcUG7Cv4VJRZ" totalcountb="3" type="511" linewidth="none"> |
| 429 | <linepath> |
| 430 | <startpoint startx="814" starty="437"/> |
| 431 | <endpoint endx="684" endy="488"/> |
| 432 | </linepath> |
| 433 | </assocwidget> |
| 434 | <assocwidget indexa="1" indexb="2" widgetaid="EcUG7Cv4VJRZ" linecolor="none" totalcounta="2" xmi.id="2woppjMlWfIL" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63" totalcountb="3" type="510" linewidth="none"> |
| 435 | <linepath> |
| 436 | <startpoint startx="641" starty="560"/> |
| 437 | <endpoint endx="441" endy="676"/> |
| 438 | </linepath> |
| 439 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="541" showstereotype="1" y="618" text="#leafs" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="703" width="46" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="Fg8ExQ98umig" height="20"/> |
| 440 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="635" showstereotype="1" y="570" text="1" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="701" width="16" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="bIYcYJNrlWhB" height="20"/> |
| 441 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="432" showstereotype="1" y="652" text="*" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="702" width="14" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="PqjThqSOkykD" height="20"/> |
| 442 | </assocwidget> |
| 443 | <assocwidget indexa="2" indexb="1" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64" linecolor="none" totalcounta="3" xmi.id="EZZOxz2EHPXq" widgetbid="eNibqErmztjN" totalcountb="2" type="502" linewidth="none"> |
| 444 | <linepath> |
| 445 | <startpoint startx="884" starty="437"/> |
| 446 | <endpoint endx="900" endy="687"/> |
| 447 | </linepath> |
| 448 | </assocwidget> |
| 449 | <assocwidget indexa="1" indexb="1" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5E" linecolor="none" totalcounta="2" xmi.id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C3D" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60" totalcountb="2" type="510" linewidth="none"> |
| 450 | <linepath> |
| 451 | <startpoint startx="274" starty="226"/> |
| 452 | <endpoint endx="129" endy="407"/> |
| 453 | </linepath> |
| 454 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="185" showstereotype="1" y="273" text="-names" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="703" width="57" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="Apk1HPd4DY5k" height="20"/> |
| 455 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="270" showstereotype="1" y="232" text="1..1" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="701" width="33" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="BXfTbEneZhSh" height="20"/> |
| 456 | <floatingtext linecolor="none" usesdiagramfillcolor="1" linewidth="none" usesdiagramusefillcolor="1" x="95" showstereotype="1" y="380" text="0..-1" font="Lucida Grande,13,-1,0,50,0,0,0,0,0" pretext="" role="702" width="40" isinstance="0" posttext="" usefillcolor="1" fillcolor="none" xmi.id="8bxVqmacI5us" height="20"/> |
| 457 | </assocwidget> |
| 458 | <assocwidget indexa="1" indexb="1" widgetaid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C" linecolor="none" totalcounta="3" xmi.id="OpMKxbqIfYUR" widgetbid="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5E" totalcountb="2" type="510" linewidth="none"> |
| 459 | <linepath> |
| 460 | <startpoint startx="368" starty="90"/> |
| 461 | <endpoint endx="274" endy="122"/> |
| 462 | </linepath> |
| 463 | </assocwidget> |
| 464 | <assocwidget indexa="1" indexb="1" visibilityA="0" widgetaid="Wdw0pjdPcgtq" visibilityB="0" roleBdoc="" roleAdoc="" linecolor="none" changeabilityA="900" totalcounta="2" changeabilityB="900" widgetbid="BKJzhsgNzEAw" totalcountb="2" type="513" documentation="" linewidth="none"> |
| 465 | <linepath> |
| 466 | <startpoint startx="294" starty="749"/> |
| 467 | <endpoint endx="338" endy="835"/> |
| 468 | </linepath> |
| 469 | </assocwidget> |
| 470 | </associations> |
| 471 | </diagram> |
| 472 | </diagrams> |
| 473 | </XMI.extension> |
| 474 | </UML:Model> |
| 475 | <UML:Model stereotype="folder" visibility="public" isSpecification="false" namespace="m1" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="Use Case View" name="Use Case View"> |
| 476 | <UML:Namespace.ownedElement/> |
| 477 | </UML:Model> |
| 478 | <UML:Model stereotype="folder" visibility="public" isSpecification="false" namespace="m1" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="Component View" name="Component View"> |
| 479 | <UML:Namespace.ownedElement/> |
| 480 | </UML:Model> |
| 481 | <UML:Model stereotype="folder" visibility="public" isSpecification="false" namespace="m1" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="Deployment View" name="Deployment View"> |
| 482 | <UML:Namespace.ownedElement/> |
| 483 | </UML:Model> |
| 484 | <UML:Model stereotype="folder" visibility="public" isSpecification="false" namespace="m1" isAbstract="false" isLeaf="false" isRoot="false" xmi.id="Entity Relationship Model" name="Entity Relationship Model"> |
| 485 | <UML:Namespace.ownedElement/> |
| 486 | </UML:Model> |
| 487 | </UML:Namespace.ownedElement> |
| 488 | </UML:Model> |
| 489 | </XMI.content> |
| 490 | <XMI.extensions xmi.extender="umbrello"> |
| 491 | <docsettings viewid="fObcvBAs2uoO" uniqueid="fJiA4FIrKsVC" documentation=""/> |
| 492 | <listview> |
| 493 | <listitem open="1" type="800" id="Views"> |
| 494 | <listitem open="1" type="802" id="Use Case View"/> |
| 495 | <listitem open="1" type="801" id="Logical View"> |
| 496 | <listitem open="1" type="807" id="fObcvBAs2uoO" label="class diagram"/> |
| 497 | <listitem open="0" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5C"> |
| 498 | <listitem open="1" type="814" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B69"/> |
| 499 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B8A"/> |
| 500 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B93"/> |
| 501 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B8E"/> |
| 502 | </listitem> |
| 503 | <listitem open="0" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5D"> |
| 504 | <listitem open="1" type="814" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B6D"/> |
| 505 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B81"/> |
| 506 | <listitem open="1" type="814" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BAD"/> |
| 507 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B7F"/> |
| 508 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B7B"/> |
| 509 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B76"/> |
| 510 | </listitem> |
| 511 | <listitem open="1" type="817" id="EcUG7Cv4VJRZ"> |
| 512 | <listitem open="0" type="815" id="RPP7OKzy2KqV"/> |
| 513 | <listitem open="0" type="815" id="J6UUFnkhXKu8"/> |
| 514 | </listitem> |
| 515 | <listitem open="0" type="831" id="uzhoaBpepAbw"> |
| 516 | <listitem open="0" type="839" id="lWMWe0RVKAhy"/> |
| 517 | <listitem open="0" type="839" id="1ihBo9LAKK5z"/> |
| 518 | </listitem> |
| 519 | <listitem open="1" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B62"/> |
| 520 | <listitem open="0" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B5E"> |
| 521 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C56"/> |
| 522 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C5D"/> |
| 523 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C5B"/> |
| 524 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C58"/> |
| 525 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C53"/> |
| 526 | </listitem> |
| 527 | <listitem open="0" type="817" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B60"> |
| 528 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C33"/> |
| 529 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C31"/> |
| 530 | </listitem> |
| 531 | <listitem open="1" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B63"> |
| 532 | <listitem open="1" type="814" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C0B"/> |
| 533 | <listitem open="1" type="814" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C08"/> |
| 534 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BD0"/> |
| 535 | </listitem> |
| 536 | <listitem open="1" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B65"> |
| 537 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BA8"/> |
| 538 | </listitem> |
| 539 | <listitem open="0" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B64"> |
| 540 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B9F"/> |
| 541 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BA1"/> |
| 542 | <listitem open="0" type="815" id="PzgOCbeFLA1T"/> |
| 543 | <listitem open="1" type="814" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000C6B"/> |
| 544 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BBB"/> |
| 545 | <listitem open="1" type="814" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B9C"/> |
| 546 | <listitem open="1" type="815" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BBD"/> |
| 547 | </listitem> |
| 548 | <listitem open="1" type="813" id="eNibqErmztjN"> |
| 549 | <listitem open="0" type="814" id="3IW7VdmMMt4z"/> |
| 550 | </listitem> |
| 551 | <listitem open="0" type="830" id="Datatypes"> |
| 552 | <listitem open="0" type="829" id="MwbslzPjHGv1"/> |
| 553 | <listitem open="0" type="829" id="ZLZ7IvH812um"/> |
| 554 | <listitem open="0" type="829" id="p8zBWRVkfzNX"/> |
| 555 | <listitem open="0" type="829" id="BT1dasCLYQM0"/> |
| 556 | <listitem open="1" type="829" id="QQR7kfX34MVj"/> |
| 557 | <listitem open="0" type="829" id="KcZ9WFaDgjmX"/> |
| 558 | <listitem open="0" type="829" id="ixY6wxnkSeFq"/> |
| 559 | <listitem open="0" type="829" id="ddukTtV6pqzE"/> |
| 560 | <listitem open="0" type="829" id="qSE8JVjBhwol"/> |
| 561 | <listitem open="0" type="829" id="nLexWqKlaSCm"/> |
| 562 | <listitem open="0" type="829" id="KWnPtausBOOo"/> |
| 563 | <listitem open="0" type="829" id="YE2L9n0QRUOo"/> |
| 564 | <listitem open="1" type="829" id="hJaQtiZgGB3E"/> |
| 565 | <listitem open="0" type="813" id="BKJzhsgNzEAw"> |
| 566 | <listitem open="0" type="814" id="XaVLlNAHUCNE"/> |
| 567 | <listitem open="0" type="814" id="O2hIL2AyddSz"/> |
| 568 | </listitem> |
| 569 | <listitem open="1" type="829" id="YJP1lfK5EJLB"/> |
| 570 | <listitem open="0" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000BF5"> |
| 571 | <listitem open="0" type="816" id="ujp5B8eBw22x"/> |
| 572 | <listitem open="0" type="816" id="2GFaGoXGQTI2"/> |
| 573 | </listitem> |
| 574 | <listitem open="1" type="829" id="TWcMQGl7c5Mr"/> |
| 575 | <listitem open="1" type="829" id="lzO9BgBP3CRt"/> |
| 576 | <listitem open="0" type="813" id="E7KaZlL1ahny"> |
| 577 | <listitem open="0" type="816" id="ueaLrohmrzGP"/> |
| 578 | <listitem open="0" type="816" id="6UvWFn5sK2l7"/> |
| 579 | </listitem> |
| 580 | <listitem open="0" type="813" id="1r071TaNsnKd"/> |
| 581 | </listitem> |
| 582 | <listitem open="1" type="813" id="-125--77--46-97--2f781ed3:135c5d2d978:-8000:0000000000000B61"/> |
| 583 | </listitem> |
| 584 | <listitem open="1" type="836" id="Entity Relationship Model"/> |
| 585 | <listitem open="1" type="827" id="Deployment View"/> |
| 586 | <listitem open="1" type="821" id="Component View"/> |
| 587 | </listitem> |
| 588 | </listview> |
| 589 | <codegeneration> |
| 590 | <codegenerator language="C++"/> |
| 591 | </codegeneration> |
| 592 | </XMI.extensions> |
| 593 | </XMI> |