Method getIndex

src/main/java/pascal/taie/analysis/graph/cfg/StmtCFG.java:50–59

(Stmt stmt)

    }

    @Override
    public int getIndex(Stmt stmt) {
        if (isEntry(stmt)) {
            return 0;
        } else if (isExit(stmt)) {
            return ir.getStmts().size() + 1;
        } else {
            return stmt.getIndex() + 1;
        }
    }

    @Override
    public Stmt getNode(int index) {