From 7a556fbafb7718003435e3af25cfe6928273f337 Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Mon, 10 Feb 2014 17:44:20 +0100 Subject: [PATCH] =?UTF-8?q?TPH.fresh()=20kann=20nicht=20mehr=20ohne=20die?= =?UTF-8?q?=20=C3=9Cbergabe=20eines=20TypeReplacementListeners=20erfolgen.?= =?UTF-8?q?=20Keine=20Lauff=C3=A4hige=20Version?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- bin/mycompiler/myparser/JavaParser.jay | 4 +- .../test/lambda/testResults/LambdaTest.log | 520 ------------------ src/mycompiler/MyCompiler.java | 2 +- src/mycompiler/myclass/Constant.java | 13 + .../myclass/FieldInitialization.java | 2 +- src/mycompiler/myparser/JavaParser.java | 4 +- src/mycompiler/myparser/JavaParser.jay | 4 +- src/mycompiler/mystatement/Block.java | 2 +- src/mycompiler/mytype/RefType.java | 7 + src/mycompiler/mytype/TypePlaceholder.java | 2 +- src/typinferenz/Typable.java | 1 + src/typinferenz/TypeInsertable.java | 4 +- .../assumptions/TypeAssumptions.java | 2 +- .../test/lambda/testResults/LambdaTest.log | 520 ------------------ 14 files changed, 35 insertions(+), 1052 deletions(-) diff --git a/bin/mycompiler/myparser/JavaParser.jay b/bin/mycompiler/myparser/JavaParser.jay index c174b9359..992ac242a 100755 --- a/bin/mycompiler/myparser/JavaParser.jay +++ b/bin/mycompiler/myparser/JavaParser.jay @@ -1393,10 +1393,10 @@ formalparameter : type variabledeclaratorid // #JB# 31.03.2005 // ########################################################### - Type T = TypePlaceholder.fresh(); + //Type T = TypePlaceholder.fresh(); //auskommentiert von Andreas Stadelmeier // Type T = new TypePlaceholder(""); /* otth: Name wird automatisch berechnet */ // ########################################################### - org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName()); + //org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName()); //auskommentiert von Andreas Stadelmeier (a10023) FP.setType( T ); FP.set_DeclId($1); diff --git a/bin/mycompiler/test/lambda/testResults/LambdaTest.log b/bin/mycompiler/test/lambda/testResults/LambdaTest.log index e745febf1..e69de29bb 100644 --- a/bin/mycompiler/test/lambda/testResults/LambdaTest.log +++ b/bin/mycompiler/test/lambda/testResults/LambdaTest.log @@ -1,520 +0,0 @@ -Class DEBUG [Typeinference] Erstellte Assumptions: Set { -method: java.lang.String --> TPH CV, -var: TPH CU, -toAppend: java.lang.String, -: NOPARAS --> LambdaTest1 -} -Block DEBUG [Typeinference] Prozessing statement: null Return null (( [ java.lang.String text, ]) -> null { [null Return toAppend]) -Block DEBUG [Typeinference] Prozessing statement: null Return toAppend -Block DEBUG [Typeinference] Prozessing statement: TPH CY Return toAppend: java.lang.String -Block DEBUG [Typeinference] Prozessing statement: TPH CZ Return TPH CX (( [ java.lang.String text, ]) -> TPH CY { [TPH CY Return toAppend: java.lang.String]) -Class DEBUG [Typeinference] Erstellte Constraints: String < TPH CU -TPH CU < TPH CW -java.lang.String < TPH CY -Fun1< TPH CY, java.lang.String > < TPH CX -TPH CX < TPH CZ -TPH CZ < TPH CV - -Class DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(String <. TPH CU), (TPH CU <. TPH CW), (java.lang.String <. TPH CY), (Fun1< TPH CY, java.lang.String > <. TPH CX), (TPH CX <. TPH CZ), (TPH CZ <. TPH CV)]] -Class DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH CV = Fun1< java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]] -Class DEBUG [Typeinference] Typinformationen: -LambdaTest1: (TPH CU var = "test" : String) : void -Methode [method] Parameter: java.lang.String toAppend, Block: -TPH CZ :: (Return TPH CX :: (java.lang.String text) -> -TPH CY :: (Return java.lang.String toAppend) -) - - -Class DEBUG [Typeinference] -JavaFiles: - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - diff --git a/src/mycompiler/MyCompiler.java b/src/mycompiler/MyCompiler.java index 893bf6cd9..74777a752 100755 --- a/src/mycompiler/MyCompiler.java +++ b/src/mycompiler/MyCompiler.java @@ -349,7 +349,7 @@ public class MyCompiler implements MyCompilerAPI // #JB# 31.03.2005 // ########################################################### - Methode.setReturnType(TypePlaceholder.fresh()); + Methode.setReturnType(TypePlaceholder.fresh(Methode)); //Methode.setReturnType( new TypePlaceholder("###NEU###") ); // ########################################################### diff --git a/src/mycompiler/myclass/Constant.java b/src/mycompiler/myclass/Constant.java index f6a784031..cd2c6a1bf 100755 --- a/src/mycompiler/myclass/Constant.java +++ b/src/mycompiler/myclass/Constant.java @@ -19,6 +19,7 @@ import mycompiler.mystatement.Expr; import mycompiler.mystatement.Literal; import mycompiler.mytype.Type; // ino.end +import mycompiler.mytypereconstruction.replacementlistener.CReplaceTypeEvent; // ino.class.Constant.23212.description type=javadoc /** @@ -221,5 +222,17 @@ public class Constant extends FieldDecl //return null; } + @Override + public void replaceType(CReplaceTypeEvent e) { + // TODO Auto-generated method stub + + } + + @Override + public int getTypeLineNumber() { + // TODO Auto-generated method stub + return 0; + } + } // ino.end diff --git a/src/mycompiler/myclass/FieldInitialization.java b/src/mycompiler/myclass/FieldInitialization.java index 6a2c59456..b6d611576 100755 --- a/src/mycompiler/myclass/FieldInitialization.java +++ b/src/mycompiler/myclass/FieldInitialization.java @@ -77,7 +77,7 @@ public class FieldInitialization extends InstVarDecl { * TODO: Der Feld-Assumption muss ein TPH als Typ hinzugefügt werden, falls er Typlos initialisiert wurde. Dies kann auch der Type-Algorithmus der Inst/FieldVar - Klasse machen. * Wird das Feld mit einem Typ initialisiert so muss dieser auch in die Assumptions. */ - if(this.getType() == null)this.setType(TypePlaceholder.fresh()); + if(this.getType() == null)this.setType(TypePlaceholder.fresh(this)); assumptions.add(TypeAssumptions.createFieldVarAssumption(classmember.getName(), this.getName(), this.getType())); classmember.get_ClassBody().addFieldInitialization(this); return assumptions; diff --git a/src/mycompiler/myparser/JavaParser.java b/src/mycompiler/myparser/JavaParser.java index 2a1b16617..798fc6b43 100644 --- a/src/mycompiler/myparser/JavaParser.java +++ b/src/mycompiler/myparser/JavaParser.java @@ -1957,10 +1957,10 @@ case 148: /* #JB# 31.03.2005*/ /* ###########################################################*/ - Type T = TypePlaceholder.fresh(); + /*Type T = TypePlaceholder.fresh(); //auskommentiert von Andreas Stadelmeier*/ /* Type T = new TypePlaceholder(""); /* otth: Name wird automatisch berechnet * /*/ /* ###########################################################*/ - org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName()); + //org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName()); /*auskommentiert von Andreas Stadelmeier (a10023) FP.setType( T );*/ FP.set_DeclId(((DeclId)yyVals[0+yyTop])); diff --git a/src/mycompiler/myparser/JavaParser.jay b/src/mycompiler/myparser/JavaParser.jay index c174b9359..992ac242a 100755 --- a/src/mycompiler/myparser/JavaParser.jay +++ b/src/mycompiler/myparser/JavaParser.jay @@ -1393,10 +1393,10 @@ formalparameter : type variabledeclaratorid // #JB# 31.03.2005 // ########################################################### - Type T = TypePlaceholder.fresh(); + //Type T = TypePlaceholder.fresh(); //auskommentiert von Andreas Stadelmeier // Type T = new TypePlaceholder(""); /* otth: Name wird automatisch berechnet */ // ########################################################### - org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName()); + //org.apache.log4j.Logger.getLogger("parser").debug("\n--> berechneter Name: " + T.getName()); //auskommentiert von Andreas Stadelmeier (a10023) FP.setType( T ); FP.set_DeclId($1); diff --git a/src/mycompiler/mystatement/Block.java b/src/mycompiler/mystatement/Block.java index 0c3621c1f..6ea730da8 100755 --- a/src/mycompiler/mystatement/Block.java +++ b/src/mycompiler/mystatement/Block.java @@ -243,7 +243,7 @@ public class Block extends Statement throw new TypinferenzException("Falscher Return Type"); } else { - TypePlaceholder tph = TypePlaceholder.fresh(); + TypePlaceholder tph = TypePlaceholder.fresh(this); ret.add(new SingleConstraint(this.getTypeVariable(), tph)); ret.add(new SingleConstraint(stmt.getTypeVariable(), tph)); this.setTypeVariable(tph); diff --git a/src/mycompiler/mytype/RefType.java b/src/mycompiler/mytype/RefType.java index 8ba53664e..f44257727 100755 --- a/src/mycompiler/mytype/RefType.java +++ b/src/mycompiler/mytype/RefType.java @@ -7,14 +7,18 @@ import java.util.Enumeration; import java.util.Hashtable; import java.util.Iterator; import java.util.Vector; + import mycompiler.mybytecode.JVMCode; import mycompiler.myclass.UsedId; import mycompiler.myexception.SCException; import mycompiler.mytypereconstruction.CSubstitutionGenVar; import mycompiler.mytypereconstruction.set.CSubstitutionSet; + import org.apache.log4j.Logger; // ino.end + +import sun.reflect.generics.reflectiveObjects.NotImplementedException; import typinferenz.JavaCodeResult; import typinferenz.ResultSet; @@ -163,6 +167,8 @@ public class RefType extends Type implements IMatchable // ino.end // ino.method.GenericTypeVar2TypePlaceholder.26652.body { + throw new NotImplementedException(); + /* CSubstitutionSet sub = new CSubstitutionSet(); if(parameter != null) { @@ -182,6 +188,7 @@ public class RefType extends Type implements IMatchable } } return sub; + */ } // ino.end diff --git a/src/mycompiler/mytype/TypePlaceholder.java b/src/mycompiler/mytype/TypePlaceholder.java index c996f9aa8..9d5105902 100755 --- a/src/mycompiler/mytype/TypePlaceholder.java +++ b/src/mycompiler/mytype/TypePlaceholder.java @@ -87,7 +87,7 @@ public class TypePlaceholder extends Type implements IReplaceTypeEventProvider */ // ino.end // ino.method.fresh.26800.definition - public static TypePlaceholder fresh() + private static TypePlaceholder fresh() // ino.end // ino.method.fresh.26800.body { diff --git a/src/typinferenz/Typable.java b/src/typinferenz/Typable.java index 70fc197ee..ad736dc5d 100755 --- a/src/typinferenz/Typable.java +++ b/src/typinferenz/Typable.java @@ -1,6 +1,7 @@ package typinferenz; import mycompiler.mytype.Type; +import mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener; public interface Typable { /** diff --git a/src/typinferenz/TypeInsertable.java b/src/typinferenz/TypeInsertable.java index fdf807ee4..185655532 100644 --- a/src/typinferenz/TypeInsertable.java +++ b/src/typinferenz/TypeInsertable.java @@ -1,5 +1,7 @@ package typinferenz; -public interface TypeInsertable { +import mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener; + +public interface TypeInsertable extends ITypeReplacementListener { } diff --git a/src/typinferenz/assumptions/TypeAssumptions.java b/src/typinferenz/assumptions/TypeAssumptions.java index 7827779ca..f56748948 100755 --- a/src/typinferenz/assumptions/TypeAssumptions.java +++ b/src/typinferenz/assumptions/TypeAssumptions.java @@ -224,7 +224,7 @@ public class TypeAssumptions implements Iterable { * @return */ public TypeAssumptions add(CTypeAssumption ass){ - if(ass.getAssumedType()==null)ass.setAssumedType(TypePlaceholder.fresh()); + if(ass.getAssumedType()==null)throw new NullPointerException();//ass.setAssumedType(TypePlaceholder.fresh()); //if(ass instanceof CParaTypeAssumption)throw new TypinferenzException("ParameterAssumptions müssen einer Methode zugewiesen sein"); diff --git a/test/mycompiler/test/lambda/testResults/LambdaTest.log b/test/mycompiler/test/lambda/testResults/LambdaTest.log index e745febf1..e69de29bb 100644 --- a/test/mycompiler/test/lambda/testResults/LambdaTest.log +++ b/test/mycompiler/test/lambda/testResults/LambdaTest.log @@ -1,520 +0,0 @@ -Class DEBUG [Typeinference] Erstellte Assumptions: Set { -method: java.lang.String --> TPH CV, -var: TPH CU, -toAppend: java.lang.String, -: NOPARAS --> LambdaTest1 -} -Block DEBUG [Typeinference] Prozessing statement: null Return null (( [ java.lang.String text, ]) -> null { [null Return toAppend]) -Block DEBUG [Typeinference] Prozessing statement: null Return toAppend -Block DEBUG [Typeinference] Prozessing statement: TPH CY Return toAppend: java.lang.String -Block DEBUG [Typeinference] Prozessing statement: TPH CZ Return TPH CX (( [ java.lang.String text, ]) -> TPH CY { [TPH CY Return toAppend: java.lang.String]) -Class DEBUG [Typeinference] Erstellte Constraints: String < TPH CU -TPH CU < TPH CW -java.lang.String < TPH CY -Fun1< TPH CY, java.lang.String > < TPH CX -TPH CX < TPH CZ -TPH CZ < TPH CV - -Class DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(String <. TPH CU), (TPH CU <. TPH CW), (java.lang.String <. TPH CY), (Fun1< TPH CY, java.lang.String > <. TPH CX), (TPH CX <. TPH CZ), (TPH CZ <. TPH CV)]] -Class DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH CV = Fun1< java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)], [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)], [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)]] -Class DEBUG [Typeinference] Typinformationen: -LambdaTest1: (TPH CU var = "test" : String) : void -Methode [method] Parameter: java.lang.String toAppend, Block: -TPH CZ :: (Return TPH CX :: (java.lang.String text) -> -TPH CY :: (Return java.lang.String toAppend) -) - - -Class DEBUG [Typeinference] -JavaFiles: - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? extends java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? extends java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? extends java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - - -Class DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH CV = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CW = String), (TPH CZ = Fun1< ? super java.lang.String, ? super java.lang.String >), (TPH CU = String), (TPH CY = java.lang.String), (TPH CX = Fun1< java.lang.String, ? super java.lang.String >)] - -Class DEBUG [Typeinference] class LambdaTest1 extends Object -{ -String var = "test"; -Fun1 method() -{ -return (java.lang.String text) -> { -return toAppend; -}; -} -} - -