GraphParser.java 文件源码

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

    // leave nested ctx, pop previous parent ctx
    edgeCtx = edgeCtx.parent;
    graphCtx = graphCtx.parent;
}