Method position

src/main/java/pascal/taie/ir/IRPrinter.java:97–102

(Stmt stmt)

    }

    public static String position(Stmt stmt) {
        return "[" +
                stmt.getIndex() +
                "@L" + stmt.getLineNumber() +
                ']';
    }
}