forked from JavaTX/JavaCompilerCore
498 lines
51 KiB
HTML
Executable File
498 lines
51 KiB
HTML
Executable File
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
||
<!--NewPage-->
|
||
<HTML>
|
||
<HEAD>
|
||
<!-- Generated by javadoc (build 1.5.0_02) on Tue Jun 21 18:37:00 CEST 2005 -->
|
||
<TITLE>
|
||
T-Index
|
||
</TITLE>
|
||
|
||
|
||
<LINK REL ="stylesheet" TYPE="text/css" HREF="../stylesheet.css" TITLE="Style">
|
||
|
||
<SCRIPT type="text/javascript">
|
||
function windowTitle()
|
||
{
|
||
parent.document.title="T-Index";
|
||
}
|
||
</SCRIPT>
|
||
<NOSCRIPT>
|
||
</NOSCRIPT>
|
||
|
||
</HEAD>
|
||
|
||
<BODY BGCOLOR="white" onload="windowTitle();">
|
||
|
||
|
||
<!-- ========= START OF TOP NAVBAR ======= -->
|
||
<A NAME="navbar_top"><!-- --></A>
|
||
<A HREF="#skip-navbar_top" title="Skip navigation links"></A>
|
||
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
|
||
<TR>
|
||
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
|
||
<A NAME="navbar_top_firstrow"><!-- --></A>
|
||
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
|
||
<TR ALIGN="center" VALIGN="top">
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Package</FONT> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Use</FONT> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
|
||
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
|
||
</TR>
|
||
</TABLE>
|
||
</TD>
|
||
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
|
||
</EM>
|
||
</TD>
|
||
</TR>
|
||
|
||
<TR>
|
||
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
|
||
<A HREF="index-18.html"><B>PREV LETTER</B></A>
|
||
<A HREF="index-20.html"><B>NEXT LETTER</B></A></FONT></TD>
|
||
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
|
||
<A HREF="../index.html?index-filesindex-19.html" target="_top"><B>FRAMES</B></A>
|
||
<A HREF="index-19.html" target="_top"><B>NO FRAMES</B></A>
|
||
<SCRIPT type="text/javascript">
|
||
<!--
|
||
if(window==top) {
|
||
document.writeln('<A HREF="../allclasses-noframe.html"><B>All Classes</B></A>');
|
||
}
|
||
//-->
|
||
</SCRIPT>
|
||
<NOSCRIPT>
|
||
<A HREF="../allclasses-noframe.html"><B>All Classes</B></A>
|
||
</NOSCRIPT>
|
||
|
||
|
||
</FONT></TD>
|
||
</TR>
|
||
</TABLE>
|
||
<A NAME="skip-navbar_top"></A>
|
||
<!-- ========= END OF TOP NAVBAR ========= -->
|
||
|
||
<A HREF="index-1.html">A</A> <A HREF="index-2.html">B</A> <A HREF="index-3.html">C</A> <A HREF="index-4.html">D</A> <A HREF="index-5.html">E</A> <A HREF="index-6.html">F</A> <A HREF="index-7.html">G</A> <A HREF="index-8.html">H</A> <A HREF="index-9.html">I</A> <A HREF="index-10.html">J</A> <A HREF="index-11.html">K</A> <A HREF="index-12.html">L</A> <A HREF="index-13.html">M</A> <A HREF="index-14.html">N</A> <A HREF="index-15.html">O</A> <A HREF="index-16.html">P</A> <A HREF="index-17.html">R</A> <A HREF="index-18.html">S</A> <A HREF="index-19.html">T</A> <A HREF="index-20.html">U</A> <A HREF="index-21.html">V</A> <A HREF="index-22.html">W</A> <A HREF="index-23.html">X</A> <A HREF="index-24.html">Y</A> <HR>
|
||
<A NAME="_T_"><!-- --></A><H2>
|
||
<B>T</B></H2>
|
||
<DL>
|
||
<DT><A HREF="../mycompiler/mytype/Pair.html#TA1"><B>TA1</B></A> -
|
||
Variable in class mycompiler.mytype.<A HREF="../mycompiler/mytype/Pair.html" title="class in mycompiler.mytype">Pair</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/Pair.html#TA2"><B>TA2</B></A> -
|
||
Variable in class mycompiler.mytype.<A HREF="../mycompiler/mytype/Pair.html" title="class in mycompiler.mytype">Pair</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mybytecode/JVMCode.html#tableswitch"><B>tableswitch</B></A> -
|
||
Static variable in class mycompiler.mybytecode.<A HREF="../mycompiler/mybytecode/JVMCode.html" title="class in mycompiler.mybytecode">JVMCode</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/unused/TestClass.html" title="class in mycompiler.unused"><B>TestClass</B></A> - Class in <A HREF="../mycompiler/unused/package-summary.html">mycompiler.unused</A><DD> <DT><A HREF="../mycompiler/unused/TestClass.html#TestClass()"><B>TestClass()</B></A> -
|
||
Constructor for class mycompiler.unused.<A HREF="../mycompiler/unused/TestClass.html" title="class in mycompiler.unused">TestClass</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/IfStmt.html#then_block"><B>then_block</B></A> -
|
||
Variable in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/IfStmt.html" title="class in mycompiler.mystatement">IfStmt</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/myparser/JavaParser.html#THIS"><B>THIS</B></A> -
|
||
Static variable in class mycompiler.myparser.<A HREF="../mycompiler/myparser/JavaParser.html" title="class in mycompiler.myparser">JavaParser</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/This.html" title="class in mycompiler.mystatement"><B>This</B></A> - Class in <A HREF="../mycompiler/mystatement/package-summary.html">mycompiler.mystatement</A><DD> <DT><A HREF="../mycompiler/mystatement/This.html#This()"><B>This()</B></A> -
|
||
Constructor for class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/This.html" title="class in mycompiler.mystatement">This</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/myparser/JavaParser.html#THROW"><B>THROW</B></A> -
|
||
Static variable in class mycompiler.myparser.<A HREF="../mycompiler/myparser/JavaParser.html" title="class in mycompiler.myparser">JavaParser</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/myparser/JavaParser.html#THROWS"><B>THROWS</B></A> -
|
||
Static variable in class mycompiler.myparser.<A HREF="../mycompiler/myparser/JavaParser.html" title="class in mycompiler.myparser">JavaParser</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/CHelper.html#time()"><B>time()</B></A> -
|
||
Static method in class mycompiler.mytypereconstruction.<A HREF="../mycompiler/mytypereconstruction/CHelper.html" title="class in mycompiler.mytypereconstruction">CHelper</A>
|
||
<DD>Author: J<>rg B<>uerle<br/>
|
||
Liefert die aktuelle Zeit in Langformat zur<75>ck.
|
||
<DT><A HREF="../mycompiler/myparser/JavaParser.html#TIMESEQUAL"><B>TIMESEQUAL</B></A> -
|
||
Static variable in class mycompiler.myparser.<A HREF="../mycompiler/myparser/JavaParser.html" title="class in mycompiler.myparser">JavaParser</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/myoperator/TimesOp.html" title="class in mycompiler.myoperator"><B>TimesOp</B></A> - Class in <A HREF="../mycompiler/myoperator/package-summary.html">mycompiler.myoperator</A><DD> <DT><A HREF="../mycompiler/myoperator/TimesOp.html#TimesOp()"><B>TimesOp()</B></A> -
|
||
Constructor for class mycompiler.myoperator.<A HREF="../mycompiler/myoperator/TimesOp.html" title="class in mycompiler.myoperator">TimesOp</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/myparser/JavaParser.yyInput.html#token()"><B>token()</B></A> -
|
||
Method in interface mycompiler.myparser.<A HREF="../mycompiler/myparser/JavaParser.yyInput.html" title="interface in mycompiler.myparser">JavaParser.yyInput</A>
|
||
<DD>classifies current token.
|
||
<DT><A HREF="../mycompiler/myparser/Scanner.html#token()"><B>token()</B></A> -
|
||
Method in class mycompiler.myparser.<A HREF="../mycompiler/myparser/Scanner.html" title="class in mycompiler.myparser">Scanner</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/myparser/Token.html" title="class in mycompiler.myparser"><B>Token</B></A> - Class in <A HREF="../mycompiler/myparser/package-summary.html">mycompiler.myparser</A><DD> <DT><A HREF="../mycompiler/myparser/Token.html#token"><B>token</B></A> -
|
||
Variable in class mycompiler.myparser.<A HREF="../mycompiler/myparser/Token.html" title="class in mycompiler.myparser">Token</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/Pair.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytype.<A HREF="../mycompiler/mytype/Pair.html" title="class in mycompiler.mytype">Pair</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/Type.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytype.<A HREF="../mycompiler/mytype/Type.html" title="class in mycompiler.mytype">Type</A>
|
||
<DD><br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/CIntersectionType.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.<A HREF="../mycompiler/mytypereconstruction/CIntersectionType.html" title="class in mycompiler.mytypereconstruction">CIntersectionType</A>
|
||
<DD><br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/CMultiplyTuple.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.<A HREF="../mycompiler/mytypereconstruction/CMultiplyTuple.html" title="class in mycompiler.mytypereconstruction">CMultiplyTuple</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/CReconstructionTuple.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.<A HREF="../mycompiler/mytypereconstruction/CReconstructionTuple.html" title="class in mycompiler.mytypereconstruction">CReconstructionTuple</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/CSubstitution.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.<A HREF="../mycompiler/mytypereconstruction/CSubstitution.html" title="class in mycompiler.mytypereconstruction">CSubstitution</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/CTriple.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.<A HREF="../mycompiler/mytypereconstruction/CTriple.html" title="class in mycompiler.mytypereconstruction">CTriple</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/set/CSet.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.set.<A HREF="../mycompiler/mytypereconstruction/set/CSet.html" title="class in mycompiler.mytypereconstruction.set">CSet</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/typeassumption/CMethodTypeAssumption.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.typeassumption.<A HREF="../mycompiler/mytypereconstruction/typeassumption/CMethodTypeAssumption.html" title="class in mycompiler.mytypereconstruction.typeassumption">CMethodTypeAssumption</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/typeassumption/CTypeAssumption.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.typeassumption.<A HREF="../mycompiler/mytypereconstruction/typeassumption/CTypeAssumption.html" title="class in mycompiler.mytypereconstruction.typeassumption">CTypeAssumption</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytypereconstruction/typeassumptionkey/CTypeAssumptionKey.html#toString()"><B>toString()</B></A> -
|
||
Method in class mycompiler.mytypereconstruction.typeassumptionkey.<A HREF="../mycompiler/mytypereconstruction/typeassumptionkey/CTypeAssumptionKey.html" title="class in mycompiler.mytypereconstruction.typeassumptionkey">CTypeAssumptionKey</A>
|
||
<DD><br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/myoperator/AddOp.html#TRExp(mycompiler.mystatement.Binary, mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.myoperator.<A HREF="../mycompiler/myoperator/AddOp.html" title="class in mycompiler.myoperator">AddOp</A>
|
||
<DD>Implementierung der Algorithmen 5.44 und 5.45 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
|
||
der RefType "Integer" <20>berall durch den BaseType "IntegerType" ersetzt werden!!!
|
||
<DT><A HREF="../mycompiler/myoperator/EqualOp.html#TRExp(mycompiler.mystatement.Binary, mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.myoperator.<A HREF="../mycompiler/myoperator/EqualOp.html" title="class in mycompiler.myoperator">EqualOp</A>
|
||
<DD>Implementierung des Algorithmus 5.53 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
|
||
der RefType "Boolean" <20>berall durch den BaseType "BooleanType" ersetzt werden!!!
|
||
<DT><A HREF="../mycompiler/myoperator/LogOp.html#TRExp(mycompiler.mystatement.Binary, mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.myoperator.<A HREF="../mycompiler/myoperator/LogOp.html" title="class in mycompiler.myoperator">LogOp</A>
|
||
<DD><br/>Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
|
||
der RefType "Boolean" <20>berall durch den BaseType "BooleanType" ersetzt werden!!!
|
||
<DT><A HREF="../mycompiler/myoperator/MulOp.html#TRExp(mycompiler.mystatement.Binary, mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.myoperator.<A HREF="../mycompiler/myoperator/MulOp.html" title="class in mycompiler.myoperator">MulOp</A>
|
||
<DD>Implementierung der Algorithmen 5.46, 5.47 und 5.48 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
|
||
der RefType "Integer" <20>berall durch den BaseType "IntegerType" ersetzt werden!!!
|
||
<DT><A HREF="../mycompiler/myoperator/NotEqualOp.html#TRExp(mycompiler.mystatement.Binary, mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.myoperator.<A HREF="../mycompiler/myoperator/NotEqualOp.html" title="class in mycompiler.myoperator">NotEqualOp</A>
|
||
<DD>Implementierung des Algorithmus 5.54 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
|
||
der RefType "Boolean" <20>berall durch den BaseType "BooleanType" ersetzt werden!!!
|
||
<DT><A HREF="../mycompiler/myoperator/Operator.html#TRExp(mycompiler.mystatement.Binary, mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.myoperator.<A HREF="../mycompiler/myoperator/Operator.html" title="class in mycompiler.myoperator">Operator</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/myoperator/RelOp.html#TRExp(mycompiler.mystatement.Binary, mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.myoperator.<A HREF="../mycompiler/myoperator/RelOp.html" title="class in mycompiler.myoperator">RelOp</A>
|
||
<DD>Implementierung der Algorithmen 5.49 bis 5.52 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
|
||
der RefType "Integer" <20>berall durch den BaseType "IntegerType" ersetzt werden!!!
|
||
<DT><A HREF="../mycompiler/mystatement/Assign.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Assign.html" title="class in mycompiler.mystatement">Assign</A>
|
||
<DD>Implementierung des Algorithmus 5.30 von Martin Pl<50>micke
|
||
<br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/Binary.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Binary.html" title="class in mycompiler.mystatement">Binary</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/BoolLiteral.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/BoolLiteral.html" title="class in mycompiler.mystatement">BoolLiteral</A>
|
||
<DD>Workaround: <20>berschreibt Methode TRExp aus der Super-Klasse <code>Literal</code>, weil
|
||
die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
|
||
<DT><A HREF="../mycompiler/mystatement/CastExpr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/CastExpr.html" title="class in mycompiler.mystatement">CastExpr</A>
|
||
<DD>Implementierung des Algorithmus 5.43 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/CharLiteral.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/CharLiteral.html" title="class in mycompiler.mystatement">CharLiteral</A>
|
||
<DD>Workaround: <20>berschreibt Methode TRExp aus der Super-Klasse <code>Literal</code>, weil
|
||
die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
|
||
<DT><A HREF="../mycompiler/mystatement/Expr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/InstanceOf.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/InstanceOf.html" title="class in mycompiler.mystatement">InstanceOf</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/InstVar.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/InstVar.html" title="class in mycompiler.mystatement">InstVar</A>
|
||
<DD>Implementierung des Algorithmus 5.38 von Martin Pl<50>micke
|
||
<br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/IntLiteral.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/IntLiteral.html" title="class in mycompiler.mystatement">IntLiteral</A>
|
||
<DD>Workaround: <20>berschreibt Methode TRExp aus der Super-Klasse <code>Literal</code>, weil
|
||
die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
|
||
<DT><A HREF="../mycompiler/mystatement/Literal.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Literal.html" title="class in mycompiler.mystatement">Literal</A>
|
||
<DD>Implementierung des Algorithmus 5.40 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/LocalOrFieldVar.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/LocalOrFieldVar.html" title="class in mycompiler.mystatement">LocalOrFieldVar</A>
|
||
<DD>Implementierung des Algorithmus 5.37 von Martin Pl<50>micke
|
||
<br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/MethodCall.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/MethodCall.html" title="class in mycompiler.mystatement">MethodCall</A>
|
||
<DD>Implementierung des Algorithmus 5.33 von Martin Pl<50>micke
|
||
<br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/NegativeExpr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/NegativeExpr.html" title="class in mycompiler.mystatement">NegativeExpr</A>
|
||
<DD>Implementierung des Algorithmus 5.41 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
|
||
der RefType "Integer" <20>berall durch den BaseType "IntegerType" ersetzt werden!!!
|
||
<DT><A HREF="../mycompiler/mystatement/NewArray.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/NewArray.html" title="class in mycompiler.mystatement">NewArray</A>
|
||
<DD>Implementierung des Algorithmus 5.32 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/NewClass.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/NewClass.html" title="class in mycompiler.mystatement">NewClass</A>
|
||
<DD>Implementierung des Algorithmus 5.31 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/NotExpr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/NotExpr.html" title="class in mycompiler.mystatement">NotExpr</A>
|
||
<DD>Implementierung des Algorithmus 5.42 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
|
||
der RefType "Boolean" <20>berall durch den BaseType "BooleanType" ersetzt werden!!!
|
||
<DT><A HREF="../mycompiler/mystatement/Null.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Null.html" title="class in mycompiler.mystatement">Null</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/PositivExpr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PositivExpr.html" title="class in mycompiler.mystatement">PositivExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/PostDecExpr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PostDecExpr.html" title="class in mycompiler.mystatement">PostDecExpr</A>
|
||
<DD>Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType <code>IntegerType</code>
|
||
ausgetauscht werden.
|
||
<DT><A HREF="../mycompiler/mystatement/PostIncExpr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PostIncExpr.html" title="class in mycompiler.mystatement">PostIncExpr</A>
|
||
<DD>Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType <code>IntegerType</code>
|
||
ausgetauscht werden.
|
||
<DT><A HREF="../mycompiler/mystatement/PreDecExpr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PreDecExpr.html" title="class in mycompiler.mystatement">PreDecExpr</A>
|
||
<DD>Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType <code>IntegerType</code>
|
||
ausgetauscht werden.
|
||
<DT><A HREF="../mycompiler/mystatement/PreIncExpr.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PreIncExpr.html" title="class in mycompiler.mystatement">PreIncExpr</A>
|
||
<DD>Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType <code>IntegerType</code>
|
||
ausgetauscht werden.
|
||
<DT><A HREF="../mycompiler/mystatement/This.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/This.html" title="class in mycompiler.mystatement">This</A>
|
||
<DD>Implementierung des Algorithmus 5.35 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/InstVar.html#TRInstVar(mycompiler.mytypereconstruction.CTriple, mycompiler.mytypereconstruction.CSupportData)"><B>TRInstVar(CTriple, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/InstVar.html" title="class in mycompiler.mystatement">InstVar</A>
|
||
<DD>Implementierung des Algorithmus 5.38-1 von Martin Pl<50>micke
|
||
<br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/MethodCall.html#TRMCallApp(mycompiler.mytypereconstruction.CMultiplyTuple, java.lang.String, java.lang.String, int, boolean, mycompiler.mytypereconstruction.CSupportData)"><B>TRMCallApp(CMultiplyTuple, String, String, int, boolean, CSupportData)</B></A> -
|
||
Static method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/MethodCall.html" title="class in mycompiler.mystatement">MethodCall</A>
|
||
<DD>Implementierung des Algorithmus 5.34 von Martin Pl<50>micke
|
||
<DT><A HREF="../mycompiler/mystatement/Expr.html#TRMultiply(mycompiler.mytypereconstruction.CMultiplyTuple, mycompiler.mystatement.Expr, mycompiler.mytypereconstruction.CSupportData)"><B>TRMultiply(CMultiplyTuple, Expr, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</A>
|
||
<DD>(siehe Algorithmus 5.29 TRMultiply, Martin Pl<50>micke)
|
||
<br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/myclass/Class.html#TRProg(mycompiler.mytypereconstruction.CSupportData)"><B>TRProg(CSupportData)</B></A> -
|
||
Method in class mycompiler.myclass.<A HREF="../mycompiler/myclass/Class.html" title="class in mycompiler.myclass">Class</A>
|
||
<DD>Ausgangspunkt f<>r den Typrekonstruktionsalgorithmus.
|
||
<DT><A HREF="../mycompiler/mystatement/Assign.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Assign.html" title="class in mycompiler.mystatement">Assign</A>
|
||
<DD>Implementierung des Algorithmus 5.25 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/Binary.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Binary.html" title="class in mycompiler.mystatement">Binary</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/Block.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Block.html" title="class in mycompiler.mystatement">Block</A>
|
||
<DD>Implementierung des Algorithmus 5.20 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/BoolLiteral.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/BoolLiteral.html" title="class in mycompiler.mystatement">BoolLiteral</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/CastExpr.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/CastExpr.html" title="class in mycompiler.mystatement">CastExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/CharLiteral.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/CharLiteral.html" title="class in mycompiler.mystatement">CharLiteral</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/EmptyStmt.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/EmptyStmt.html" title="class in mycompiler.mystatement">EmptyStmt</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/IfStmt.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/IfStmt.html" title="class in mycompiler.mystatement">IfStmt</A>
|
||
<DD>Implementierung des Algorithmus 5.21 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: RefType "Boolean" durch BaseType \code{BooleanType} ersetzen.
|
||
<DT><A HREF="../mycompiler/mystatement/InstanceOf.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/InstanceOf.html" title="class in mycompiler.mystatement">InstanceOf</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/InstVar.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/InstVar.html" title="class in mycompiler.mystatement">InstVar</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/IntLiteral.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/IntLiteral.html" title="class in mycompiler.mystatement">IntLiteral</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/LocalOrFieldVar.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/LocalOrFieldVar.html" title="class in mycompiler.mystatement">LocalOrFieldVar</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/LocalVarDecl.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/LocalVarDecl.html" title="class in mycompiler.mystatement">LocalVarDecl</A>
|
||
<DD>Implementierung des Algorithmus 5.24 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/MethodCall.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/MethodCall.html" title="class in mycompiler.mystatement">MethodCall</A>
|
||
<DD>Implementierung des Algorithmus 5.27 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/NegativeExpr.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/NegativeExpr.html" title="class in mycompiler.mystatement">NegativeExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/NewArray.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/NewArray.html" title="class in mycompiler.mystatement">NewArray</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/NewClass.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/NewClass.html" title="class in mycompiler.mystatement">NewClass</A>
|
||
<DD>Implementierung des Algorithmus 5.26 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/NotExpr.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/NotExpr.html" title="class in mycompiler.mystatement">NotExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/Null.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Null.html" title="class in mycompiler.mystatement">Null</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/PositivExpr.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PositivExpr.html" title="class in mycompiler.mystatement">PositivExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/PostDecExpr.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PostDecExpr.html" title="class in mycompiler.mystatement">PostDecExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/PostIncExpr.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PostIncExpr.html" title="class in mycompiler.mystatement">PostIncExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/PreDecExpr.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PreDecExpr.html" title="class in mycompiler.mystatement">PreDecExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/PreIncExpr.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/PreIncExpr.html" title="class in mycompiler.mystatement">PreIncExpr</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/Return.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Return.html" title="class in mycompiler.mystatement">Return</A>
|
||
<DD>Implementierung des Algorithmus 5.22 von Martin Pl<50>micke
|
||
<br>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/Statement.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Statement.html" title="class in mycompiler.mystatement">Statement</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/StringLiteral.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/StringLiteral.html" title="class in mycompiler.mystatement">StringLiteral</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/This.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/This.html" title="class in mycompiler.mystatement">This</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/WhileStmt.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/WhileStmt.html" title="class in mycompiler.mystatement">WhileStmt</A>
|
||
<DD>Implementierung des Algorithmus 5.23 von Martin Pl<50>micke
|
||
<br/>Achtung Workaround: RefType "Boolean" muss noch durch BaseType "BooleanType"
|
||
ersetzt werden.
|
||
<DT><A HREF="../mycompiler/mystatement/Block.html#TRStatements(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, de.dhbwstuttgart.typeinference.Menge, int, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><B>TRStatements(CSubstitutionSet, CTypeAssumptionSet, Menge<Statement>, int, CTypeAssumptionSet, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Block.html" title="class in mycompiler.mystatement">Block</A>
|
||
<DD>Implementierung des Algorithmus 5.19 von Martin Pl<50>micke
|
||
<br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/mystatement/Expr.html#TRTuple(mycompiler.mytypereconstruction.CMultiplyTuple, de.dhbwstuttgart.typeinference.Menge, mycompiler.mytypereconstruction.CSupportData)"><B>TRTuple(CMultiplyTuple, Menge<Expr>, CSupportData)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</A>
|
||
<DD>(siehe Algorithmus 5.28 TRTuple, Martin Pl<50>micke)
|
||
<br/>Author: J<>rg B<>uerle
|
||
<DT><A HREF="../mycompiler/myparser/JavaParser.html#TRY"><B>TRY</B></A> -
|
||
Static variable in class mycompiler.myparser.<A HREF="../mycompiler/myparser/JavaParser.html" title="class in mycompiler.myparser">JavaParser</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/ExprStmt.html#type"><B>type</B></A> -
|
||
Variable in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/ExprStmt.html" title="class in mycompiler.mystatement">ExprStmt</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/Type.html" title="class in mycompiler.mytype"><B>Type</B></A> - Class in <A HREF="../mycompiler/mytype/package-summary.html">mycompiler.mytype</A><DD> <DT><A HREF="../mycompiler/mytype/Type.html#Type(java.lang.String)"><B>Type(String)</B></A> -
|
||
Constructor for class mycompiler.mytype.<A HREF="../mycompiler/mytype/Type.html" title="class in mycompiler.mytype">Type</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/Type.html#Type()"><B>Type()</B></A> -
|
||
Constructor for class mycompiler.mytype.<A HREF="../mycompiler/mytype/Type.html" title="class in mycompiler.mytype">Type</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/RefType.html#Type2Key()"><B>Type2Key()</B></A> -
|
||
Method in class mycompiler.mytype.<A HREF="../mycompiler/mytype/RefType.html" title="class in mycompiler.mytype">RefType</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/Type.html#Type2Key()"><B>Type2Key()</B></A> -
|
||
Method in class mycompiler.mytype.<A HREF="../mycompiler/mytype/Type.html" title="class in mycompiler.mytype">Type</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/RefType.html#Type2String()"><B>Type2String()</B></A> -
|
||
Method in class mycompiler.mytype.<A HREF="../mycompiler/mytype/RefType.html" title="class in mycompiler.mytype">RefType</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mytype/Type.html#Type2String()"><B>Type2String()</B></A> -
|
||
Method in class mycompiler.mytype.<A HREF="../mycompiler/mytype/Type.html" title="class in mycompiler.mytype">Type</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/MyCompiler.html#TYPE_ANALYSIS_INFO"><B>TYPE_ANALYSIS_INFO</B></A> -
|
||
Static variable in class mycompiler.<A HREF="../mycompiler/MyCompiler.html" title="class in mycompiler">MyCompiler</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/mystatement/Binary.html#type_check(mycompiler.mybytecode.CodeAttribute)"><B>type_check(CodeAttribute)</B></A> -
|
||
Method in class mycompiler.mystatement.<A HREF="../mycompiler/mystatement/Binary.html" title="class in mycompiler.mystatement">Binary</A>
|
||
<DD>
|
||
<DT><A HREF="../mycompiler/MyCompiler.html#typeReconstruction()"><B>typeReconstruction()</B></A> -
|
||
Method in class mycompiler.<A HREF="../mycompiler/MyCompiler.html" title="class in mycompiler">MyCompiler</A>
|
||
<DD>Author: J<>rg B<>uerle<br/>
|
||
Ruft den Typrekonstruktionsalgorithmus auf.
|
||
<DT><A HREF="../mycompiler/MyCompilerAPI.html#typeReconstruction()"><B>typeReconstruction()</B></A> -
|
||
Method in interface mycompiler.<A HREF="../mycompiler/MyCompilerAPI.html" title="interface in mycompiler">MyCompilerAPI</A>
|
||
<DD>Author: J<>rg B<>uerle<br/>
|
||
Ruft den Typrekonstruktionsalgorithmus auf.
|
||
<DT><A HREF="../mycompiler/SourceFile.html#typeReconstruction()"><B>typeReconstruction()</B></A> -
|
||
Method in class mycompiler.<A HREF="../mycompiler/SourceFile.html" title="class in mycompiler">SourceFile</A>
|
||
<DD>Tyrekonstruktionsalgorithmus: ruft f<>r jede Klasse den Algorithmus TRProg auf.
|
||
<DT><A HREF="../mycompiler/mytype/TyploseVariable.html" title="class in mycompiler.mytype"><B>TyploseVariable</B></A> - Class in <A HREF="../mycompiler/mytype/package-summary.html">mycompiler.mytype</A><DD>Repr<EFBFBD>sentiert einen Typparameter f<>r einen vom Programmierer nicht angegeben Typ.</DL>
|
||
<HR>
|
||
|
||
|
||
<!-- ======= START OF BOTTOM NAVBAR ====== -->
|
||
<A NAME="navbar_bottom"><!-- --></A>
|
||
<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>
|
||
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
|
||
<TR>
|
||
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
|
||
<A NAME="navbar_bottom_firstrow"><!-- --></A>
|
||
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
|
||
<TR ALIGN="center" VALIGN="top">
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Package</FONT> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Use</FONT> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
|
||
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
|
||
</TR>
|
||
</TABLE>
|
||
</TD>
|
||
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
|
||
</EM>
|
||
</TD>
|
||
</TR>
|
||
|
||
<TR>
|
||
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
|
||
<A HREF="index-18.html"><B>PREV LETTER</B></A>
|
||
<A HREF="index-20.html"><B>NEXT LETTER</B></A></FONT></TD>
|
||
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
|
||
<A HREF="../index.html?index-filesindex-19.html" target="_top"><B>FRAMES</B></A>
|
||
<A HREF="index-19.html" target="_top"><B>NO FRAMES</B></A>
|
||
<SCRIPT type="text/javascript">
|
||
<!--
|
||
if(window==top) {
|
||
document.writeln('<A HREF="../allclasses-noframe.html"><B>All Classes</B></A>');
|
||
}
|
||
//-->
|
||
</SCRIPT>
|
||
<NOSCRIPT>
|
||
<A HREF="../allclasses-noframe.html"><B>All Classes</B></A>
|
||
</NOSCRIPT>
|
||
|
||
|
||
</FONT></TD>
|
||
</TR>
|
||
</TABLE>
|
||
<A NAME="skip-navbar_bottom"></A>
|
||
<!-- ======== END OF BOTTOM NAVBAR ======= -->
|
||
|
||
<A HREF="index-1.html">A</A> <A HREF="index-2.html">B</A> <A HREF="index-3.html">C</A> <A HREF="index-4.html">D</A> <A HREF="index-5.html">E</A> <A HREF="index-6.html">F</A> <A HREF="index-7.html">G</A> <A HREF="index-8.html">H</A> <A HREF="index-9.html">I</A> <A HREF="index-10.html">J</A> <A HREF="index-11.html">K</A> <A HREF="index-12.html">L</A> <A HREF="index-13.html">M</A> <A HREF="index-14.html">N</A> <A HREF="index-15.html">O</A> <A HREF="index-16.html">P</A> <A HREF="index-17.html">R</A> <A HREF="index-18.html">S</A> <A HREF="index-19.html">T</A> <A HREF="index-20.html">U</A> <A HREF="index-21.html">V</A> <A HREF="index-22.html">W</A> <A HREF="index-23.html">X</A> <A HREF="index-24.html">Y</A> <HR>
|
||
|
||
</BODY>
|
||
</HTML>
|