write method

void write(String str)

Writes a string to output in the compiler's encoding.

Implementation

void write(String str) {
  output.write(str);
}