public char previous(){
  if (--_pos < 0) {
    _pos=0;
    return DONE;
  }
 else   return _string.charAt(_pos);
}

public char previous ( ) { if ( -- _pos < 0 ) { _pos = 0 ; return DONE ; } else return _string . charAt ( _pos ) ; }
reads a character from the cursor
