Method toLabel

src/main/java/pascal/taie/analysis/graph/cfg/CFGDumper.java:79–89

(N node, CFG<N> cfg)

    }

    public static <N> String toLabel(N node, CFG<N> cfg) {
        if (cfg.isEntry(node)) {
            return "Entry" + cfg.getMethod();
        } else if (cfg.isExit(node)) {
            return "Exit" + cfg.getMethod();
        } else {
            return node instanceof Stmt ?
                    ((Stmt) node).getIndex() + ": " + node.toString().replace("\"", "\\\"") :
                    node.toString();
        }
    }

    private static String toDotFileName(CFG<?> cfg) {
        JMethod m = cfg.getMethod();