alef-backend-java 0.15.13

Java (Panama FFM) backend for alef
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

{{ header }}package {{ package }};

/** Controls how the visitor affects the conversion pipeline. */
public sealed interface VisitResult
        permits VisitResult.Continue, VisitResult.Skip, VisitResult.PreserveHtml,
                VisitResult.Custom, VisitResult.Error {

    /** Proceed with default conversion. */
    record Continue() implements VisitResult {}

    /** Omit this element from output entirely. */
    record Skip() implements VisitResult {}

    /** Keep original HTML verbatim. */
    record PreserveHtml() implements VisitResult {}

    /** Replace with custom Markdown. */
    record Custom(String markdown) implements VisitResult {}

    /** Abort conversion with an error message. */
    record Error(String message) implements VisitResult {}

    /** Convenience: continue with default conversion. */
    static VisitResult continueDefault() { return new Continue(); }

    /** Convenience: skip this element. */
    static VisitResult skip() { return new Skip(); }

    /** Convenience: preserve original HTML. */
    static VisitResult preserveHtml() { return new PreserveHtml(); }

    /** Convenience: emit custom Markdown. */
    static VisitResult custom(String markdown) { return new Custom(markdown); }

    /** Convenience: abort with error. */
    static VisitResult error(String message) { return new Error(message); }

    /** Alias for {@link #continueDefault()}. */
    static VisitResult continue_() { return new Continue(); }
}