if ( _pos == BufferSize ) { _writer.write( _buffer ); _pos = 0;
int length = text.length(); for ( int i = 0 ; i < length ; ++i ) { if ( _pos == BufferSize ) { _writer.write( _buffer ); _pos = 0; } _buffer[ _pos ] = text.charAt( i ); ++_pos;
    public void printText( char ch )    {        try {            if ( _pos == BufferSize ) {                _writer.write( _buffer );                _pos = 0;            }            _buffer[ _pos ] = ch;            ++_pos;        } catch ( IOException except ) {            // We don't throw an exception, but hold it            // until the end of the document.            if ( _exception == null )                _exception = except;        }    }