Für TPH D wird kein Constraint generiert #190
Labels
No Label
Codegen
confirmed
duplicate
Eclipse-Plugin
Feature Request
generics
in progress
invalid
JavaCompilerCore
needs info
Parser
Trash
Type
Unify
won't fix
works for me
No Milestone
No project
No Assignees
1 Participants
stan
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: JavaTX/JavaCompilerCore#190
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Datei Matrix.jav
Git: origin/unifyOptimierung
commit
8be4f94edfAusgabe AST:
TPH C mul(TPH D m)({
TPH E ret;
(ret)::TPH E = new Matrix();
TPH F i;
(i)::TPH F = 0.0;
while((i)::TPH F | ((this)::TPH I.size())::TPH J)({
TPH K v1;
(v1)::TPH K = ((this)::TPH L.elementAt((i)::TPH F))::TPH M;
TPH N v2;
(v2)::TPH N = new java.util.Vector();
TPH O j;
(j)::TPH O = 0.0;
while((j)::TPH O | ((v1)::TPH K.size())::TPH R)({
TPH S erg;
(erg)::TPH S = 0.0;
TPH U k;
(k)::TPH U = 0.0;
while((k)::TPH U | ((v1)::TPH K.size())::TPH X)({
(erg)::TPH S = (erg)::TPH S | ((v1)::TPH K.elementAt((k)::TPH U))::TPH Y | (((m)::TPH D.elementAt((k)::TPH U))::TPH Z.elementAt((j)::TPH O))::TPH AA;
(k)::TPH U++;
})::TPH AE;
((v2)::TPH N.addElement(new java.lang.Integer((erg)::TPH S)))::TPH AG;
(j)::TPH O++;
})::TPH AI;
((ret)::TPH E.addElement((v2)::TPH N))::TPH AK;
(i)::TPH F++;
})::TPH AM;
return (ret)::TPH E;
})::TPH AO
Matrix()({
super(());
})::TPH AR
}
Ausgabe eq zu Beginn der Unifikation:
[(M <. K, 0, 0), (AC <. java.lang.Integer, 0), (AC <. S, 0, 0), (O <. java.lang.Integer, 0), (N <. AXO, 0, 0), (Matrix <. E, , 0), (N <. java.util.Vector, 0), (S <. java.lang.String, 0), (java.lang.Integer <. AXM, , 0), (X <. java.lang.Integer, 0), (R <. java.lang.Integer, 0), (java.util.Vector<java.lang.Integer> <. java.util.Vector<java.lang.Integer>, ), (E <. java.util.Vector, 0), (L =. Matrix, 0), (java.util.Vector<java.lang.Integer> <. N, , 0), (L <. java.util.Vector, 0), (F <. java.lang.Integer, 0), (H =. java.lang.Boolean, 0), (java.lang.Boolean =. H, , 0), (F =. AL, 0, 0), (Matrix <. Matrix, ), (void =. AK, , 0), (void =. AG, , 0), (AVH =. M, 0, 0), (J <. java.lang.Integer, 0), (G <. F, 0, 0), (V <. U, 0, 0), (W =. java.lang.Boolean, 0), (java.lang.Boolean =. W, , 0), (java.lang.Integer <. java.lang.Integer, ), (E <. C, 0, -1), (T <. S, 0, 0), (S <. java.lang.Integer, 0), (Q =. java.lang.Boolean, 0), (java.lang.Boolean =. Q, , 0), (U <. java.lang.Integer, 0), (P <. O, 0, 0), (AB <. java.lang.Integer, 0), (U =. AD, 0, 0), (O =. AH, 0, 0)]
Es müsste eine Constraint (D <. java.util.Vector, 1) generiert werden.