Records landen doppelt in den verfügbaren Klassen. #342

New Issue

RubenKraft · 2024-08-01T14:33:37Z

RubenKraft commented

2024-08-01 14:33:37 +00:00

In der Klasse TYPEStmt gibt es das Feld info vom Typ TypeInferenceBlockInformation. Dieses Feld enthält neben anderen Informationen auch alle bekannten Klassen.

Bei meinen Tests mit Records ist mir aufgefallen, dass die Record-Klassen doppelt in der Liste availableClasses vorkommen. (siehe Screenshot) Sowohl die Felder als auch die Namen sind identisch. Bei allen anderen Klassen ist dies nicht der Fall.

Dies ist höchstwahrscheinlich ein Bug, der sich negativ auf die Laufzeit auswirken kann.

Steps to Reproduce:

Um den Fehler zu reproduzieren, können folgende Schritte befolgt werden:

Auf die Branch patternMatching wechseln.
Den Test testSwitchInfered ausführen.
Einen Breakpoint in Zeile 868 oder 867 setzen. (IntelliJ zeigt Variablen in der Debug-Variablen-Liste erst nach initialisierung an, daher macht ein Breakpoint in Zeile 868 mehr Sinn)
Inspektiere die Variable allClasses, die die Liste der Klassen enthält.

In der Klasse TYPEStmt gibt es das Feld info vom Typ TypeInferenceBlockInformation. Dieses Feld enthält neben anderen Informationen auch alle bekannten Klassen. Bei meinen Tests mit Records ist mir aufgefallen, dass die Record-Klassen doppelt in der Liste `availableClasses` vorkommen. (siehe Screenshot) Sowohl die Felder als auch die Namen sind identisch. Bei allen anderen Klassen ist dies nicht der Fall. <img width="275" alt="image" src="attachments/85047a35-dac9-4a42-b4a5-3851f0edb831"> Dies ist höchstwahrscheinlich ein Bug, der sich negativ auf die Laufzeit auswirken kann. ## Steps to Reproduce: Um den Fehler zu reproduzieren, können folgende Schritte befolgt werden: 1. Auf die Branch patternMatching wechseln. 2. Den Test `testSwitchInfered` ausführen. 3. Einen Breakpoint in Zeile 868 oder 867 setzen. (IntelliJ zeigt Variablen in der Debug-Variablen-Liste erst nach initialisierung an, daher macht ein Breakpoint in Zeile 868 mehr Sinn) 4. Inspektiere die Variable `allClasses`, die die Liste der Klassen enthält.

image.png

45 KiB

RubenKraft added the

Parser

label 2024-08-01 14:33:37 +00:00

dholle commented

2024-08-05 09:58:00 +00:00

Sollte in 7785c2d0aa gefixt sein. Konnte es leider nicht testen wegen dem hier:

		src/test/java/targetast/TestCodegen.java
		Line 87 in cc8f36d3ec
	
				        try (FileOutputStream fos = new FileOutputStream("C:\\Users\\ruben\\Desktop\\asd\\test.class")) {

Sollte in 7785c2d0aa gefixt sein. Konnte es leider nicht testen wegen dem hier: https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore/src/commit/cc8f36d3ecfc87f5c909b428c67ed1c6ae83b5a9/src/test/java/targetast/TestCodegen.java#L87

RubenKraft commented

2024-08-05 12:27:45 +00:00

ah, sorry, das hatte ich noch zum Debuggen drin.
Ich teste das nachher kurz.

Falls alles passt schließe ich den Issue dann.

ah, sorry, das hatte ich noch zum Debuggen drin. Ich teste das nachher kurz. Falls alles passt schließe ich den Issue dann.

RubenKraft closed this issue

2024-08-05 13:47:06 +00:00

Sign in to join this conversation.