# File estraier.rb, line 62
    def add_text(text)
      Utility::check_types({ text=>String }) if $DEBUG
      text = text.gsub(/[ \t\r\n\v\f]+/, " ")
      text = text.lstrip.rstrip.squeeze(" ")
      @dtexts.push(text)
    end