(WyilFile wf)
| 177 | // ========================================================================= |
| 178 | |
| 179 | @Override |
| 180 | public boolean check(WyilFile wf) { |
| 181 | for (Decl decl : wf.getModule().getUnits()) { |
| 182 | checkDeclaration(decl); |
| 183 | } |
| 184 | return status; |
| 185 | } |
| 186 | |
| 187 | // ========================================================================= |
| 188 | // Declarations |
no test coverage detected