A B C D E F G H I J K L M N O P R S T U V W X Y

T

TA1 - Variable in class mycompiler.mytype.Pair
 
TA2 - Variable in class mycompiler.mytype.Pair
 
tableswitch - Static variable in class mycompiler.mybytecode.JVMCode
 
TestClass - Class in mycompiler.unused
 
TestClass() - Constructor for class mycompiler.unused.TestClass
 
then_block - Variable in class mycompiler.mystatement.IfStmt
 
THIS - Static variable in class mycompiler.myparser.JavaParser
 
This - Class in mycompiler.mystatement
 
This() - Constructor for class mycompiler.mystatement.This
 
THROW - Static variable in class mycompiler.myparser.JavaParser
 
THROWS - Static variable in class mycompiler.myparser.JavaParser
 
time() - Static method in class mycompiler.mytypereconstruction.CHelper
Author: J�rg B�uerle
Liefert die aktuelle Zeit in Langformat zur�ck.
TIMESEQUAL - Static variable in class mycompiler.myparser.JavaParser
 
TimesOp - Class in mycompiler.myoperator
 
TimesOp() - Constructor for class mycompiler.myoperator.TimesOp
 
token() - Method in interface mycompiler.myparser.JavaParser.yyInput
classifies current token.
token() - Method in class mycompiler.myparser.Scanner
 
Token - Class in mycompiler.myparser
 
token - Variable in class mycompiler.myparser.Token
 
toString() - Method in class mycompiler.mytype.Pair
 
toString() - Method in class mycompiler.mytype.Type

Author: J�rg B�uerle
toString() - Method in class mycompiler.mytypereconstruction.CIntersectionType

Author: J�rg B�uerle
toString() - Method in class mycompiler.mytypereconstruction.CMultiplyTuple
 
toString() - Method in class mycompiler.mytypereconstruction.CReconstructionTuple
 
toString() - Method in class mycompiler.mytypereconstruction.CSubstitution
 
toString() - Method in class mycompiler.mytypereconstruction.CTriple
 
toString() - Method in class mycompiler.mytypereconstruction.set.CSet
 
toString() - Method in class mycompiler.mytypereconstruction.typeassumption.CMethodTypeAssumption
 
toString() - Method in class mycompiler.mytypereconstruction.typeassumption.CTypeAssumption
 
toString() - Method in class mycompiler.mytypereconstruction.typeassumptionkey.CTypeAssumptionKey

Author: J�rg B�uerle
TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.myoperator.AddOp
Implementierung der Algorithmen 5.44 und 5.45 von Martin Pl�micke
Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.myoperator.EqualOp
Implementierung des Algorithmus 5.53 von Martin Pl�micke
Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.myoperator.LogOp

Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.myoperator.MulOp
Implementierung der Algorithmen 5.46, 5.47 und 5.48 von Martin Pl�micke
Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.myoperator.NotEqualOp
Implementierung des Algorithmus 5.54 von Martin Pl�micke
Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.myoperator.Operator
 
TRExp(Binary, CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.myoperator.RelOp
Implementierung der Algorithmen 5.49 bis 5.52 von Martin Pl�micke
Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Assign
Implementierung des Algorithmus 5.30 von Martin Pl�micke
Author: J�rg B�uerle
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Binary
 
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.BoolLiteral
Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.CastExpr
Implementierung des Algorithmus 5.43 von Martin Pl�micke
Author: J�rg B�uerle
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.CharLiteral
Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Expr
 
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.InstanceOf
 
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.InstVar
Implementierung des Algorithmus 5.38 von Martin Pl�micke
Author: J�rg B�uerle
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.IntLiteral
Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Literal
Implementierung des Algorithmus 5.40 von Martin Pl�micke
Author: J�rg B�uerle
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.LocalOrFieldVar
Implementierung des Algorithmus 5.37 von Martin Pl�micke
Author: J�rg B�uerle
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.MethodCall
Implementierung des Algorithmus 5.33 von Martin Pl�micke
Author: J�rg B�uerle
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.NegativeExpr
Implementierung des Algorithmus 5.41 von Martin Pl�micke
Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.NewArray
Implementierung des Algorithmus 5.32 von Martin Pl�micke
Author: J�rg B�uerle
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.NewClass
Implementierung des Algorithmus 5.31 von Martin Pl�micke
Author: J�rg B�uerle
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.NotExpr
Implementierung des Algorithmus 5.42 von Martin Pl�micke
Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Null
 
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PositivExpr
 
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PostDecExpr
Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PostIncExpr
Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PreDecExpr
Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PreIncExpr
Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
TRExp(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.This
Implementierung des Algorithmus 5.35 von Martin Pl�micke
Author: J�rg B�uerle
TRInstVar(CTriple, CSupportData) - Method in class mycompiler.mystatement.InstVar
Implementierung des Algorithmus 5.38-1 von Martin Pl�micke
Author: J�rg B�uerle
TRMCallApp(CMultiplyTuple, String, String, int, boolean, CSupportData) - Static method in class mycompiler.mystatement.MethodCall
Implementierung des Algorithmus 5.34 von Martin Pl�micke
TRMultiply(CMultiplyTuple, Expr, CSupportData) - Method in class mycompiler.mystatement.Expr
(siehe Algorithmus 5.29 TRMultiply, Martin Pl�micke)
Author: J�rg B�uerle
TRProg(CSupportData) - Method in class mycompiler.myclass.Class
Ausgangspunkt f�r den Typrekonstruktionsalgorithmus.
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Assign
Implementierung des Algorithmus 5.25 von Martin Pl�micke
Author: J�rg B�uerle
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Binary
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Block
Implementierung des Algorithmus 5.20 von Martin Pl�micke
Author: J�rg B�uerle
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.BoolLiteral
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.CastExpr
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.CharLiteral
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.EmptyStmt
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.IfStmt
Implementierung des Algorithmus 5.21 von Martin Pl�micke
Achtung Workaround: RefType "Boolean" durch BaseType \code{BooleanType} ersetzen.
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.InstanceOf
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.InstVar
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.IntLiteral
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.LocalOrFieldVar
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.LocalVarDecl
Implementierung des Algorithmus 5.24 von Martin Pl�micke
Author: J�rg B�uerle
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.MethodCall
Implementierung des Algorithmus 5.27 von Martin Pl�micke
Author: J�rg B�uerle
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.NegativeExpr
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.NewArray
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.NewClass
Implementierung des Algorithmus 5.26 von Martin Pl�micke
Author: J�rg B�uerle
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.NotExpr
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Null
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PositivExpr
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PostDecExpr
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PostIncExpr
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PreDecExpr
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.PreIncExpr
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Return
Implementierung des Algorithmus 5.22 von Martin Pl�micke
Author: J�rg B�uerle
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Statement
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.StringLiteral
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.This
 
TRStatement(CSubstitutionSet, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.WhileStmt
Implementierung des Algorithmus 5.23 von Martin Pl�micke
Achtung Workaround: RefType "Boolean" muss noch durch BaseType "BooleanType" ersetzt werden.
TRStatements(CSubstitutionSet, CTypeAssumptionSet, Menge<Statement>, int, CTypeAssumptionSet, CSupportData) - Method in class mycompiler.mystatement.Block
Implementierung des Algorithmus 5.19 von Martin Pl�micke
Author: J�rg B�uerle
TRTuple(CMultiplyTuple, Menge<Expr>, CSupportData) - Method in class mycompiler.mystatement.Expr
(siehe Algorithmus 5.28 TRTuple, Martin Pl�micke)
Author: J�rg B�uerle
TRY - Static variable in class mycompiler.myparser.JavaParser
 
type - Variable in class mycompiler.mystatement.ExprStmt
 
Type - Class in mycompiler.mytype
 
Type(String) - Constructor for class mycompiler.mytype.Type
 
Type() - Constructor for class mycompiler.mytype.Type
 
Type2Key() - Method in class mycompiler.mytype.RefType
 
Type2Key() - Method in class mycompiler.mytype.Type
 
Type2String() - Method in class mycompiler.mytype.RefType
 
Type2String() - Method in class mycompiler.mytype.Type
 
TYPE_ANALYSIS_INFO - Static variable in class mycompiler.MyCompiler
 
type_check(CodeAttribute) - Method in class mycompiler.mystatement.Binary
 
typeReconstruction() - Method in class mycompiler.MyCompiler
Author: J�rg B�uerle
Ruft den Typrekonstruktionsalgorithmus auf.
typeReconstruction() - Method in interface mycompiler.MyCompilerAPI
Author: J�rg B�uerle
Ruft den Typrekonstruktionsalgorithmus auf.
typeReconstruction() - Method in class mycompiler.SourceFile
Tyrekonstruktionsalgorithmus: ruft f�r jede Klasse den Algorithmus TRProg auf.
TyploseVariable - Class in mycompiler.mytype
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben Typ.

A B C D E F G H I J K L M N O P R S T U V W X Y