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

t - Variable in class de.dhbwstuttgart.typeinference.ConstraintType
T - Variable in class de.dhbwstuttgart.typeinference.FunN
TA1 - Variable in class de.dhbwstuttgart.typeinference.Pair
TA2 - Variable in class de.dhbwstuttgart.typeinference.Pair
test() - Method in class KomplexeMenge.KarthesischesProduktTest
test() - Method in class KomplexeMenge.KeineDoppeltenVerweise
test(String) - Static method in class plugindevelopment.InsertSingleTypeTest
test(String, Menge<String>) - Static method in class plugindevelopment.MartinTestCases.Tester
test(String, String) - Static method in class plugindevelopment.TypeInsertTester
test(String, Menge<String>, LoggerConfiguration) - Static method in class plugindevelopment.TypeInsertTests.MultipleTypesInsertTester
test(String, Menge<String>) - Static method in class plugindevelopment.TypeInsertTests.MultipleTypesInsertTester
test() - Method in class syntaxTree.NodeEqualTest
test1() - Method in class plugindevelopment.InsertSingleTypeTest
test1() - Method in class plugindevelopment.TypeInsertTests.MutlitpleTestCases
test2() - Method in class KomplexeMenge.KarthesischesProduktTest
test2() - Method in class plugindevelopment.TypeInsertTests.MutlitpleTestCases
test3() - Method in class KomplexeMenge.KarthesischesProduktTest
test4() - Method in class KomplexeMenge.KarthesischesProduktTest
test5() - Method in class KomplexeMenge.KarthesischesProduktTest
TEST_FILE - Static variable in class plugindevelopment.MethodTypeInsertTest
TEST_FILE - Static variable in class plugindevelopment.ParameterInsertTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.Add
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.BoundedGenericsTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.ConstructorTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.FunNInsertTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.GenericParaListInsertTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.GenericParaListInsertTest2
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.GenericTypeVarTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.GenericVarInsertTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.GenericVarTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.GenericVarTest2
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.GenericVarTest3
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.GenTypeTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.Id
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.ImportSubClassTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.ImportTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.ImportTest2
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.IntTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest1
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest10
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest11
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest12
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest13
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest14
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest15
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest16
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest17
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest18
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest19
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest2
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest20
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest23
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest24
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest25
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest26
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest27
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest2_2
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest3
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest4
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest5
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest6
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest7
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest8
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LambdaTest9
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LargeSourceCodeTests.LambdaTest22
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LargeSourceCodeTests.Matrix
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LargeSourceCodeTests.TypedMatrixSimpleTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.LargeSourceCodeTests.TypedMatrixTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.Matrix_simple
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.MutlitpleTestCases
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.OL
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.OperatorTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.OverloadingExample
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.OverloadingInMethod
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.OverloadingInMethod2
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.OverloadingInMethod2Simple
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.OverloadingInsertTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.OverloadingRecursive
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.RelOpTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.ReursiveTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.ReursiveTest2
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.SuperTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.ThisTest
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.WildcardTestForLambda
TEST_FILE - Static variable in class plugindevelopment.TypeInsertTests.WildcardTestForLambda2
TEST_FILE - Static variable in class plugindevelopment.VariableTypeInsertTest
TEST_FILE2 - Static variable in class plugindevelopment.TypeInsertTests.GenericTypeVarTest2
TEST_FILE2 - Static variable in class plugindevelopment.TypeInsertTests.MutlitpleTestCases
Tester - Class in plugindevelopment.MartinTestCases
Tester() - Constructor for class plugindevelopment.MartinTestCases.Tester
testFile - Static variable in class plugindevelopment.InsertSingleTypeTest
testFile - Static variable in class syntaxTree.NodeEqualTest
TestKlasse - Class in KomplexeMenge
TestKlasse(String) - Constructor for class KomplexeMenge.TestKlasse
testPair - Variable in class de.dhbwstuttgart.core.MyCompiler
testPair - Variable in class de.dhbwstuttgart.parser.JavaParser
testSingleInsert(String, Menge<String>) - Static method in class plugindevelopment.TypeInsertTests.MultipleTypesInsertTester
testUnifyErg(Menge<Menge<Pair>>, RefType) - Static method in class de.dhbwstuttgart.typeinference.unify.Unify
  Diese Methode wird verwendet, um Zuordnungen z.B.
then_block - Variable in class de.dhbwstuttgart.syntaxtree.statement.IfStmt
THIS - Static variable in class de.dhbwstuttgart.parser.JavaParser
This - Class in de.dhbwstuttgart.syntaxtree.statement
This(int, int) - Constructor for class de.dhbwstuttgart.syntaxtree.statement.This
This(SyntaxTreeNode) - Constructor for class de.dhbwstuttgart.syntaxtree.statement.This
ThisCall - Class in de.dhbwstuttgart.syntaxtree.statement
ThisCall(int, int) - Constructor for class de.dhbwstuttgart.syntaxtree.statement.ThisCall
ThisCall(SyntaxTreeNode) - Constructor for class de.dhbwstuttgart.syntaxtree.statement.ThisCall
thisClassName - Variable in class de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions
ThisTest - Class in plugindevelopment.TypeInsertTests
ThisTest() - Constructor for class plugindevelopment.TypeInsertTests.ThisTest
THROW - Static variable in class de.dhbwstuttgart.parser.JavaParser
THROWS - Static variable in class de.dhbwstuttgart.parser.JavaParser
TIMESEQUAL - Static variable in class de.dhbwstuttgart.parser.JavaParser
TimesOp - Class in de.dhbwstuttgart.syntaxtree.operator
TimesOp(int, int) - Constructor for class de.dhbwstuttgart.syntaxtree.operator.TimesOp
TIPConstraints - Class in de.dhbwstuttgart.typeinference
TIPConstraints(Menge<TypePlaceholder>) - Constructor for class de.dhbwstuttgart.typeinference.TIPConstraints
token - Variable in class de.dhbwstuttgart.parser.JavaLexer
token - Variable in exception de.dhbwstuttgart.parser.JavaParser.yyException
token() - Method in interface de.dhbwstuttgart.parser.JavaParser.yyInput
  classifies current token.
token() - Method in class de.dhbwstuttgart.parser.Scanner
Token - Class in de.dhbwstuttgart.parser
Token(int, int) - Constructor for class de.dhbwstuttgart.parser.Token
Token(int, String, int) - Constructor for class de.dhbwstuttgart.parser.Token
Token(int, char, int) - Constructor for class de.dhbwstuttgart.parser.Token
Token(int, String, int, int) - Constructor for class de.dhbwstuttgart.parser.Token
Token(int, char, int, int) - Constructor for class de.dhbwstuttgart.parser.Token
token - Variable in class de.dhbwstuttgart.parser.Token
toString() - Method in exception de.dhbwstuttgart.myexception.CTypeReconstructionException
toString() - Method in class de.dhbwstuttgart.parser.JavaClassName
toString() - Method in class de.dhbwstuttgart.parser.PackageName
toString() - Method in class de.dhbwstuttgart.syntaxtree.Class
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.ClassBody
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.FieldDeclaration
toString() - Method in class de.dhbwstuttgart.syntaxtree.FormalParameter
toString() - Method in class de.dhbwstuttgart.syntaxtree.Method
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.misc.DeclId
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.misc.UsedId
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.ParameterList
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.ArgumentList
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.Assign
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.Block
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.DoubleLiteral
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.FloatLiteral
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.ForStmt
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.InstVar
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.IntLiteral
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.LambdaExpression
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.LocalOrFieldVar
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.LocalVarDecl
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.LongLiteral
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.MethodCall
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.NewClass
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.Receiver
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.Return
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.SuperCall
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.This
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.ThisCall
toString() - Method in class de.dhbwstuttgart.syntaxtree.statement.WhileStmt
  Author: Martin PlÃ¯Â¿Â½micke
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.BoundedGenericTypeVar
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.ExtendsWildcardType
  Author: Arne LÃ¼dtke
  Gibt String Entsprechung zurÃ¼ck.
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.FreshExtendsWildcardType
  Author: Arne LÃ¼dtke
  Gibt String Entsprechung zurÃ¼ck.
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.FreshSuperWildcardType
  Author: Arne LÃ¼dtke
  Gibt String Entsprechung zurÃ¼ck.
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.FreshWildcardType
  Author: Arne LÃ¼dtke
  Gibt String Entsprechung zurÃ¼ck.
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.GenericTypeVar
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.RefType
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.SuperWildcardType
  Author: Arne LÃ¼dtke
  Gibt String Entsprechung zurÃ¼ck.
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.Type
  Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.TypePlaceholder
toString() - Method in class de.dhbwstuttgart.syntaxtree.type.WildcardType
  Author: Arne LÃ¼dtke
  Gibt String Entsprechung zurÃ¼ck.
toString() - Method in class de.dhbwstuttgart.typeinference.assumptions.ClassAssumption
toString() - Method in class de.dhbwstuttgart.typeinference.assumptions.ConstructorAssumption
toString() - Method in class de.dhbwstuttgart.typeinference.assumptions.FieldAssumption
toString() - Method in class de.dhbwstuttgart.typeinference.assumptions.GenericVarAssumption
toString() - Method in class de.dhbwstuttgart.typeinference.assumptions.MethodAssumption
toString() - Method in class de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions
toString() - Method in class de.dhbwstuttgart.typeinference.JavaCodeResult
toString() - Method in class de.dhbwstuttgart.typeinference.Pair
toString() - Method in class de.dhbwstuttgart.typeinference.ResultSet
toString() - Method in class de.dhbwstuttgart.typeinference.typedeployment.GenericTypeInsertPoint
toString() - Method in class de.dhbwstuttgart.typeinference.typedeployment.GenericVarDeclarationPatch
toString() - Method in class de.dhbwstuttgart.typeinference.typedeployment.GenericVarExtendsDeclarationPatch
toString() - Method in class de.dhbwstuttgart.typeinference.typedeployment.TypeInsertPoint
toString() - Method in class de.dhbwstuttgart.typeinference.typedeployment.TypeInsertSet
toString() - Method in class de.dhbwstuttgart.typeinference.TypeinferenceResultSet
toString() - Method in class de.dhbwstuttgart.typeinference.UndConstraint
toString() - Method in class de.dhbwstuttgart.typeinference.UndMenge
toString() - Method in class de.dhbwstuttgart.typeinference.unify.CSet
toString() - Method in class de.dhbwstuttgart.typeinference.unify.CSubstitution
toString() - Method in class de.dhbwstuttgart.typeinference.unify.CSubstitutionGenVar
toString() - Method in class de.dhbwstuttgart.typeinference.unify.FC_TTO
toString() - Method in class KomplexeMenge.TestKlasse
tph - Static variable in class de.dhbwstuttgart.syntaxtree.type.GenericTypeVar
  Eine Registry fÃ¯Â¿Â½r alle Generic-Instanzen, die vor der Bytecode-Generierung durch Ihre Superklasse ersetzt werden mÃ¯Â¿Â½ssen.
TRY - Static variable in class de.dhbwstuttgart.parser.JavaParser
TTO - Variable in class de.dhbwstuttgart.typeinference.unify.FC_TTO
typ - Variable in class de.dhbwstuttgart.syntaxtree.Constant
typ - Variable in class de.dhbwstuttgart.syntaxtree.Field
typable - Variable in class de.dhbwstuttgart.typeinference.assumptions.Assumption
TYPE(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.Constructor
TYPE(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.Field
TYPE(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.FieldDeclaration
type - Variable in class de.dhbwstuttgart.syntaxtree.FormalParameter
TYPE(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.Method
type - Variable in class de.dhbwstuttgart.syntaxtree.statement.CastExpr
type - Variable in class de.dhbwstuttgart.syntaxtree.statement.InstVar
type - Variable in class de.dhbwstuttgart.syntaxtree.statement.NewArray
type - Variable in class de.dhbwstuttgart.syntaxtree.statement.Statement
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.BaseType
TYPE(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.type.BoundedGenericTypeVar
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.ExtendsWildcardType
TYPE(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.type.GenericTypeVar
  Die Type Methode auf generische Variablen angewandt sorgt fÃ¼r deren Eintragung in die TypeAssumptions.
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.GenericTypeVar
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.RefType
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.SuperWildcardType
Type - Class in de.dhbwstuttgart.syntaxtree.type
Type(String, SyntaxTreeNode, int) - Constructor for class de.dhbwstuttgart.syntaxtree.type.Type
Type(SyntaxTreeNode, int) - Constructor for class de.dhbwstuttgart.syntaxtree.type.Type
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.Type
  PrÃ¼ft ob der Typ in den Assumptions ass vorhanden ist.
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.TypePlaceholder
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.Void
TYPE(TypeAssumptions, SyntaxTreeNode) - Method in class de.dhbwstuttgart.syntaxtree.type.WildcardType
type - Variable in class de.dhbwstuttgart.typeinference.assumptions.LocalVarAssumption
type - Variable in class de.dhbwstuttgart.typeinference.typedeployment.TypeInsertPoint
Type2Key() - Method in class de.dhbwstuttgart.syntaxtree.type.RefType
Type2Key() - Method in class de.dhbwstuttgart.syntaxtree.type.Type
Type2String() - Method in class de.dhbwstuttgart.syntaxtree.type.RefType
Type2String() - Method in class de.dhbwstuttgart.syntaxtree.type.Type
Typeable - Interface in de.dhbwstuttgart.typeinference
typeAssumptions - Variable in class de.dhbwstuttgart.syntaxtree.Class
TypeAssumptions - Class in de.dhbwstuttgart.typeinference.assumptions
  Eine Sammlung von TypeAssumptions.
TypeAssumptions() - Constructor for class de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions
  Dieser Konstruktor setzt bei der Initialisierung auch den Wert von "this"
TypeAssumptions(JavaClassName) - Constructor for class de.dhbwstuttgart.typeinference.assumptions.TypeAssumptions
TypedMatrixSimpleTest - Class in plugindevelopment.TypeInsertTests.LargeSourceCodeTests
TypedMatrixSimpleTest() - Constructor for class plugindevelopment.TypeInsertTests.LargeSourceCodeTests.TypedMatrixSimpleTest
TypedMatrixTest - Class in plugindevelopment.TypeInsertTests.LargeSourceCodeTests
TypedMatrixTest() - Constructor for class plugindevelopment.TypeInsertTests.LargeSourceCodeTests.TypedMatrixTest
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Assign
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Binary
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.BoolLiteral
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.CastExpr
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.CharLiteral
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.DoubleLiteral
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Expr
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.FloatLiteral
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.InstanceOf
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.InstVar
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.IntLiteral
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.LambdaExpression
  Spezifikation: TYPEExpr( Ass, Lambda( (x1 , . . . , xN ), expr|stmt ) ) = let AssArgs = { xi : ai | ai fresh type variables } (exprt : rty, ConS) = TYPEExpr( Ass Ã¢ÂÂª AssArgs, expr ) | (stmtt : rty, ConS) = TYPEStmt( Ass u AssArgs, stmt ) in (Lambda( (x1 : a1 , . . . , xN : aN ), exprt : rty|stmtt : rty ) : a, ConS Ã¢ÂÂª { (FunN a) }), where a is a fresh type variable
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.LocalOrFieldVar
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.LongLiteral
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.MethodCall
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.NegativeExpr
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.NewArray
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.NewClass
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.NotExpr
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Null
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.PositivExpr
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.StringLiteral
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.SuperCall
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.This
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.ThisCall
TYPEExpr(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.UnaryExpr
TypeinferenceException - Exception in de.dhbwstuttgart.exceptions
  Eine RuntimeException, welche bei einem Fehler wÃ¤hrend des Typinferenzalgorithmus ausgelÃ¶st wird.
TypeinferenceException(String, SyntaxTreeNode) - Constructor for exception de.dhbwstuttgart.typeinference.exceptions.TypeinferenceException
TypeinferenceException(String, int) - Constructor for exception de.dhbwstuttgart.typeinference.exceptions.TypeinferenceException
TypeinferenceResultSet - Class in de.dhbwstuttgart.typeinference
  Diese Container-Klasse kapselt alle Ergebniswerte fÃ¯Â¿Â½r eine mÃ¯Â¿Â½gliche Typkombination einer Klasse und deren Methoden sowie lokalen Variablen.
TypeinferenceResultSet(Class, Menge<Pair>, ResultSet) - Constructor for class de.dhbwstuttgart.typeinference.TypeinferenceResultSet
TypeInsertable - Interface in de.dhbwstuttgart.typeinference
TypeInsertPoint - Class in de.dhbwstuttgart.typeinference.typedeployment
  Stellt eine EinsetzungsmÃ¶glichkeit fÃ¼r einen Typ an einem (Typeable)Punkt im Syntaxbaum dar.
TypeInsertPoint(TypeInsertable, SyntaxTreeNode, Type, ResultSet) - Constructor for class de.dhbwstuttgart.typeinference.typedeployment.TypeInsertPoint
  Dieser Konstruktor erstellt einen TypInsertPoint
TypeInsertSet - Class in de.dhbwstuttgart.typeinference.typedeployment
  BÃ¼ndelt ein Set von TypeInsertPoints, welche zu einem TypeInferenceResultSet gehÃ¶ren.
TypeInsertSet(ResultSet) - Constructor for class de.dhbwstuttgart.typeinference.typedeployment.TypeInsertSet
TypeInsertTester - Class in plugindevelopment
TypeInsertTester() - Constructor for class plugindevelopment.TypeInsertTester
typen - Variable in class de.dhbwstuttgart.syntaxtree.misc.UsedId
TypePatchJob - Class in de.dhbwstuttgart.typeinference.typedeployment
  Stellt eine Reihe von TypeInsertions dar
TypePatchJob() - Constructor for class de.dhbwstuttgart.typeinference.typedeployment.TypePatchJob
TypePlaceholder - Class in de.dhbwstuttgart.syntaxtree.type
  ReprÃ¯Â¿Â½sentiert einen Typparameter fÃ¯Â¿Â½r einen vom Programmierer nicht angegeben Typ.
TypePlaceholder(String, SyntaxTreeNode) - Constructor for class de.dhbwstuttgart.syntaxtree.type.TypePlaceholder
  Privater Konstruktor - Eine TypePlaceholder-Variable wird Ã¯Â¿Â½ber die Factory-Methode `fresh()` erzeugt.
typeReconstruction() - Method in class de.dhbwstuttgart.core.MyCompiler
  Author: JÃ¯Â¿Â½rg BÃ¯Â¿Â½uerle
  Ruft den Typrekonstruktionsalgorithmus auf.
typeReconstruction() - Method in interface de.dhbwstuttgart.core.MyCompilerAPI
  Author: JÃ¶rg BÃ¤uerle
  Ruft den Typrekonstruktionsalgorithmus auf.
typeReconstruction(FC_TTO, TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.Class
  Ausgangspunkt fÃ¯Â¿Â½r den Typrekonstruktionsalgorithmus.
typeReconstruction(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.SourceFile
  Tyrekonstruktionsalgorithmus: ruft fÃ¯Â¿Â½r jede Klasse den Algorithmus TRProg auf.
types_in_parameterlist - Variable in class de.dhbwstuttgart.syntaxtree.Method
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Assign
  Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Block
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.EmptyStmt
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Expr
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.ForStmt
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.IfStmt
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.LambdaExpression
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.LocalVarDecl
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.MethodCall
  Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.NewClass
  Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Return
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.Statement
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.SuperCall
  This kann auch als Konstruktoraufruf in einem Konstruktor-Block vorkommen.
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.This
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.ThisCall
  This kann auch als Konstruktoraufruf in einem Konstruktor-Block vorkommen.
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.UnaryExpr
TYPEStmt(TypeAssumptions) - Method in class de.dhbwstuttgart.syntaxtree.statement.WhileStmt
typinferenceLog - Static variable in class de.dhbwstuttgart.syntaxtree.statement.Block
typinferenzLog - Variable in class de.dhbwstuttgart.syntaxtree.Class
typinferenzLog - Variable in class de.dhbwstuttgart.typeinference.typedeployment.TypeInsertSet

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