(Term t)
| 261 | } |
| 262 | |
| 263 | public boolean methodInstanceTermIsJNull(Term t) { |
| 264 | return t.hasFunctor("@", 1) && t.arg(1).hasFunctor("null", 0); |
| 265 | } |
| 266 | |
| 267 | public static void hello() { |
| 268 | System.out.println("hello"); |
nothing calls this directly
no test coverage detected