Probleme bei komplexen Typberechnungen #22

Closed
opened 2025-01-28 16:31:04 +00:00 by RubenKraft · 2 comments
Owner

Bei der Berechnung der Typen wird nichtdeterministisch ein Fehler im Compiler geworfen.

2025-01-28 18:39:01 ERROR [JavaTXTextDocumentService] Fehler in der Anzeige der Typen: null
java.base/jdk.internal.reflect.DirectConstructorHandleAccessor.newInstance(DirectConstructorHandleAccessor.java:62)
java.base/java.lang.reflect.Constructor.newInstanceWithCaller(Constructor.java:502)
java.base/java.lang.reflect.Constructor.newInstance(Constructor.java:486)
java.base/java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:542)
java.base/java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:567)
java.base/java.util.concurrent.ForkJoinTask.join(ForkJoinTask.java:653)
java.base/java.util.concurrent.ForkJoinPool.invoke(ForkJoinPool.java:2822)
de.dhbw.compiler.typeinference.unify.TypeUnify.unifyParallel(TypeUnify.java:78)
de.dhbw.compiler.core.JavaTXCompiler.getResultSetAndAbstractSyntax(JavaTXCompiler.java:406)
de.dhbw.compiler.languageServerInterface.LanguageServerInterface.getResultSetAndAbstractSyntax(LanguageServerInterface.java:34)
de.dhbw.helper.TypeResolver.infereMethodsWithParameters(TypeResolver.java:129)
de.dhbw.JavaTXTextDocumentService.lambda$inlayHint$2(JavaTXTextDocumentService.java:161)
java.base/java.util.concurrent.CompletableFuture$AsyncSupply.run(CompletableFuture.java:1768)
java.base/java.util.concurrent.CompletableFuture$AsyncSupply.exec(CompletableFuture.java:1760)
java.base/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:387)
java.base/java.util.concurrent.ForkJoinPool$WorkQueue.topLevelExec(ForkJoinPool.java:1312)
java.base/java.util.concurrent.ForkJoinPool.scan(ForkJoinPool.java:1843)
java.base/java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1808)
java.base/java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:188)
Bei der Berechnung der Typen wird nichtdeterministisch ein Fehler im Compiler geworfen. ```java 2025-01-28 18:39:01 ERROR [JavaTXTextDocumentService] Fehler in der Anzeige der Typen: null java.base/jdk.internal.reflect.DirectConstructorHandleAccessor.newInstance(DirectConstructorHandleAccessor.java:62) java.base/java.lang.reflect.Constructor.newInstanceWithCaller(Constructor.java:502) java.base/java.lang.reflect.Constructor.newInstance(Constructor.java:486) java.base/java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:542) java.base/java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:567) java.base/java.util.concurrent.ForkJoinTask.join(ForkJoinTask.java:653) java.base/java.util.concurrent.ForkJoinPool.invoke(ForkJoinPool.java:2822) de.dhbw.compiler.typeinference.unify.TypeUnify.unifyParallel(TypeUnify.java:78) de.dhbw.compiler.core.JavaTXCompiler.getResultSetAndAbstractSyntax(JavaTXCompiler.java:406) de.dhbw.compiler.languageServerInterface.LanguageServerInterface.getResultSetAndAbstractSyntax(LanguageServerInterface.java:34) de.dhbw.helper.TypeResolver.infereMethodsWithParameters(TypeResolver.java:129) de.dhbw.JavaTXTextDocumentService.lambda$inlayHint$2(JavaTXTextDocumentService.java:161) java.base/java.util.concurrent.CompletableFuture$AsyncSupply.run(CompletableFuture.java:1768) java.base/java.util.concurrent.CompletableFuture$AsyncSupply.exec(CompletableFuture.java:1760) java.base/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:387) java.base/java.util.concurrent.ForkJoinPool$WorkQueue.topLevelExec(ForkJoinPool.java:1312) java.base/java.util.concurrent.ForkJoinPool.scan(ForkJoinPool.java:1843) java.base/java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1808) java.base/java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:188) ```
Author
Owner

Hängt mit zusammen

Hängt mit https://gitea.hb.dhbw-stuttgart.de/RubenKraft/JavaTXLanguageServer/issues/15 zusammen
RubenKraft added the
Bug
Compiler Interface
Server
labels 2025-01-29 17:02:08 +00:00
Author
Owner

Hängt nicht mit zusammen.
Die Typinferenz wirft hier einen Fehler, der nichts mit einem vorzeigtigen Abbruch zu tun hat. Der Fehler ist nicht deterministisch, könnte aber theoretisch mit der temporär erstellten Datei zu tun haben, die benötigt wird um den Compiler aufzurufen.

Hängt nicht mit #15 zusammen. Die Typinferenz wirft hier einen Fehler, der nichts mit einem vorzeigtigen Abbruch zu tun hat. Der Fehler ist nicht deterministisch, könnte aber theoretisch mit der temporär erstellten Datei zu tun haben, die benötigt wird um den Compiler aufzurufen.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: RubenKraft/JavaTXLanguageServer#22
No description provided.