JavaPatternMatching/bin/mycompiler/test/lambda/testResults/LambdaTest.log

Block           DEBUG [Typeinference] Prozessing statement: TPH EM [var]
Block           DEBUG [Typeinference] Prozessing statement: WHILE void { [void(var: TPH EM = mycompiler.mystatement.StringLiteral@b6c3ef9)]
Block           DEBUG [Typeinference] Prozessing statement: void(var: TPH EM = mycompiler.mystatement.StringLiteral@b6c3ef9)
Block           DEBUG [Typeinference] Prozessing statement: void(var: TPH EY = mycompiler.mystatement.StringLiteral@b6c3ef9)
Block           DEBUG [Typeinference] Prozessing statement: WHILE void { [void(var: TPH EY = mycompiler.mystatement.StringLiteral@b6c3ef9)]
Block           DEBUG [Typeinference] Prozessing statement: TPH EY [var]
Class           DEBUG [Typeinference] Erstellte Constraints: boolean < boolean
String < TPH EY
TPH EY < TPH EZ
void < TPH A

SourceFile      DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(boolean <. boolean), (String <. TPH EY), (TPH EY <. TPH EZ), (void <. TPH A)]]
SourceFile      DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH EZ = String), (TPH EY = String), (TPH A = void)]]
SourceFile      DEBUG [Typeinference] 
JavaFiles:

SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH EZ = String), (TPH EY = String), (TPH A = void)]

SourceFile      DEBUG [Typeinference] class WhileTest extends Object
{
void method()
{
String var;
while(true){
var = "String";
}
}
}


Block           DEBUG [Typeinference] Prozessing statement: TPH EO Return TestMethodCall (this(null))
Block           DEBUG [Typeinference] Prozessing statement: TPH FA Return TestMethodCall (this(null))
Block           DEBUG [Typeinference] Prozessing statement: TPH EQ Return TPH EP (TestMethodCall (this(null)).getSomething( [ ]))
Block           DEBUG [Typeinference] Prozessing statement: TPH FC Return TPH FB (TestMethodCall (this(null)).getSomething( [ ]))
Block           DEBUG [Typeinference] Prozessing statement: void(var: TPH H = TPH ER (TestMethodCall (this(null)).getSomethingMore( [ ])))
Block           DEBUG [Typeinference] Prozessing statement: void(var: TPH H = TPH FD (TestMethodCall (this(null)).getSomethingMore( [ ])))
Class           DEBUG [Typeinference] Erstellte Constraints: TPH H < TPH H
TestMethodCall < TPH FA
TPH FA < TPH D
[(TPH D <. TPH FB), (TestMethodCall <. TestMethodCall), ]
TPH FB < TPH FC
TPH FC < TPH E
[(TPH E <. TPH FD), (TestMethodCall <. TestMethodCall), ]
TPH FD < TPH H
TPH H < TPH FE
void < void

SourceFile      DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(TPH H <. TPH H), (TestMethodCall <. TPH FA), (TPH FA <. TPH D), (TPH D <. TPH FB), (TestMethodCall <. TestMethodCall), (TPH FB <. TPH FC), (TPH FC <. TPH E), (TPH E <. TPH FD), (TestMethodCall <. TestMethodCall), (TPH FD <. TPH H), (TPH H <. TPH FE), (void <. void)]]
SourceFile      DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH FE = TestMethodCall), (TPH H = TestMethodCall), (TPH FD = TestMethodCall), (TPH E = TestMethodCall), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)], [(TPH FE = Object), (TPH H = TestMethodCall), (TPH FD = TestMethodCall), (TPH E = TestMethodCall), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)], [(TPH FE = Object), (TPH H = Object), (TPH FD = TestMethodCall), (TPH E = TestMethodCall), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)], [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = TestMethodCall), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)], [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)], [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = Object), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)], [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = Object), (TPH FB = Object), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)], [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = Object), (TPH FB = Object), (TPH D = Object), (TPH FA = TestMethodCall)], [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = Object), (TPH FB = Object), (TPH D = Object), (TPH FA = Object)]]
SourceFile      DEBUG [Typeinference] 
JavaFiles:

SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = TestMethodCall), (TPH H = TestMethodCall), (TPH FD = TestMethodCall), (TPH E = TestMethodCall), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
TestMethodCall var;
TestMethodCall getSomething()
{
return this;
}
TestMethodCall getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = Object), (TPH H = TestMethodCall), (TPH FD = TestMethodCall), (TPH E = TestMethodCall), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
TestMethodCall var;
TestMethodCall getSomething()
{
return this;
}
TestMethodCall getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = Object), (TPH H = Object), (TPH FD = TestMethodCall), (TPH E = TestMethodCall), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
Object var;
TestMethodCall getSomething()
{
return this;
}
TestMethodCall getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = TestMethodCall), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
Object var;
TestMethodCall getSomething()
{
return this;
}
TestMethodCall getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = TestMethodCall), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
Object var;
TestMethodCall getSomething()
{
return this;
}
TestMethodCall getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = Object), (TPH FB = TestMethodCall), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
Object var;
TestMethodCall getSomething()
{
return this;
}
Object getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = Object), (TPH FB = Object), (TPH D = TestMethodCall), (TPH FA = TestMethodCall)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
Object var;
TestMethodCall getSomething()
{
return this;
}
Object getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = Object), (TPH FB = Object), (TPH D = Object), (TPH FA = TestMethodCall)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
Object var;
TestMethodCall getSomething()
{
return this;
}
Object getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FE = Object), (TPH H = Object), (TPH FD = Object), (TPH E = Object), (TPH FC = Object), (TPH FB = Object), (TPH D = Object), (TPH FA = Object)]

SourceFile      DEBUG [Typeinference] class TestMethodCall extends Object
{
Object var;
Object getSomething()
{
return this;
}
Object getSomethingMore()
{
return this.getSomething();;
}
void setVar()
{
var = this.getSomethingMore();;
}
}


Block           DEBUG [Typeinference] Prozessing statement: TPH EV Return TPH EU(test: TPH V = mycompiler.mystatement.StringLiteral@488f612f)
Block           DEBUG [Typeinference] Prozessing statement: TPH FH Return TPH FG(test: TPH V = mycompiler.mystatement.StringLiteral@488f612f)
Class           DEBUG [Typeinference] Erstellte Constraints: TPH U < TPH U
String < TPH V
TPH V < TPH FG
TPH FG < TPH FH
Fun1< TPH FH, TPH V > < TPH FF
TPH FF < TPH U

SourceFile      DEBUG [Typeinference] Karthesisches Produkt der Constraints: [[(TPH U <. TPH U), (String <. TPH V), (TPH V <. TPH FG), (TPH FG <. TPH FH), (Fun1< TPH FH, TPH V > <. TPH FF), (TPH FF <. TPH U)]]
SourceFile      DEBUG [Typeinference] Unifiziertes Ergebnis: [[(TPH FH = String), (TPH FG = String), (TPH U = Fun1< String, String >), (TPH V = String), (TPH FF = Fun1< String, String >)], [(TPH FH = String), (TPH FG = String), (TPH U = Fun1< String, ? extends String >), (TPH V = String), (TPH FF = Fun1< String, String >)], [(TPH FH = String), (TPH FG = String), (TPH U = Fun1< String, ? super String >), (TPH V = String), (TPH FF = Fun1< String, String >)]]
SourceFile      DEBUG [Typeinference] 
JavaFiles:

SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FH = String), (TPH FG = String), (TPH U = Fun1< String, String >), (TPH V = String), (TPH FF = Fun1< String, String >)]

SourceFile      DEBUG [Typeinference] class TestLambda extends Object
{
Fun1<String, String> op = (String test) -> {
return test = "string";
};
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FH = String), (TPH FG = String), (TPH U = Fun1< String, ? extends String >), (TPH V = String), (TPH FF = Fun1< String, String >)]

SourceFile      DEBUG [Typeinference] class TestLambda extends Object
{
Fun1<String, ? extends String> op = (String test) -> {
return test = "string";
};
}


SourceFile      DEBUG [Typeinference] JavaFile f<>r ResultSet Unified Constraints: [(TPH FH = String), (TPH FG = String), (TPH U = Fun1< String, ? super String >), (TPH V = String), (TPH FF = Fun1< String, String >)]

SourceFile      DEBUG [Typeinference] class TestLambda extends Object
{
Fun1<String, ? super String> op = (String test) -> {
return test = "string";
};
}


Block           DEBUG [Typeinference] Prozessing statement: void(var: TPH AK = int 1)
Block           DEBUG [Typeinference] Prozessing statement: (varString: TPH AJ = TPH EX (varString: TPH AJ.toString( [ ])))