Switching to Java 19 Frgaal compiler

[JaroslavTulach]

[ci no changelog needed]

Pull Request Description

Updating to Frgaal 19.0.0-RC1 to give us access to latest Java features including pattern matching on record classes. Builds upon #3421.

[JaroslavTulach]

With the Frgaal 19.0.0-RC1 I am able to write code like:

import java.nio.ByteBuffer;


public sealed interface Expr permits Expr.Rec, Expr.Int, Expr.Numeric, LocationFakeExpr {
    public record Int(int value) implements Expr {
    }

    public record Numeric(double value) implements Expr {
    }

    public record Rec(Expr x, Expr y) implements Expr {
        public Rec {
            if (y != null) {
                throw new IllegalStateException("Don't specify y!");
            }
            if (x instanceof LocationFakeExpr) {
                
            } else {
                throw new IllegalStateException("Provide LocationFakeExpr as x!");
            }
        }

        private LocationFakeExpr at() {
            return (LocationFakeExpr) this.x;
        }

        public Expr x() {
            return new Int(at().b().getInt(at().o()));
        }

        public Expr y() {
            return new Int(at().b().getInt(at().o() + 4));
        }
    }
    
    public static void main(String... args) {
        ByteBuffer bb = ByteBuffer.allocateDirect(10);
        bb.putInt(0, 10);
        bb.putInt(4, 20);
        
        Expr r = new Rec(new LocationFakeExpr(bb, 0), null);
        
        switch (r) {
            case Rec(Numeric x, Int y) -> {
                System.err.println("num found: " + x + " and " + y);
            }
            case Rec(Int x, Int y) -> {
                System.err.println("ints found: " + x.value() + " and " + y.value());
            }
            default ->
                System.err.println("not found: " + r);
        }
    }
}

record LocationFakeExpr(ByteBuffer b, int o) implements Expr {
}