javaevolved.github.io/proof/language/SealedClasses.java at main · javaevolved/javaevolved.github.io · GitHub

Sitelet https://github.com/javaevolved/javaevolved.github.io/blob/main/proof/language/SealedClasses.java

executable file

·

14 lines (13 loc) · 349 Bytes

///usr/bin/env jbang "$0" "$@" ; exit $?
/// Proof: sealed-classes
/// Source: content/language/sealed-classes.yaml
public sealed interface Shape
    permits Circle, Rect {}
public record Circle(double r)
    implements Shape {}
public record Rect(double w, double h)
    implements Shape {}
void main() {
    Shape s = new Circle(5);