Searched refs:baseFileName (Results 1 – 1 of 1) sorted by relevance
107 … public FormattedFileWriter(String baseFileName, String title, String explanation, Anchors anchors) in FormattedFileWriter() argument110 if (baseFileName == null) { in FormattedFileWriter()111 baseFileName = FileUtilities.anchorize(title); in FormattedFileWriter()114 this.filename = baseFileName; in FormattedFileWriter()