(String filename, Document d)
| 638 | public void writeOutDocument(String filename, Document d) throws IOException { |
| 639 | |
| 640 | String prefix = new File(filename).getParent() + "/"; |
| 641 | |
| 642 | for (External e : d.externalList) |
| 643 | writeOutExternal(prefix, e); |
| 644 | |
| 645 | writeToFile(filenameFor(filename), serializeToString(d)); |
| 646 | } |
| 647 | |
| 648 | protected void writeOutExternal(String defaultPrefix, External external) throws IOException { |
| 649 | for (Map.Entry<String, String> e : external.textFiles.entrySet()) { |
| 650 | String text = external.box.properties.get(new Dict.Prop<String>(e.getKey())); |
| 651 | if (text == null) continue; |
no test coverage detected