Searched refs:docFilename (Results 1 – 1 of 1) sorted by relevance
686 String docFilename = FileAccess.getFilename(doc.cp_URL); in export() local688 String docExt = FileAccess.getExtension(docFilename); in export()696 ? FileAccess.getExtension(docFilename) in export()