Searched refs:dumpFileName (Results 1 – 1 of 1) sorted by relevance
262 static public void dumpFile(String baseFileName, String dumpFileName) { in dumpFile() argument264 saveCharFileVector(dumpFileName, fileContent); in dumpFile()
Completed in 16 milliseconds