JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity

log entfernt

Browse Source
This commit is contained in:
Fayez Abu Alia 2018-06-20 18:08:25 +02:00
parent 660ef68f7e
commit 303cfa5409
2 changed files with 0 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
test/logFiles/.log.swp
View File

Binary file not shown.

34
test/logFiles/log
View File

@ -1,34 +0,0 @@
FC:\{java.lang.Object=Elem: Node(java.lang.Object)
Prec: [java.lang.Object]
Desc: [java.lang.Object, Tph]
, Tph=Elem: Node(Tph)
Prec: [java.lang.Object]
Desc: []
}
class Tph {
TPH K m(TPH L a, TPH M b)({
TPH N c;
(c)::TPH N = ((this)::TPH O.m2((b)::TPH M))::TPH P;
return (a)::TPH L;
})::TPH Q
TPH R m2(TPH S b)({
return (b)::TPH S;
})::TPH T
Tph()({
super(());
})::TPH W
}0 AA: []
1 Unifikation: [(L <. K, 1, -1), (R =. P, -1, -1), (O =. Tph, 0), (S <. R, 1, -1), (O <. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
nextSet: [[(O =. Tph, 0)], [(O =. ? extends Tph, 0)]]
1 AA: []
2 Unifikation: [(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
Result1 [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]
Result1 [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]
RES: [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]