900901902903904905906907
private static void closeWriteFile(PrintWriter writerOut,String fileName){ try{ writerOut.flush(); streamOut.close(); } catch (IOException e) { throw new CompilationDeathException("Cannot output file " + fileName); } }
9596979899100101102103104105
writeMetricLists(writerOut); writerOut.flush(); streamOut.close(); } catch (IOException e) { throw new CompilationDeathException("Cannot output file " + metricListFileName); } } else if (args[0].equals("-tables")){ metricListFileName(args);
889890891892893894895896897
PrintWriter writerOut; try{ streamOut = new FileOutputStream(fileName); writerOut = new PrintWriter(new OutputStreamWriter(streamOut)); } catch (IOException e) { throw new CompilationDeathException("Cannot output file " + fileName); } return writerOut; }