• Joined on 2023-12-15
pl commented on issue JavaTX/JavaCompilerCore#31 2018-12-14 17:52:12 +00:00
Fields funktionieren noch nicht richtig

commit: 1931c613925079e97cb8ef57ff20b668d77c543b branch: bytecode2

Habe jetzt etwas programmiert, so er wenn möglich nur noch ein Ergebnis für Fields liefert.

MatrixOp liefert jetzt ein ric…

pl commented on issue JavaTX/JavaCompilerCore#203 2018-12-03 15:12:42 +00:00
Doppelte Code Generierung und doppelte Typinferenz bei Field-Initialisierung

branch: bytecode2 commit: 964b73e8c4728faa7b8439b5847ca044f2cb200c

Ich habe nun die SuperCalls aus den fieldInitializations entfernt. Zusätzlich habe ich noch die SuperCalls aus allen Constr…

pl commented on issue JavaTX/JavaCompilerCore#203 2018-11-26 10:51:53 +00:00
Doppelte Code Generierung und doppelte Typinferenz bei Field-Initialisierung

Nun muss noch die Bytecode-Generierung an die Veränderung angepasst werden:

  • Für den Konstruktor fieldInitializations muss der Bytecode einmal erzeugt werden
  • Dieser Bytecode muss in jeden …
pl opened issue JavaTX/JavaCompilerCore#203 2018-11-26 10:48:57 +00:00
ClassOrInterface.java: Einfuegen eines Attributes private Optional<Constructor> fieldInitializations; Hierin werden alle Initialisierungen als Block: { f1 = exp_1 f2 = exp_2 ... …
pl opened issue JavaTX/JavaCompilerCore#263 2018-11-13 15:02:01 +00:00
Branch: unify-test commit: 3ce60eec8d87b7b1369cef70399438f5feb5e78d siehe xaa und a1a2 in log-Verzeichnis Aus K <. java.util.Vector<gen_pd> wird [(K =. ? extends java.util.Vector<gen_pd>,…
pl commented on issue JavaTX/JavaCompilerCore#38 2018-11-13 14:30:10 +00:00
Fehler in Matrix.class

Branch: unify-test neuer commit: 74ad081e78efebe81fecc6e60adb478669c8fc81

Habe mal alle bytecode2-Aenderungen gemerged. Fehler bleibt

pl opened issue JavaTX/JavaCompilerCore#38 2018-11-12 18:00:13 +00:00
ACHTUNG !!! Branch: unify-test Commit: e72310278da7f13bb74eee66c344dbded9d9ce77 Folgender Stacktrace java.lang.VerifyError: Operand stack underflow Exception Details: Location: Matrix…
pl opened issue JavaTX/JavaCompilerCore#248 2018-11-08 00:26:26 +00:00
Es muss überpruft werden, ob: 1. Die Typariablen auf der richtigen Seite stehen 2. die imports berücksichtigen und für importierte Typen Constraints erzeugen
pl opened issue JavaTX/JavaCompilerCore#262 2018-11-05 23:32:41 +00:00
branch: unify-test commit: d08708878fb769e4b6383380204b9525a47293ee DistributeVariance in typeinference() in JavaTXCompiler.java auf branch bytecode2 übertragen
pl commented on issue JavaTX/JavaCompilerCore#245 2018-11-05 12:05:06 +00:00
Literal-Konstanten int, float, double etc. müssen Import berücksichtigen

branch: bytecode2 commit: f0ba7c03b5d1637716c6181b4deed03794ac5bbb

gefixt.

pl opened issue JavaTX/JavaCompilerCore#247 2018-11-04 12:18:15 +00:00
branch: bytecode2 commit: 5ddc9201f7296ff28ca0c1c6b2d790082a122682 für Lambda-Ausdruck f = x -> g(x) wird nach dem Parser für x Typannahmen x:A gemacht. In TypeStmt wird für f:FUN<Y,Z> ang…
pl opened issue JavaTX/JavaCompilerCore#246 2018-11-04 12:13:09 +00:00
branch: bytecode2 commit: 5ddc9201f7296ff28ca0c1c6b2d790082a122682
pl opened issue JavaTX/JavaCompilerCore#245 2018-11-04 12:11:54 +00:00
branch: bytecode2 commit: 5ddc9201f7296ff28ca0c1c6b2d790082a122682
pl opened issue JavaTX/JavaCompilerCore#37 2018-11-04 12:10:28 +00:00
branch: bytecode2 commit: 5ddc9201f7296ff28ca0c1c6b2d790082a122682 java.lang.IndexOutOfBoundsException: Index: 0, Size: 0 at java.util.ArrayList.rangeCheck(ArrayList.java:653) at java.util…
pl commented on issue JavaTX/JavaCompilerCore#36 2018-11-04 12:07:14 +00:00
Rekursiver Aufruf von Attributen Y.jav

branch: bytecode2 commit: 5ddc9201f7296ff28ca0c1c6b2d790082a122682

Y.jav und Testfile geaddet.

Mit diesem commit müsste der Typinferenz-Algorithmus die richtigen Ergebnisse ausgeben

class …

pl opened issue JavaTX/JavaCompilerCore#36 2018-11-01 07:56:34 +00:00
Im folgenden Programm wird das Attribut y im Konstruktor rekursiv aufgerufen. Dies entspricht einen rekurisiven Aufruf bei der Initialisierung, was in Java zwar explizt verboten ist, aber nur…
pl opened issue JavaTX/JavaCompilerCore#35 2018-10-08 10:48:28 +00:00
branch: bytecode2 commit: 674233e2f97a08b1d2153699c31980b2d99c3cc9 Folgender Fehler kommt bei MatrixOP.jav java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.Double…
pl commented on issue JavaTX/JavaCompilerCore#33 2018-10-05 00:27:31 +00:00
Literale in BinaryOp EQUAL bekommen TPH als Typ

commit: 674233e2f97a08b1d2153699c31980b2d99c3cc9 branch: bytecode2

Bytecodegernerierung liefert folgende Exception:

java.lang.ClassCastException: java.lang.Integer cannot be cast to java.la…

pl commented on issue JavaTX/JavaCompilerCore#33 2018-10-05 00:25:32 +00:00
Literale in BinaryOp EQUAL bekommen TPH als Typ

commit: 674233e2f97a08b1d2153699c31980b2d99c3cc9 branch: bytecode2

Problem korrigiert

pl commented on issue JavaTX/JavaCompilerCore#261 2018-09-27 16:15:59 +00:00
Operation in die Constraints der TPHs nicht angegeben

commit: 8a43839c28b5b77e7bbf0dd2a222f9ef3cacb72f

Gelöst dadurch, dass am Ende von typeInference() in JavaTXCompiler alle Gleichungen a <.? b in a =. b umgesetzt werden und mit RuleSet.subst …