()
| 40 | } |
| 41 | |
| 42 | @Override |
| 43 | public WyilFile read() throws IOException { |
| 44 | Pair<Integer, Syntactic.Item[]> p = readItems(); |
| 45 | return new WyilFile(p.first(), p.second(), majorVersion, minorVersion); |
| 46 | } |
| 47 | |
| 48 | @Override |
| 49 | protected Schema checkHeader() throws IOException { |