Write a given WyilFile to disk using the given directory as a root. @param wf @param dir @throws IOException
(File dir, Trie target, WyilFile wf)
| 275 | * @throws IOException |
| 276 | */ |
| 277 | public static void writeWyilFile(File dir, Trie target, WyilFile wf) throws IOException { |
| 278 | // First, determine filename |
| 279 | String filename = target.toNativeString() + ".wyil"; |
| 280 | // First, determine filename |
| 281 | try (FileOutputStream fout = new FileOutputStream(new File(dir, filename))) { |
| 282 | new WyilFileWriter(fout).write(wf); |
| 283 | fout.flush(); |
| 284 | } |
| 285 | } |
| 286 | |
| 287 | // ============================================================================= |
| 288 | // Syntactic Markers |
no test coverage detected