int getReadDocComments()
Returns the number of documentation comments that have been returned by readToken() .