Searched refs:dbgFile (Results 1 – 2 of 2) sorted by relevance
61 public static BufferedWriter dbgFile; field in OutputHandler134 dbgFile.write(out); in dbg()137 dbgFile.newLine(); in dbg()138 dbgFile.flush(); in dbg()165 private static void setDbgFile(BufferedWriter dbgFile) { in setDbgFile() argument166 OutputHandler.dbgFile = dbgFile; in setDbgFile()173 return dbgFile; in getDbgFile()215 if (OutputHandler.dbgFile != null) { in closeAll()216 OutputHandler.dbgFile.flush(); in closeAll()217 OutputHandler.dbgFile.close(); in closeAll()
476 OutputHandler.dbgFile = new BufferedWriter(new FileWriter( in createContentOfClParameters()
Completed in 12 milliseconds