classi_tiger.xmi

编译原理大作业---tiger编译器 包括semant,translate,mipsframe,regalloc等所有phase 懂的人自会知道

<?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="umbrelloaKU88a" href="/tmp/kde-gabriele/umbrelloaKU88a.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="boolean" />
   <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="byte" />
   <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="Frame/Access" >
    <UML:Operation visibility="public" xmi.id="18" type="Tree/Exp" isAbstract="true" name="exp" >
     <UML:Parameter visibility="public" xmi.id="19" value="" type="Tree/Exp" name="frame_ptr" />
    </UML:Operation>
   </UML:Class>
   <UML:Class visibility="public" xmi.id="12" name="Mips/InFrame" >
    <UML:Attribute visibility="public" xmi.id="124" value="" type="int" name="offset" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="13" name="Mips/InReg" >
    <UML:Operation visibility="public" xmi.id="126" type="Tree/Exp" name="exp" >
     <UML:Parameter visibility="public" xmi.id="127" value="" type="Tree/Exp" name="framep" />
    </UML:Operation>
    <UML:Attribute visibility="protected" xmi.id="125" value="" type="Temp/Temp" name="temp" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="14" name="Translate/Access" >
    <UML:Attribute visibility="public" xmi.id="25" value="" type="Translate/Level" name="home" />
    <UML:Attribute visibility="public" xmi.id="26" value="" type="Frame/Access" name="acc" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="16" isAbstract="true" name="Tree/Exp" >
    <UML:Operation visibility="public" xmi.id="33" type="Tree/ExpList" isAbstract="true" name="kids" />
    <UML:Operation visibility="public" xmi.id="34" type="Tree/Exp" isAbstract="true" name="build" >
     <UML:Parameter visibility="public" xmi.id="35" value="" type="Tree/ExpList" name="kids" />
    </UML:Operation>
   </UML:Class>
   <UML:Class visibility="public" xmi.id="23" name="Translate/Level" />
   <UML:Class visibility="public" xmi.id="29" name="Tree/EXP" >
    <UML:Operation visibility="public" xmi.id="44" type="Tree/EXP" name="EXP" >
     <UML:Parameter visibility="public" xmi.id="45" value="" type="Tree/Exp" name="e" />
    </UML:Operation>
    <UML:Operation visibility="public" xmi.id="46" type="Tree/ExpList" name="kids" />
    <UML:Operation visibility="public" xmi.id="47" type="Tree/Stm" name="build" >
     <UML:Parameter visibility="public" xmi.id="48" value="" type="Tree/ExpList" name="kids" />
    </UML:Operation>
    <UML:Attribute visibility="public" xmi.id="43" value="" type="Tree/Exp" name="exp" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="30" isAbstract="true" name="Tree/Stm" >
    <UML:Operation visibility="public" xmi.id="78" type="Tree/ExpList" isAbstract="true" name="kids" />
    <UML:Operation visibility="public" xmi.id="79" type="Tree/Stm" isAbstract="true" name="build" >
     <UML:Parameter visibility="public" xmi.id="80" value="" type="Tree/ExpList" name="kids" />
    </UML:Operation>
   </UML:Class>
   <UML:Class visibility="public" xmi.id="31" isAbstract="true" name="Translate/Exp" >
    <UML:Operation visibility="public" xmi.id="36" type="Tree/Exp" isAbstract="true" name="unEx" />
    <UML:Operation visibility="public" xmi.id="37" type="Tree/Stm" isAbstract="true" name="unNx" />
    <UML:Operation visibility="public" xmi.id="38" type="Tree/Stm" isAbstract="true" name="unCx" >
     <UML:Parameter visibility="public" xmi.id="39" value="" type="Temp/Label" name="t" />
     <UML:Parameter visibility="public" xmi.id="40" value="" type="Temp/Label" name="f" />
    </UML:Operation>
   </UML:Class>
   <UML:Class visibility="public" xmi.id="32" name="Tree/ExpList" />
   <UML:Class visibility="public" xmi.id="41" name="Temp/Label" />
   <UML:Class visibility="public" xmi.id="50" isAbstract="true" name="Translate/Cx" >
    <UML:Operation visibility="public" xmi.id="57" type="Tree/Exp" name="unEx" />
    <UML:Operation visibility="public" xmi.id="58" type="Tree/Stm" isAbstract="true" name="unCx" >
     <UML:Parameter visibility="public" xmi.id="59" value="" type="Temp/Label" name="t" />
     <UML:Parameter visibility="public" xmi.id="60" value="" type="Temp/Label" name="f" />
    </UML:Operation>
    <UML:Operation visibility="public" xmi.id="61" type="Tree/Stm" name="unNx" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="51" name="Translate/Ex" >
    <UML:Operation visibility="public" xmi.id="63" type="Translate/Ex" name="Ex" >
     <UML:Parameter visibility="public" xmi.id="64" value="" type="Tree/Exp" name="e" />
    </UML:Operation>
    <UML:Operation visibility="public" xmi.id="65" type="Tree/Exp" name="unEx" />
    <UML:Operation visibility="public" xmi.id="66" type="Tree/Stm" name="unNx" />
    <UML:Operation visibility="public" xmi.id="67" type="Tree/Stm" name="unCx" >
     <UML:Parameter visibility="public" xmi.id="68" value="" type="Temp/Label" name="t" />
     <UML:Parameter visibility="public" xmi.id="69" value="" type="Temp/Label" name="f" />
    </UML:Operation>
    <UML:Attribute visibility="private" xmi.id="62" value="" type="Tree/Exp" name="exp" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="52" name="Translate/Nx" >
    <UML:Operation visibility="public" xmi.id="71" type="Translate/Nx" name="Nx" >
     <UML:Parameter visibility="public" xmi.id="72" value="" type="Tree/Stm" name="s" />
    </UML:Operation>
    <UML:Operation visibility="public" xmi.id="73" type="Tree/Exp" name="unEx" />
    <UML:Operation visibility="public" xmi.id="74" type="Tree/Stm" name="unNx" />
    <UML:Operation visibility="public" xmi.id="75" type="Tree/Stm" name="unCx" >
     <UML:Parameter visibility="public" xmi.id="76" value="" type="Temp/Label" name="t" />
     <UML:Parameter visibility="public" xmi.id="77" value="" type="Temp/Label" name="f" />
    </UML:Operation>
    <UML:Attribute visibility="private" xmi.id="70" value="" type="Tree/Stm" name="stm" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="83" isAbstract="true" name="Absyn" />
   <UML:Class visibility="public" xmi.id="84" isAbstract="true" name="Absyn/Var" />
   <UML:Class visibility="public" xmi.id="85" name="Absyn/VarExp" >
    <UML:Operation visibility="public" xmi.id="115" type="Absyn/VarExp" name="VarExp" >
     <UML:Parameter visibility="public" xmi.id="116" value="" type="int" name="p" />
     <UML:Parameter visibility="public" xmi.id="117" value="" type="Absyn/Var" name="v" />
    </UML:Operation>
    <UML:Attribute visibility="public" xmi.id="114" value="" type="Absyn/Var" name="var" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="86" name="Absyn/SubscriptVar" >
    <UML:Operation visibility="public" xmi.id="110" type="Absyn/SubscriptVar" name="SubscriptVar" >
     <UML:Parameter visibility="public" xmi.id="111" value="" type="int" name="p" />
     <UML:Parameter visibility="public" xmi.id="112" value="" type="Absyn/Var" name="v" />
     <UML:Parameter visibility="public" xmi.id="113" value="" type="Absyn/Exp" name="i" />
    </UML:Operation>
    <UML:Attribute visibility="public" xmi.id="96" value="" type="Absyn/Var" name="var" />
    <UML:Attribute visibility="public" xmi.id="109" value="" type="Absyn/Exp" name="index" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="87" name="Absyn/FieldVar" >
    <UML:Operation visibility="public" xmi.id="100" type="Absyn/FieldVar" name="FieldVar" >
     <UML:Parameter visibility="public" xmi.id="101" value="" type="int" name="p" />
     <UML:Parameter visibility="public" xmi.id="102" value="" type="Absyn/Var" name="v" />
     <UML:Parameter visibility="public" xmi.id="103" value="" type="Symbol" name="f" />
    </UML:Operation>
    <UML:Attribute visibility="public" xmi.id="98" value="" type="Absyn/Var" name="var" />
    <UML:Attribute visibility="public" xmi.id="99" value="" type="Symbol" name="field" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="88" name="Absyn/SimpleVar" >
    <UML:Operation visibility="public" xmi.id="92" type="Absyn/SimpleVar" name="SimpleVar" >
     <UML:Parameter visibility="public" xmi.id="93" value="" type="int" name="p" />
     <UML:Parameter visibility="public" xmi.id="94" value="" type="Symbol" name="n" />
    </UML:Operation>
    <UML:Attribute visibility="public" xmi.id="91" value="" type="Symbol" name="name" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="90" isAbstract="true" name="Symbol" />
   <UML:Class visibility="public" xmi.id="107" isAbstract="true" name="Absyn/Exp" />
   <UML:Class visibility="public" xmi.id="120" name="Temp/Temp" />
   <UML:Class visibility="public" xmi.id="121" name="Tree/TEMP" >
    <UML:Attribute visibility="public" xmi.id="122" value="" type="Temp/Temp" name="temp" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="129" name="Translate/RelCx" >
    <UML:Operation visibility="public" xmi.id="133" type="Tree/Stm" name="unCx" >
     <UML:Parameter visibility="public" xmi.id="134" value="" type="Temp/Label" name="t" />
     <UML:Parameter visibility="public" xmi.id="135" value="" type="Temp/Label" name="f" />
    </UML:Operation>
    <UML:Attribute visibility="protected" xmi.id="131" value="" type="Translate/Exp" name="left" />
    <UML:Attribute visibility="protected" xmi.id="132" value="" type="Translate/Exp" name="right" />
    <UML:Attribute visibility="protected" xmi.id="173" value="" type="int" name="relop" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="139" name="Semant/Semant" >
    <UML:Attribute visibility="protected" xmi.id="156" value="" type="Semant/Env" name="env" />
    <UML:Attribute visibility="private" xmi.id="157" value="" type="int" name="loopDepth" />
    <UML:Attribute visibility="protected" xmi.id="158" value="" type="Translate/Level" name="level" />
    <UML:Attribute visibility="protected" xmi.id="159" value="" type="Translate/Level" name="levin" />
    <UML:Attribute visibility="public" xmi.id="162" value="" type="Translate/Translate" name="trans" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="140" name="Semant/VarEntry" >
    <UML:Attribute visibility="protected" xmi.id="163" value="" type="Translate/Access" name="access" />
    <UML:Attribute visibility="protected" xmi.id="164" value="" type="Types/Type" name="ty" />
    <UML:Attribute visibility="protected" xmi.id="165" value="" type="boolean" name="isFor" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="141" name="Semant/FunEntry" >
    <UML:Attribute visibility="public" xmi.id="168" value="" type="Translate/Level" name="level" />
    <UML:Attribute visibility="public" xmi.id="169" value="" type="Temp/Label" name="label" />
    <UML:Attribute visibility="public" xmi.id="171" value="" type="Types/RECORD" name="formals" />
    <UML:Attribute visibility="public" xmi.id="172" value="" type="Types/Type" name="results" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="142" isAbstract="true" name="Semant/Entry" />
   <UML:Class visibility="public" xmi.id="143" name="Semant/Env" >
    <UML:Attribute visibility="protected" xmi.id="153" value="" type="Symbol/Table" name="venv" />
    <UML:Attribute visibility="protected" xmi.id="154" value="" type="Symbol/Table" name="tenv" />
    <UML:Attribute visibility="public" xmi.id="155" value="" type="Translate/Level" name="lev" />
   </UML:Class>
   <UML:Class visibility="public" xmi.id="144" name="Semant/ExpTy" >
    <UML:Operation visibility="protected" xmi.id="149" type="Semant/ExpTy" name="ExpTy" >