diff --git a/src/typinferenz/typedeployment/GenericTypeInsertPoint.java b/src/typinferenz/typedeployment/GenericTypeInsertPoint.java index cfa4f4029..0f7eb100d 100644 --- a/src/typinferenz/typedeployment/GenericTypeInsertPoint.java +++ b/src/typinferenz/typedeployment/GenericTypeInsertPoint.java @@ -46,8 +46,7 @@ public class GenericTypeInsertPoint extends SourcePatchPoint { */ - @Override - public JavaCodeResult getTypeInsertString() { + public String getTypeInsertString() { return this.patch.getInsertString(); } diff --git a/src/typinferenz/typedeployment/GenericVarPatch.java b/src/typinferenz/typedeployment/GenericVarPatch.java index 6be855495..25983aeb9 100644 --- a/src/typinferenz/typedeployment/GenericVarPatch.java +++ b/src/typinferenz/typedeployment/GenericVarPatch.java @@ -21,5 +21,7 @@ public class GenericVarPatch { if(!this.genericPairs.contains(p))this.genericPairs.add(p); } - + public String getInsertString(){ + return null; //TODO: + } } diff --git a/test/mycompiler/test/lambda/testResults/LambdaTest.log b/test/mycompiler/test/lambda/testResults/LambdaTest.log index 738a29402..e69de29bb 100644 --- a/test/mycompiler/test/lambda/testResults/LambdaTest.log +++ b/test/mycompiler/test/lambda/testResults/LambdaTest.log @@ -1,604 +0,0 @@ -SourceFile DEBUG [Typeinference] Von JRE erstellte Assumptions: this: null -Method Assumptions: -[] -FieldVar Assumptions: -[FieldAssumption: int MIN_VALUE, FieldAssumption: int MAX_VALUE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: int SIZE, FieldAssumption: java.util.Comparator CASE_INSENSITIVE_ORDER, FieldAssumption: int MIN_RADIX, FieldAssumption: int MAX_RADIX, FieldAssumption: char MIN_VALUE, FieldAssumption: char MAX_VALUE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: byte UNASSIGNED, FieldAssumption: byte UPPERCASE_LETTER, FieldAssumption: byte LOWERCASE_LETTER, FieldAssumption: byte TITLECASE_LETTER, FieldAssumption: byte MODIFIER_LETTER, FieldAssumption: byte OTHER_LETTER, FieldAssumption: byte NON_SPACING_MARK, FieldAssumption: byte ENCLOSING_MARK, FieldAssumption: byte COMBINING_SPACING_MARK, FieldAssumption: byte DECIMAL_DIGIT_NUMBER, FieldAssumption: byte LETTER_NUMBER, FieldAssumption: byte OTHER_NUMBER, FieldAssumption: byte SPACE_SEPARATOR, FieldAssumption: byte LINE_SEPARATOR, FieldAssumption: byte PARAGRAPH_SEPARATOR, FieldAssumption: byte CONTROL, FieldAssumption: byte FORMAT, FieldAssumption: byte PRIVATE_USE, FieldAssumption: byte SURROGATE, FieldAssumption: byte DASH_PUNCTUATION, FieldAssumption: byte START_PUNCTUATION, FieldAssumption: byte END_PUNCTUATION, FieldAssumption: byte CONNECTOR_PUNCTUATION, FieldAssumption: byte OTHER_PUNCTUATION, FieldAssumption: byte MATH_SYMBOL, FieldAssumption: byte CURRENCY_SYMBOL, FieldAssumption: byte MODIFIER_SYMBOL, FieldAssumption: byte OTHER_SYMBOL, FieldAssumption: byte INITIAL_QUOTE_PUNCTUATION, FieldAssumption: byte FINAL_QUOTE_PUNCTUATION, FieldAssumption: byte DIRECTIONALITY_UNDEFINED, FieldAssumption: byte DIRECTIONALITY_LEFT_TO_RIGHT, FieldAssumption: byte DIRECTIONALITY_RIGHT_TO_LEFT, FieldAssumption: byte DIRECTIONALITY_RIGHT_TO_LEFT_ARABIC, FieldAssumption: byte DIRECTIONALITY_EUROPEAN_NUMBER, FieldAssumption: byte DIRECTIONALITY_EUROPEAN_NUMBER_SEPARATOR, FieldAssumption: byte DIRECTIONALITY_EUROPEAN_NUMBER_TERMINATOR, FieldAssumption: byte DIRECTIONALITY_ARABIC_NUMBER, FieldAssumption: byte DIRECTIONALITY_COMMON_NUMBER_SEPARATOR, FieldAssumption: byte DIRECTIONALITY_NONSPACING_MARK, FieldAssumption: byte DIRECTIONALITY_BOUNDARY_NEUTRAL, FieldAssumption: byte DIRECTIONALITY_PARAGRAPH_SEPARATOR, FieldAssumption: byte DIRECTIONALITY_SEGMENT_SEPARATOR, FieldAssumption: byte DIRECTIONALITY_WHITESPACE, FieldAssumption: byte DIRECTIONALITY_OTHER_NEUTRALS, FieldAssumption: byte DIRECTIONALITY_LEFT_TO_RIGHT_EMBEDDING, FieldAssumption: byte DIRECTIONALITY_LEFT_TO_RIGHT_OVERRIDE, FieldAssumption: byte DIRECTIONALITY_RIGHT_TO_LEFT_EMBEDDING, FieldAssumption: byte DIRECTIONALITY_RIGHT_TO_LEFT_OVERRIDE, FieldAssumption: byte DIRECTIONALITY_POP_DIRECTIONAL_FORMAT, FieldAssumption: char MIN_HIGH_SURROGATE, FieldAssumption: char MAX_HIGH_SURROGATE, FieldAssumption: char MIN_LOW_SURROGATE, FieldAssumption: char MAX_LOW_SURROGATE, FieldAssumption: char MIN_SURROGATE, FieldAssumption: char MAX_SURROGATE, FieldAssumption: int MIN_SUPPLEMENTARY_CODE_POINT, FieldAssumption: int MIN_CODE_POINT, FieldAssumption: int MAX_CODE_POINT, FieldAssumption: int SIZE, FieldAssumption: java.lang.Boolean TRUE, FieldAssumption: java.lang.Boolean FALSE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: double POSITIVE_INFINITY, FieldAssumption: double NEGATIVE_INFINITY, FieldAssumption: double NaN, FieldAssumption: double MAX_VALUE, FieldAssumption: double MIN_NORMAL, FieldAssumption: double MIN_VALUE, FieldAssumption: int MAX_EXPONENT, FieldAssumption: int MIN_EXPONENT, FieldAssumption: int SIZE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: float POSITIVE_INFINITY, FieldAssumption: float NEGATIVE_INFINITY, FieldAssumption: float NaN, FieldAssumption: float MAX_VALUE, FieldAssumption: float MIN_NORMAL, FieldAssumption: float MIN_VALUE, FieldAssumption: int MAX_EXPONENT, FieldAssumption: int MIN_EXPONENT, FieldAssumption: int SIZE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: long MIN_VALUE, FieldAssumption: long MAX_VALUE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: int SIZE] -LocalVar Assumptions: -[] -Parameter Assumptions: -[] -Konstruktor Assumptions: -[MethodAssumption: java.lang.Integer [](), MethodAssumption: java.lang.Integer [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.Character [](), MethodAssumption: java.lang.Boolean [](), MethodAssumption: java.lang.Boolean [](), MethodAssumption: java.lang.Double [](), MethodAssumption: java.lang.Double [](), MethodAssumption: java.lang.Float [](), MethodAssumption: java.lang.Float [](), MethodAssumption: java.lang.Float [](), MethodAssumption: java.lang.Long [](), MethodAssumption: java.lang.Long [](), MethodAssumption: java.lang.Object []()] -Class Assumptions: -[java.lang.Integer, java.lang.String, java.lang.Character, java.lang.Boolean, java.lang.Double, java.lang.Float, java.lang.Long, java.lang.Object] - -Class DEBUG [Typeinference] Erstellte Assumptions: this: LambdaTest1 -Method Assumptions: -[MethodAssumption: GTV R [apply](), MethodAssumption: GTV R [apply](GTV T1 T1), MethodAssumption: GTV R [apply](GTV T1 T1,GTV T2 T2), MethodAssumption: GTV R [apply](GTV T1 T1,GTV T2 T2,GTV T3 T3), MethodAssumption: GTV R [apply](GTV T1 T1,GTV T2 T2,GTV T3 T3,GTV T4 T4), MethodAssumption: GTV R [apply](GTV T1 T1,GTV T2 T2,GTV T3 T3,GTV T4 T4,GTV T5 T5), MethodAssumption: TPH B [method](String toAppend)] -FieldVar Assumptions: -[FieldAssumption: TPH A var, FieldAssumption: int MIN_VALUE, FieldAssumption: int MAX_VALUE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: int SIZE, FieldAssumption: java.util.Comparator CASE_INSENSITIVE_ORDER, FieldAssumption: int MIN_RADIX, FieldAssumption: int MAX_RADIX, FieldAssumption: char MIN_VALUE, FieldAssumption: char MAX_VALUE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: byte UNASSIGNED, FieldAssumption: byte UPPERCASE_LETTER, FieldAssumption: byte LOWERCASE_LETTER, FieldAssumption: byte TITLECASE_LETTER, FieldAssumption: byte MODIFIER_LETTER, FieldAssumption: byte OTHER_LETTER, FieldAssumption: byte NON_SPACING_MARK, FieldAssumption: byte ENCLOSING_MARK, FieldAssumption: byte COMBINING_SPACING_MARK, FieldAssumption: byte DECIMAL_DIGIT_NUMBER, FieldAssumption: byte LETTER_NUMBER, FieldAssumption: byte OTHER_NUMBER, FieldAssumption: byte SPACE_SEPARATOR, FieldAssumption: byte LINE_SEPARATOR, FieldAssumption: byte PARAGRAPH_SEPARATOR, FieldAssumption: byte CONTROL, FieldAssumption: byte FORMAT, FieldAssumption: byte PRIVATE_USE, FieldAssumption: byte SURROGATE, FieldAssumption: byte DASH_PUNCTUATION, FieldAssumption: byte START_PUNCTUATION, FieldAssumption: byte END_PUNCTUATION, FieldAssumption: byte CONNECTOR_PUNCTUATION, FieldAssumption: byte OTHER_PUNCTUATION, FieldAssumption: byte MATH_SYMBOL, FieldAssumption: byte CURRENCY_SYMBOL, FieldAssumption: byte MODIFIER_SYMBOL, FieldAssumption: byte OTHER_SYMBOL, FieldAssumption: byte INITIAL_QUOTE_PUNCTUATION, FieldAssumption: byte FINAL_QUOTE_PUNCTUATION, FieldAssumption: byte DIRECTIONALITY_UNDEFINED, FieldAssumption: byte DIRECTIONALITY_LEFT_TO_RIGHT, FieldAssumption: byte DIRECTIONALITY_RIGHT_TO_LEFT, FieldAssumption: byte DIRECTIONALITY_RIGHT_TO_LEFT_ARABIC, FieldAssumption: byte DIRECTIONALITY_EUROPEAN_NUMBER, FieldAssumption: byte DIRECTIONALITY_EUROPEAN_NUMBER_SEPARATOR, FieldAssumption: byte DIRECTIONALITY_EUROPEAN_NUMBER_TERMINATOR, FieldAssumption: byte DIRECTIONALITY_ARABIC_NUMBER, FieldAssumption: byte DIRECTIONALITY_COMMON_NUMBER_SEPARATOR, FieldAssumption: byte DIRECTIONALITY_NONSPACING_MARK, FieldAssumption: byte DIRECTIONALITY_BOUNDARY_NEUTRAL, FieldAssumption: byte DIRECTIONALITY_PARAGRAPH_SEPARATOR, FieldAssumption: byte DIRECTIONALITY_SEGMENT_SEPARATOR, FieldAssumption: byte DIRECTIONALITY_WHITESPACE, FieldAssumption: byte DIRECTIONALITY_OTHER_NEUTRALS, FieldAssumption: byte DIRECTIONALITY_LEFT_TO_RIGHT_EMBEDDING, FieldAssumption: byte DIRECTIONALITY_LEFT_TO_RIGHT_OVERRIDE, FieldAssumption: byte DIRECTIONALITY_RIGHT_TO_LEFT_EMBEDDING, FieldAssumption: byte DIRECTIONALITY_RIGHT_TO_LEFT_OVERRIDE, FieldAssumption: byte DIRECTIONALITY_POP_DIRECTIONAL_FORMAT, FieldAssumption: char MIN_HIGH_SURROGATE, FieldAssumption: char MAX_HIGH_SURROGATE, FieldAssumption: char MIN_LOW_SURROGATE, FieldAssumption: char MAX_LOW_SURROGATE, FieldAssumption: char MIN_SURROGATE, FieldAssumption: char MAX_SURROGATE, FieldAssumption: int MIN_SUPPLEMENTARY_CODE_POINT, FieldAssumption: int MIN_CODE_POINT, FieldAssumption: int MAX_CODE_POINT, FieldAssumption: int SIZE, FieldAssumption: java.lang.Boolean TRUE, FieldAssumption: java.lang.Boolean FALSE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: double POSITIVE_INFINITY, FieldAssumption: double NEGATIVE_INFINITY, FieldAssumption: double NaN, FieldAssumption: double MAX_VALUE, FieldAssumption: double MIN_NORMAL, FieldAssumption: double MIN_VALUE, FieldAssumption: int MAX_EXPONENT, FieldAssumption: int MIN_EXPONENT, FieldAssumption: int SIZE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: float POSITIVE_INFINITY, FieldAssumption: float NEGATIVE_INFINITY, FieldAssumption: float NaN, FieldAssumption: float MAX_VALUE, FieldAssumption: float MIN_NORMAL, FieldAssumption: float MIN_VALUE, FieldAssumption: int MAX_EXPONENT, FieldAssumption: int MIN_EXPONENT, FieldAssumption: int SIZE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: long MIN_VALUE, FieldAssumption: long MAX_VALUE, FieldAssumption: java.lang.Class TYPE, FieldAssumption: int SIZE] -LocalVar Assumptions: -[] -Parameter Assumptions: -[] -Konstruktor Assumptions: -[MethodAssumption: LambdaTest1 [LambdaTest1](), MethodAssumption: java.lang.Integer [](), MethodAssumption: java.lang.Integer [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.String [](), MethodAssumption: java.lang.Character [](), MethodAssumption: java.lang.Boolean [](), MethodAssumption: java.lang.Boolean [](), MethodAssumption: java.lang.Double [](), MethodAssumption: java.lang.Double [](), MethodAssumption: java.lang.Float [](), MethodAssumption: java.lang.Float [](), MethodAssumption: java.lang.Float [](), MethodAssumption: java.lang.Long [](), MethodAssumption: java.lang.Long [](), MethodAssumption: java.lang.Object []()] -Class Assumptions: -[Fun0, Fun1, Fun2, Fun3, Fun4, Fun5, LambdaTest1, java.lang.Integer, java.lang.String, java.lang.Character, java.lang.Boolean, java.lang.Double, java.lang.Float, java.lang.Long, java.lang.Object] - -Block DEBUG [Typeinference] Prozessing statement: null Return null (( [ String text, ]) -> null { [null Return toAppend]) -Block DEBUG [Typeinference] Prozessing statement: null Return toAppend -Block DEBUG [Typeinference] Prozessing statement: TPH AG Return toAppend: java.lang.String -Block DEBUG [Typeinference] Prozessing statement: TPH AH Return TPH AF (( [ String text, ]) -> TPH AG { [TPH AG Return toAppend: java.lang.String]) -Class DEBUG [Typeinference] Erstellte Constraints: TPH A < TPH A -java.lang.String < TPH A -java.lang.String < TPH AG -Fun1< TPH AG, String > < TPH AF -TPH AF < TPH AH -TPH AH < TPH B - -SourceFile DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(TPH A <. TPH A), (java.lang.String <. TPH A), (java.lang.String <. TPH AG), (Fun1< TPH AG, String > <. TPH AF), (TPH AF <. TPH AH), (TPH AH <. TPH B)]] -SourceFile DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH B = Fun1< java.lang.String, String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, String >), (TPH AH = Fun1< ? extends java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< ? extends java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< ? extends java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< ? extends java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< ? extends java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, String >), (TPH AH = Fun1< ? super java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< ? super java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< ? super java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< ? super java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< ? super java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)], [(TPH B = Fun1< java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)], [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)], [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)], [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< ? extends java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)], [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< ? super java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)], [(TPH B = Fun1< java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)], [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)], [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)], [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< ? extends java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)], [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< ? super java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)]] -SourceFile DEBUG [Typeinference] -JavaFiles: - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< java.lang.String, String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, String >), (TPH AH = Fun1< ? extends java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< ? extends java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< ? extends java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< ? extends java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< ? extends java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, String >), (TPH AH = Fun1< ? super java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< ? super java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< ? super java.lang.String, String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< ? super java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< ? super java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? extends String >), (TPH AH = Fun1< ? extends java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? extends String >), (TPH AH = Fun1< ? super java.lang.String, ? extends String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? extends String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? extends java.lang.String, ? super String >), (TPH AH = Fun1< ? extends java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} - -SourceFile DEBUG [Typeinference] JavaFile für ResultSet Unified Constraints: [(TPH B = Fun1< ? super java.lang.String, ? super String >), (TPH AH = Fun1< ? super java.lang.String, ? super String >), (TPH A = java.lang.String), (TPH AG = java.lang.String), (TPH AF = Fun1< java.lang.String, ? super String >)] - -SourceFile DEBUG [Typeinference] class LambdaTest1 extends Object -{ -java.lang.String var = "test"; -Fun1 method(java.lang.String toAppend) -{ -return (String text) -> { -return toAppend; -}; -} -LambdaTest1 LambdaTest1() -{ -} -} -