class RDoc::Markdown

def _Enumerator
  _save = self.pos
  while true # sequence
    _tmp = _NonindentSpace()
    unless _tmp
      self.pos = _save
      break
    end
    _save1 = self.pos
    _save2 = self.pos
    _tmp = get_byte
    if _tmp
      unless _tmp >= 48 and _tmp <= 57
        self.pos = _save2
        _tmp = nil
      end
    end
    if _tmp
      while true
        _save3 = self.pos
        _tmp = get_byte
        if _tmp
          unless _tmp >= 48 and _tmp <= 57
            self.pos = _save3
            _tmp = nil
          end
        end
        break unless _tmp
      end
      _tmp = true
    else
      self.pos = _save1
    end
    unless _tmp
      self.pos = _save
      break
    end
    _tmp = match_string(".")
    unless _tmp
      self.pos = _save
      break
    end
    _save4 = self.pos
    _tmp = _Spacechar()
    if _tmp
      while true
        _tmp = _Spacechar()
        break unless _tmp
      end
      _tmp = true
    else
      self.pos = _save4
    end
    unless _tmp
      self.pos = _save
    end
    break
  end # end sequence
  set_failed_rule :_Enumerator unless _tmp
  return _tmp
end