2014-02-04 16:44:03 +00:00
<!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 >
2015-04-22 19:40:22 +00:00
< DD > Author: J<> rg B<> uerle< br / >
Liefert die aktuelle Zeit in Langformat zur<75> ck.
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > < br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > < br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > < br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung der Algorithmen 5.44 und 5.45 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< br / > Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
2015-04-22 19:40:22 +00:00
der RefType "Integer" <20> berall durch den BaseType "IntegerType" ersetzt werden!!!
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.53 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< br / > Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
2015-04-22 19:40:22 +00:00
der RefType "Boolean" <20> berall durch den BaseType "BooleanType" ersetzt werden!!!
2014-02-04 16:44:03 +00:00
< 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
2015-04-22 19:40:22 +00:00
der RefType "Boolean" <20> berall durch den BaseType "BooleanType" ersetzt werden!!!
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung der Algorithmen 5.46, 5.47 und 5.48 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< br / > Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
2015-04-22 19:40:22 +00:00
der RefType "Integer" <20> berall durch den BaseType "IntegerType" ersetzt werden!!!
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.54 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< br / > Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
2015-04-22 19:40:22 +00:00
der RefType "Boolean" <20> berall durch den BaseType "BooleanType" ersetzt werden!!!
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung der Algorithmen 5.49 bis 5.52 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< br / > Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
2015-04-22 19:40:22 +00:00
der RefType "Integer" <20> berall durch den BaseType "IntegerType" ersetzt werden!!!
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.30 von Martin Pl<50> micke
< br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Workaround: <20> berschreibt Methode TRExp aus der Super-Klasse < code > Literal< / code > , weil
2014-02-04 16:44:03 +00:00
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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.43 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Workaround: <20> berschreibt Methode TRExp aus der Super-Klasse < code > Literal< / code > , weil
2014-02-04 16:44:03 +00:00
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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.38 von Martin Pl<50> micke
< br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Workaround: <20> berschreibt Methode TRExp aus der Super-Klasse < code > Literal< / code > , weil
2014-02-04 16:44:03 +00:00
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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.40 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.37 von Martin Pl<50> micke
< br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.33 von Martin Pl<50> micke
< br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.41 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< br / > Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
2015-04-22 19:40:22 +00:00
der RefType "Integer" <20> berall durch den BaseType "IntegerType" ersetzt werden!!!
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.32 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.31 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.42 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< br / > Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte
2015-04-22 19:40:22 +00:00
der RefType "Boolean" <20> berall durch den BaseType "BooleanType" ersetzt werden!!!
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.35 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.38-1 von Martin Pl<50> micke
< br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.34 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > (siehe Algorithmus 5.29 TRMultiply, Martin Pl<50> micke)
< br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Ausgangspunkt f<> r den Typrekonstruktionsalgorithmus.
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.25 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.20 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.21 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.24 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.27 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.26 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.22 von Martin Pl<50> micke
< br > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Implementierung des Algorithmus 5.23 von Martin Pl<50> micke
2014-02-04 16:44:03 +00:00
< br / > Achtung Workaround: RefType "Boolean" muss noch durch BaseType "BooleanType"
ersetzt werden.
2015-04-22 19:40:22 +00:00
< 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 > -
2014-02-04 16:44:03 +00:00
Method in class mycompiler.mystatement.< A HREF = "../mycompiler/mystatement/Block.html" title = "class in mycompiler.mystatement" > Block< / A >
2015-04-22 19:40:22 +00:00
< 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 > -
2014-02-04 16:44:03 +00:00
Method in class mycompiler.mystatement.< A HREF = "../mycompiler/mystatement/Expr.html" title = "class in mycompiler.mystatement" > Expr< / A >
2015-04-22 19:40:22 +00:00
< DD > (siehe Algorithmus 5.28 TRTuple, Martin Pl<50> micke)
< br / > Author: J<> rg B<> uerle
2014-02-04 16:44:03 +00:00
< 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 >
2015-04-22 19:40:22 +00:00
< DD > Author: J<> rg B<> uerle< br / >
2014-02-04 16:44:03 +00:00
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 >
2015-04-22 19:40:22 +00:00
< DD > Author: J<> rg B<> uerle< br / >
2014-02-04 16:44:03 +00:00
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 >
2015-04-22 19:40:22 +00:00
< 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 >
2014-02-04 16:44:03 +00:00
< 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 >
