Beispiel #1
0
  public void write_all(readonly_list<Character> elements) {
    String s;

    if (elements instanceof string) {
      s = utilities.s((string) elements);
    } else {
      StringBuilder builder = new StringBuilder();
      for (int i = 0; i < elements.size(); ++i) {
        builder.append(elements.get(i));
      }
      s = builder.toString();
    }

    try {
      out.write(s);
    } catch (IOException e) {
    }
  }
Beispiel #2
0
 public void close() {
   try {
     out.close();
   } catch (IOException e) {
   }
 }
Beispiel #3
0
 public void sync() {
   try {
     out.flush();
   } catch (IOException e) {
   }
 }
Beispiel #4
0
 public void write(Character element) {
   try {
     out.write(element);
   } catch (IOException e) {
   }
 }