(String defaultSubDirectory, External ex, Box box)
| 765 | // .iterator() |
| 766 | // .next() + ".box"; |
| 767 | // } |
| 768 | return makeFilenameFor(defaultSubDirectory, ".box", "", box); |
| 769 | } |
| 770 | |
| 771 | private String makeFilenameFor(String defaultSubDirectory, Filespec f, Box box) { |
| 772 | return makeFilenameFor(defaultSubDirectory, f.getDefaultSuffix(box), safe(f.name), box); |
| 773 | } |
| 774 | |
| 775 | private String makeFilenameFor(String defaultSubDirectory, String defaultSuffix, String defaultName, Box box) { |
| 776 | |
| 777 | String name = box.properties.get(Box.name); |
no test coverage detected