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) {
}
}
public void close() {
try {
out.close();
} catch (IOException e) {
}
}
public void sync() {
try {
out.flush();
} catch (IOException e) {
}
}
public void write(Character element) {
try {
out.write(element);
} catch (IOException e) {
}
}
