monad-like return type for Rewriter::rewrite

[lueck]

It would be desirable, if we could declare a monadic return type on Rewriter::rewrite with a type parameter, M<P2>; and then use, e.g., the identity monad for normalizers, the list monad for forward mappers, the maybe monad java.util.Optional for reverse mappers.

However, that cannot be expressed in the Java type system. Can it?

That does not compile:

public interface Rewriter<M<?>, R extends Resource<?>, P1 extends Point, P2 extends Point> {

    public M<P2> rewrite(R resource, P1 position, RewriterConfig config) throws SelectorException;

}

Assignees: @lueck

Migrated from GitLab: https://zivgitlab.uni-muenster.de/SCDH/selectors/selection-engine/-/issues/14

[lueck]

mentioned in commit ce5483c

[lueck]

Above code tried in ce5483c, but compilation stops with error:

[ERROR] COMPILATION ERROR : 
[INFO] -------------------------------------------------------------
[ERROR] /home/clueck/src/scdh/selectors/selection-engine/core/src/main/java/de/wwu/scdh/annotation/selection/Rewriter.java:[10,28] > expected
[ERROR] /home/clueck/src/scdh/selectors/selection-engine/core/src/main/java/de/wwu/scdh/annotation/selection/Rewriter.java:[30,12] class, interface, enum, or record expected
[ERROR] /home/clueck/src/scdh/selectors/selection-engine/core/src/main/java/de/wwu/scdh/annotation/selection/Rewriter.java:[32,1] class, interface, enum, or record expected

[lueck]

mentioned in commit 1cba7e7