main.dot.org.antlr.v4.runtime.atn.images.ClosureNonGreedy.dot Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of virtdata-lib-realer Show documentation

With inspiration from other libraries

There is a newer version: 2.12.15

digraph "" {
    graph[fontname="CourierNew";rankdir="LR";pad="0.25"];
    node[fontname="CourierNew";target="_parent"];
    edge[fontname="CourierNew"];
    subgraph cluster0 {
        color="invis";
        {   node[shape="record"];
            StarLoopEntryState[URL="../StarLoopEntryState.html";label="{StarLoopEntryState | { alt 1 | alt 2}}"];
            StarLoopbackState[URL="../StarLoopbackState.html"];
            StarBlockStartState[URL="../StarBlockStartState.html";label="{StarBlockStartState | { alt 1 | alt 2 | ·\n·\n· | alt n}}"];
            BlockEndState[URL="../BlockEndState.html"];

            {   rank="sink";
                LoopEndState[URL="../LoopEndState.html";rank="max"];
            }
        }

        {   node[style="dashed"];
            content1[label="alt 1"];
            content2[label="alt 2"];
            more[label="alt n"];
        }
    }

    {   node[style="dashed"];
        begin;
        end;
    }

    begin -> StarLoopEntryState[style="dashed"];
    LoopEndState -> end[label="ε"];

    StarBlockStartState:alt1 -> content1[label="ε"];
    content1 -> BlockEndState[style="dashed"];

    StarBlockStartState:alt2 -> content2[label="ε"];
    content2 -> BlockEndState[style="dashed"];

    StarBlockStartState:altn -> more[label="ε"];
    more -> BlockEndState[style="dashed"];

    BlockEndState:e -> StarLoopbackState:w[label="ε"];
    StarLoopEntryState:alt2 -> StarBlockStartState[label="ε"];
    StarLoopEntryState:alt1 -> LoopEndState[label="ε"];
    StarLoopbackState:s -> StarLoopEntryState:s[label="ε"];
}