<?xml version="1.0" encoding="UTF-8"?>
<XMI xmlns:UML="org.omg/standards/UML" verified="false" timestamp="" xmi.version="1.2" >
 <XMI.header>
  <XMI.documentation>
   <XMI.exporter>umbrello uml modeller http://uml.sf.net</XMI.exporter>
   <XMI.exporterVersion>1.2.90</XMI.exporterVersion>
   <XMI.exporterEncoding>UnicodeUTF8</XMI.exporterEncoding>
  </XMI.documentation>
  <XMI.model xmi.name="umbrellobzEGaa" href="/tmp/kde-samv/umbrellobzEGaa.tmp" />
  <XMI.metamodel xmi.name="UML" href="UML.xml" xmi.version="1.3" />
 </XMI.header>
 <XMI.content>
  <UML:Model>
   <UML:Stereotype visibility="public" xmi.id="3" name="datatype" />
   <UML:DataType stereotype="3" visibility="public" xmi.id="2" name="int" />
   <UML:DataType stereotype="3" visibility="public" xmi.id="4" name="char" />
   <UML:DataType stereotype="3" visibility="public" xmi.id="5" name="bool" />
   <UML:DataType stereotype="3" visibility="public" xmi.id="6" name="float" />
   <UML:DataType stereotype="3" visibility="public" xmi.id="7" name="double" />
   <UML:DataType stereotype="3" visibility="public" xmi.id="8" name="long" />
   <UML:DataType stereotype="3" visibility="public" xmi.id="9" name="short" />
   <UML:DataType stereotype="3" visibility="public" xmi.id="10" name="string" />
   <UML:Class visibility="public" xmi.id="11" name="VType" >
    <UML:Class visibility="public" xmi.id="26" name="SubType" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="12" name="Role" />
   <UML:Class visibility="public" xmi.id="13" name="Method" />
   <UML:Class visibility="public" xmi.id="14" name="Function" />
   <UML:Class visibility="public" xmi.id="15" name="New Type" />
   <UML:Class visibility="public" xmi.id="16" name="Constraint" />
   <UML:Class visibility="public" xmi.id="17" name="Signature" />
   <UML:Class visibility="public" xmi.id="18" name="Tuple" />
   <UML:Association visibility="public" xmi.id="19" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="none" type="17" />
     <UML:AssociationEndRole visibility="public" isNavigable="true" type="18" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Association visibility="public" xmi.id="20" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="none" type="17" />
     <UML:AssociationEndRole visibility="public" isNavigable="true" type="18" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Generalization child="18" visibility="public" xmi.id="21" parent="11" />
   <UML:Association visibility="public" xmi.id="22" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="composite" type="18" />
     <UML:AssociationEndRole visibility="public" type="11" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Association visibility="public" xmi.id="27" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="none" type="26" />
     <UML:AssociationEndRole visibility="public" isNavigable="true" type="16" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Association visibility="public" xmi.id="28" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="composite" type="26" multiplicity="1" />
     <UML:AssociationEndRole visibility="public" type="16" multiplicity="1..*" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Association visibility="public" xmi.id="29" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="composite" type="11" multiplicity="1" />
     <UML:AssociationEndRole visibility="public" type="12" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Association visibility="public" xmi.id="30" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="composite" type="12" multiplicity="1" />
     <UML:AssociationEndRole visibility="public" type="13" multiplicity="*" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Generalization child="16" visibility="public" xmi.id="31" parent="14" />
   <UML:Generalization child="13" visibility="public" xmi.id="32" parent="14" />
   <UML:Association visibility="public" xmi.id="33" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="none" type="13" multiplicity="1" />
     <UML:AssociationEndRole visibility="public" isNavigable="true" type="17" multiplicity="1" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Generalization child="26" visibility="public" xmi.id="34" parent="11" />
   <UML:Association visibility="public" xmi.id="35" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="shared" type="18" />
     <UML:AssociationEndRole visibility="public" type="11" multiplicity="*" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Association visibility="public" xmi.id="39" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="shared" type="11" multiplicity="*" />
     <UML:AssociationEndRole visibility="public" type="12" multiplicity="*" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Generalization child="18" visibility="public" xmi.id="64" parent="11" />
   <UML:Association visibility="public" xmi.id="65" name="argument" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="none" type="17" />
     <UML:AssociationEndRole visibility="public" isNavigable="true" type="11" />
    </UML:Association.connection>
   </UML:Association>
   <UML:Association visibility="public" xmi.id="66" name="return" >
    <UML:Association.connection>
     <UML:AssociationEndRole visibility="public" aggregation="none" type="17" />
     <UML:AssociationEndRole visibility="public" isNavigable="true" type="11" />
    </UML:Association.connection>
   </UML:Association>
  </UML:Model>
 </XMI.content>
 <XMI.extensions xmi.extender="umbrello" >
  <docsettings viewid="1" documentation="sa" uniqueid="71" />
  <diagrams>
   <diagram snapgrid="0" showattsig="1" fillcolor="#ffffc0" linewidth="0" zoom="100" showgrid="0" showopsig="1" usefillcolor="1" snapx="10" canvaswidth="807" snapy="10" showatts="1" xmi.id="1" documentation="" type="402" showops="1" showpackage="0" name="class diagram" localid="30000" showstereotype="0" showscope="1" snapcsgrid="0" font="helvetica,12,-1,0,50,0,0,0,0,0" linecolor="#ff0000" canvasheight="550" >
    <widgets>
     <classwidget usesdiagramfillcolour="0" width="72" showattsigs="601" usesdiagramusefillcolour="0" x="163" linecolour="#ff0000" y="294" showopsigs="601" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="0" fillcolour="#ffffc0" height="48" usefillcolor="1" showpubliconly="0" showattributes="1" isinstance="0" xmi.id="11" showoperations="1" showpackage="0" showscope="1" showstereotype="0" font="helvetica,12,-1,0,75,0,0,0,0,0" />
     <classwidget usesdiagramfillcolour="1" width="51" showattsigs="601" usesdiagramusefillcolour="1" x="356" linecolour="none" y="294" showopsigs="601" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="1" fillcolour="none" height="48" usefillcolor="1" showpubliconly="0" showattributes="1" isinstance="0" xmi.id="12" showoperations="1" showpackage="0" showscope="1" showstereotype="0" font="helvetica,12,-1,0,75,0,0,0,0,0" />
     <classwidget usesdiagramfillcolour="1" width="82" showattsigs="601" usesdiagramusefillcolour="1" x="532" linecolour="none" y="294" showopsigs="601" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="1" fillcolour="none" height="48" usefillcolor="1" showpubliconly="0" showattributes="1" isinstance="0" xmi.id="13" showoperations="1" showpackage="0" showscope="1" showstereotype="0" font="helvetica,12,-1,0,75,0,0,0,0,0" />
     <classwidget usesdiagramfillcolour="1" width="95" showattsigs="601" usesdiagramusefillcolour="1" x="412" linecolour="none" y="193" showopsigs="601" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="1" fillcolour="none" height="48" usefillcolor="1" showpubliconly="0" showattributes="1" isinstance="0" xmi.id="14" showoperations="1" showpackage="0" showscope="1" showstereotype="0" font="helvetica,12,-1,0,75,0,0,0,0,0" />
     <classwidget usesdiagramfillcolour="1" width="114" showattsigs="601" usesdiagramusefillcolour="1" x="386" linecolour="none" y="394" showopsigs="601" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="1" fillcolour="none" height="48" usefillcolor="1" showpubliconly="0" showattributes="1" isinstance="0" xmi.id="16" showoperations="1" showpackage="0" showscope="1" showstereotype="0" font="helvetica,12,-1,0,75,0,0,0,0,0" />
     <classwidget usesdiagramfillcolour="1" width="107" showattsigs="601" usesdiagramusefillcolour="1" x="533" linecolour="none" y="185" showopsigs="601" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="1" fillcolour="none" height="48" usefillcolor="1" showpubliconly="0" showattributes="1" isinstance="0" xmi.id="17" showoperations="1" showpackage="0" showscope="1" showstereotype="0" font="helvetica,12,-1,0,75,0,0,0,0,0" />
     <classwidget usesdiagramfillcolour="1" width="65" showattsigs="601" usesdiagramusefillcolour="1" x="119" linecolour="none" y="394" showopsigs="601" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="1" fillcolour="none" height="48" usefillcolor="1" showpubliconly="0" showattributes="1" isinstance="0" xmi.id="18" showoperations="1" showpackage="0" showscope="1" showstereotype="0" font="helvetica,12,-1,0,75,0,0,0,0,0" />
     <classwidget usesdiagramfillcolour="1" width="96" showattsigs="601" usesdiagramusefillcolour="1" x="202" linecolour="none" y="394" showopsigs="601" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="1" fillcolour="none" height="48" usefillcolor="1" showpubliconly="0" showattributes="1" isinstance="0" xmi.id="26" showoperations="1" showpackage="0" showscope="1" showstereotype="0" font="helvetica,12,-1,0,75,0,0,0,0,0" />
     <notewidget usesdiagramfillcolour="1" width="358" usesdiagramusefillcolour="1" x="60" linecolour="none" y="77" linewidth="none" usesdiagramlinewidth="1" usesdiagramlinecolour="1" fillcolour="none" height="50" usefillcolor="1" isinstance="0" xmi.id="36" text="First relevation: A tuple is a type." font="helvetica,12,-1,0,50,0,0,0,0,0" />
    </widgets>
    <messages/>
    <associations>
     <assocwidget totalcounta="2" indexa="1" totalcountb="2" indexb="1" widgetbid="16" widgetaid="26" xmi.id="28" >
      <linepath>
       <startpoint startx="298" starty="418" />
       <endpoint endx="386" endy="418" />
      </linepath>
      <floatingtext usesdiagramfillcolour="1" width="19" usesdiagramusefillcolour="1" x="300" linecolour="none" y="388" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="701" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="49" text="1" font="helvetica,12,-1,0,50,0,0,0,0,0" />
      <floatingtext usesdiagramfillcolour="1" width="44" usesdiagramusefillcolour="1" x="347" linecolour="none" y="389" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="702" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="51" text="1..*" font="helvetica,12,-1,0,50,0,0,0,0,0" />
     </assocwidget>
     <assocwidget totalcounta="2" indexa="1" totalcountb="2" indexb="1" widgetbid="13" widgetaid="12" xmi.id="30" >
      <linepath>
       <startpoint startx="407" starty="318" />
       <endpoint endx="532" endy="318" />
      </linepath>
      <floatingtext usesdiagramfillcolour="1" width="19" usesdiagramusefillcolour="1" x="409" linecolour="none" y="288" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="701" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="45" text="1" font="helvetica,12,-1,0,50,0,0,0,0,0" />
      <floatingtext usesdiagramfillcolour="1" width="19" usesdiagramusefillcolour="1" x="515" linecolour="none" y="288" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="702" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="47" text="*" font="helvetica,12,-1,0,50,0,0,0,0,0" />
     </assocwidget>
     <assocwidget totalcounta="2" indexa="1" totalcountb="3" indexb="1" widgetbid="14" widgetaid="16" xmi.id="31" >
      <linepath>
       <startpoint startx="443" starty="394" />
       <endpoint endx="443" endy="241" />
      </linepath>
     </assocwidget>
     <assocwidget totalcounta="3" indexa="1" totalcountb="3" indexb="2" widgetbid="14" widgetaid="13" xmi.id="32" >
      <linepath>
       <startpoint startx="559" starty="294" />
       <endpoint endx="475" endy="241" />
       <point x="559" y="269" />
       <point x="475" y="269" />
      </linepath>
     </assocwidget>
     <assocwidget totalcounta="3" indexa="2" totalcountb="2" indexb="1" widgetbid="17" widgetaid="13" xmi.id="33" >
      <linepath>
       <startpoint startx="586" starty="294" />
       <endpoint endx="586" endy="233" />
      </linepath>
      <floatingtext usesdiagramfillcolour="1" width="19" usesdiagramusefillcolour="1" x="588" linecolour="none" y="264" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="701" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="61" text="1" font="helvetica,12,-1,0,50,0,0,0,0,0" />
      <floatingtext usesdiagramfillcolour="1" width="19" usesdiagramusefillcolour="1" x="588" linecolour="none" y="235" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="702" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="63" text="1" font="helvetica,12,-1,0,50,0,0,0,0,0" />
     </assocwidget>
     <assocwidget totalcounta="2" indexa="1" totalcountb="3" indexb="2" widgetbid="11" widgetaid="26" xmi.id="34" >
      <linepath>
       <startpoint startx="250" starty="394" />
       <endpoint endx="211" endy="342" />
      </linepath>
     </assocwidget>
     <assocwidget totalcounta="2" indexa="1" totalcountb="2" indexb="1" widgetbid="11" widgetaid="18" xmi.id="35" >
      <linepath>
       <startpoint startx="119" starty="418" />
       <endpoint endx="163" endy="318" />
       <point x="86" y="419" />
       <point x="86" y="318" />
      </linepath>
      <floatingtext usesdiagramfillcolour="1" width="19" usesdiagramusefillcolour="1" x="146" linecolour="none" y="288" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="702" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="55" text="*" font="helvetica,12,-1,0,50,0,0,0,0,0" />
      <floatingtext usesdiagramfillcolour="1" width="23" usesdiagramusefillcolour="1" x="138" linecolour="none" y="320" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="710" fillcolour="none" height="28" usefillcolor="1" pretext="+" isinstance="0" xmi.id="53" text="" font="helvetica,12,-1,0,50,0,0,0,0,0" />
     </assocwidget>
     <assocwidget totalcounta="2" indexa="1" totalcountb="2" indexb="1" widgetbid="12" widgetaid="11" xmi.id="39" >
      <linepath>
       <startpoint startx="235" starty="318" />
       <endpoint endx="356" endy="318" />
      </linepath>
      <floatingtext usesdiagramfillcolour="1" width="19" usesdiagramusefillcolour="1" x="237" linecolour="none" y="288" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="701" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="41" text="*" font="helvetica,12,-1,0,50,0,0,0,0,0" />
      <floatingtext usesdiagramfillcolour="1" width="19" usesdiagramusefillcolour="1" x="339" linecolour="none" y="288" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="702" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="43" text="*" font="helvetica,12,-1,0,50,0,0,0,0,0" />
     </assocwidget>
     <assocwidget totalcounta="2" indexa="1" totalcountb="3" indexb="1" widgetbid="11" widgetaid="18" xmi.id="64" >
      <linepath>
       <startpoint startx="151" starty="394" />
       <endpoint endx="187" endy="342" />
      </linepath>
     </assocwidget>
     <assocwidget totalcounta="3" indexa="2" totalcountb="3" indexb="1" widgetbid="11" widgetaid="17" xmi.id="65" >
      <linepath>
       <startpoint startx="604" starty="185" />
       <endpoint endx="187" endy="294" />
       <point x="604" y="161" />
       <point x="187" y="161" />
      </linepath>
      <floatingtext usesdiagramfillcolour="1" width="96" usesdiagramusefillcolour="1" x="401" linecolour="none" y="137" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="703" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="68" text="argument" font="helvetica,12,-1,0,50,0,0,0,0,0" />
     </assocwidget>
     <assocwidget totalcounta="3" indexa="1" totalcountb="3" indexb="2" widgetbid="11" widgetaid="17" xmi.id="66" >
      <linepath>
       <startpoint startx="568" starty="185" />
       <endpoint endx="211" endy="294" />
       <point x="568" y="175" />
       <point x="211" y="175" />
      </linepath>
      <floatingtext usesdiagramfillcolour="1" width="64" usesdiagramusefillcolour="1" x="270" linecolour="none" y="168" linewidth="none" usesdiagramlinewidth="1" posttext="" usesdiagramlinecolour="1" role="703" fillcolour="none" height="28" usefillcolor="1" pretext="" isinstance="0" xmi.id="70" text="return" font="helvetica,12,-1,0,50,0,0,0,0,0" />
     </assocwidget>
    </associations>
   </diagram>
  </diagrams>
  <listview>
   <listitem open="1" type="800" id="-1" label="Views" >
    <listitem open="1" type="801" id="-1" label="Logical View" >
     <listitem open="0" type="807" id="1" label="class diagram" />
     <listitem open="1" type="813" id="16" />
     <listitem open="1" type="813" id="14" />
     <listitem open="1" type="813" id="13" />
     <listitem open="1" type="813" id="15" />
     <listitem open="1" type="813" id="12" />
     <listitem open="1" type="813" id="17" />
     <listitem open="1" type="813" id="18" />
     <listitem open="1" type="813" id="11" >
      <listitem open="0" type="813" id="26" />
     </listitem>
     <listitem open="0" type="830" id="-1" label="Datatypes" >
      <listitem open="1" type="829" id="5" />
      <listitem open="1" type="829" id="4" />
      <listitem open="1" type="829" id="7" />
      <listitem open="1" type="829" id="6" />
      <listitem open="1" type="829" id="2" />
      <listitem open="1" type="829" id="8" />
      <listitem open="1" type="829" id="9" />
      <listitem open="1" type="829" id="10" />
     </listitem>
    </listitem>
    <listitem open="1" type="802" id="-1" label="Use Case View" />
    <listitem open="1" type="821" id="-1" label="Component View" />
    <listitem open="1" type="827" id="-1" label="Deployment View" />
   </listitem>
  </listview>
  <codegeneration/>
 </XMI.extensions>
</XMI>
