Searched refs:FILE_EXTENSION (Results 1 – 1 of 1) sorted by relevance
143 outFile = new File ("index".concat (FILE_EXTENSION)); in visit()1336 itemHREF = m_reportIDNamespace.getID (getItemKey (item)).concat (FILE_EXTENSION); in getItemHREF()1418 return new File (itemKey.concat (FILE_EXTENSION)); in getItemFile()1420 return new File (parentDir, itemKey.concat (FILE_EXTENSION)); in getItemFile()1607 private static final String FILE_EXTENSION = ".html"; local