public String charAsString(int nchars){
  return buffer.substring(ptr,ptr + nchars);
}

public String charAsString ( int nchars ) { return buffer . substring ( ptr , ptr + nchars ) ; }
lookahead in the inputbuffer for n chars and return as a string . do not consume the input .
