Example #1
0
 /// <summary>
 /// Writes a newline.
 /// </summary>
 public void write_newline()
 {
     stream.putc('\n');
     current_line_number++;
     _bol = true;
 }