GraphParser.java 文件源码

public void enterEdgeop(@NotNull DOTParser.EdgeopContext ctx) {
    addEdges(edgeCtx.src.graph, edgeCtx.dest.graph, edgeCtx.attrs);

    if (edgeCtx.srcFlag) {
        // pointing to src, shift to populate dest
        graphCtx = edgeCtx.dest;
        edgeCtx.srcFlag = false;
    }
    else {
        // pointing to dest already, shift src/dest for next edgeop
        edgeCtx.src = edgeCtx.dest;
        edgeCtx.dest = new GraphCtx(graphCtx.parent);
        graphCtx = edgeCtx.dest;
    }
}