Method toString

src/main/java/pascal/taie/ir/stmt/JumpStmt.java:37–40

Convert a target statement to its String representation.

(Stmt target)

     * Convert a target statement to its String representation.
     */
    public String toString(Stmt target) {
        return target == null ?
                "[unknown]" : Integer.toString(target.getIndex());
    }
}