main.dot.org.antlr.v4.runtime.atn.images.PositiveClosureGreedy.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"];
            {   rank="source";
                PlusBlockStartState[URL="../PlusBlockStartState.html";label="{PlusBlockStartState | { alt 1 | alt 2 | ·\n·\n· | alt n}}"];
            }

            PlusLoopbackState[URL="../PlusLoopbackState.html";label="{PlusLoopbackState | { alt 1 | alt 2}}"];
            BlockEndState[URL="../BlockEndState.html"];

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

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

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

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

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

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

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

    BlockEndState -> PlusLoopbackState[label="ε"];
    PlusLoopbackState:alt1:n -> PlusBlockStartState:n[label="ε"];
    PlusLoopbackState:alt2 -> LoopEndState[label="ε"];
}