(Stmt stmt)
| 58 | } |
| 59 | |
| 60 | public static String toString(Stmt stmt) { |
| 61 | if (stmt instanceof Invoke) { |
| 62 | return toString((Invoke) stmt); |
| 63 | } else { |
| 64 | return String.format("%s %s;", position(stmt), stmt); |
| 65 | } |
| 66 | } |
| 67 | |
| 68 | public static String toString(Invoke invoke) { |
| 69 | Formatter formatter = new Formatter(); |
no test coverage detected