- 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
-