permits von sealed Interfaces funktionieren nicht wie gewünscht. #345

New Issue

RubenKraft · 2024-08-12T13:28:57Z

RubenKraft commented

2024-08-12 13:28:57 +00:00

Fehler

Durch das permits-Keyword können bei sealed Interfaces und Klassen explizit diejenigen Klassen angegeben werden, die das Interface implementieren oder von der Klasse erben dürfen. Derzeit werden jedoch die Klassen, die in der permits-Klausel genannt sind, nicht korrekt berücksichtigt. Daher kompiliert der folgende Code, obwohl dies eigentlich nicht der Fall sein sollte:

import java.lang.Integer;
import java.lang.Object;
import java.lang.Float;
import java.lang.String;

sealed interface List permits LinkedElem {} //Nur LinkedElem wird zur Implementierung zugelassen


public record LinkedElem(Integer a,List l) implements List{} //Implementiert List und wird auch permittet
public record Elem(Integer c) implements List{} //Implementiert List, wird aber nicht permittet

Im normalen Java-Compiler tritt folgender Fehler auf (der Fehlertext ist auf Deutsch, da die Spracheinstellungen meines Systems geändert wurden):

java: Klasse darf nicht verschlüsselte Klasse erweitern: List (da diese nicht in der "permits"-Klausel enthalten ist)

Steps to Reproduce

Den folgenden Code sowohl in Java als auch in JavaTX kompilieren:

import java.lang.Integer;
import java.lang.Object;
import java.lang.Float;
import java.lang.String;

sealed interface List permits LinkedElem {}


record LinkedElem(Integer a,List l) implements List{} //Implementiert List und wird auch permittet
record Elem(Integer c) implements List{} //Implementiert List, wird aber nicht permittet

public class Main{
    public static void main(String[] args) {
        System.out.println("test");
    }
}

## Fehler Durch das `permits`-Keyword können bei sealed Interfaces und Klassen explizit diejenigen Klassen angegeben werden, die das Interface implementieren oder von der Klasse erben dürfen. Derzeit werden jedoch die Klassen, die in der permits-Klausel genannt sind, nicht korrekt berücksichtigt. Daher kompiliert der folgende Code, obwohl dies eigentlich nicht der Fall sein sollte: ```java import java.lang.Integer; import java.lang.Object; import java.lang.Float; import java.lang.String; sealed interface List permits LinkedElem {} //Nur LinkedElem wird zur Implementierung zugelassen public record LinkedElem(Integer a,List l) implements List{} //Implementiert List und wird auch permittet public record Elem(Integer c) implements List{} //Implementiert List, wird aber nicht permittet ``` Im normalen Java-Compiler tritt folgender Fehler auf (der Fehlertext ist auf Deutsch, da die Spracheinstellungen meines Systems geändert wurden): ```java java: Klasse darf nicht verschlüsselte Klasse erweitern: List (da diese nicht in der "permits"-Klausel enthalten ist) ``` ## Steps to Reproduce Den folgenden Code sowohl in Java als auch in JavaTX kompilieren: ```java import java.lang.Integer; import java.lang.Object; import java.lang.Float; import java.lang.String; sealed interface List permits LinkedElem {} record LinkedElem(Integer a,List l) implements List{} //Implementiert List und wird auch permittet record Elem(Integer c) implements List{} //Implementiert List, wird aber nicht permittet public class Main{ public static void main(String[] args) { System.out.println("test"); } }

dholle commented

2024-08-20 10:51:59 +00:00

Stimmt, permits wird momentan komplett ignoriert. Sollte allerdings nicht so schwer sein das zu implementieren.

dholle added the

Feature Request

label 2024-08-20 10:52:16 +00:00

dholle self-assigned this 2024-08-20 10:52:20 +00:00

dholle commented

2024-09-13 14:10:59 +00:00

Wird jetzt abgefangen.

dholle closed this issue

2024-09-13 14:10:59 +00:00