build/js/writeFile.js

   1 importPackage(java.io);
   2
   3 function writeFile( file, stream ) {
   4         var buffer = new PrintWriter( new FileWriter( file ) );
   5         buffer.print( stream );
   6         buffer.close();
   7 }
   8
   9 function read( file ) {
  10         var jq = new File(file);
  11         var reader = new BufferedReader(new FileReader(jq));
  12         var line = null;
  13         var buffer = new java.lang.StringBuffer(jq.length());
  14         while( (line = reader.readLine()) != null) {
  15                 buffer.append(line);
  16                 buffer.append("\n");
  17         }
  18         return buffer.toString();
  19 }