<?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>