Esempio n. 1
0
 /**
  * Writes a string to a file. Note that this method appends a carriage return-line feed, you do
  * not need to add \n to the end of the string you want written.
  *
  * @param s the string you want written.
  */
 public void writeln(String s) {
   char[] newline = {13, 10};
   write(s + newline);
 }
Esempio n. 2
0
 // -------------------------------------------------------------------
 public static void init(int numOfStripes) {
   FileIO.write("", FILENAME);
 }