at_coder_friends 0.5.2 → 0.6.0

data/lib/at_coder_friends/parser/constraints_parser.rb

@@ -1,26 +0,0 @@
-# frozen_string_literal: true
-
-module AtCoderFriends
-  module Parser
-    # parses constraints
-    module ConstraintsParser
-      module_function
-
-      def process(pbm)
-        pbm.constraints = parse(pbm.desc)
-      end
-
-      def parse(desc)
-        desc
-          .gsub(/[,\\(){}|]/, '')
-          .gsub(/(≤|leq?)/i, '≦')
-          .scan(/([\da-z_]+)\s*≦\s*(\d+)(?:\^(\d+))?/i)
-          .map do |v, sz, k|
-            sz = sz.to_i
-            sz **= k.to_i if k
-            Constraint.new(v, :max, sz)
-          end
-      end
-    end
-  end
-end

data/lib/at_coder_friends/ruby_generator.rb

@@ -1,97 +0,0 @@
-# frozen_string_literal: true
-
-module AtCoderFriends
-  # generates C++ source code from definition
-  class RubyGenerator
-    TEMPLATE = <<~TEXT
-      ### DCLS ###
-
-      puts ans
-    TEXT
-
-    def process(pbm)
-      src = generate(pbm.defs)
-      pbm.add_src(:rb, src)
-    end
-
-    def generate(defs)
-      dcls = gen_decls(defs).join("\n")
-      TEMPLATE.sub('### DCLS ###', dcls)
-    end
-
-    def gen_decls(defs)
-      defs.map { |inpdef| gen_decl(inpdef) }.flatten
-    end
-
-    def gen_decl(inpdef)
-      case inpdef.container
-      when :single
-        gen_single_decl(inpdef)
-      when :harray
-        gen_harray_decl(inpdef)
-      when :varray
-        if inpdef.names.size == 1
-          gen_varray_1_decl(inpdef)
-        else
-          gen_varray_n_decl(inpdef)
-        end
-      when :matrix
-        gen_matrix_decl(inpdef)
-      end
-    end
-
-    def gen_single_decl(inpdef)
-      names = inpdef.names
-      dcl = names.join(', ')
-      expr = gen_expr(inpdef.item, names.size > 1)
-      "#{dcl} = #{expr}"
-    end
-
-    def gen_harray_decl(inpdef)
-      v = inpdef.names[0]
-      dcl = "#{v}s"
-      expr = gen_expr(inpdef.item, true)
-      "#{dcl} = #{expr}"
-    end
-
-    def gen_varray_1_decl(inpdef)
-      v = inpdef.names[0]
-      sz = inpdef.size[0]
-      dcl = "#{v}s"
-      expr = gen_expr(inpdef.item, false)
-      "#{dcl} = Array.new(#{sz}) { #{expr} }"
-    end
-
-    def gen_varray_n_decl(inpdef)
-      names = inpdef.names
-      sz = inpdef.size[0]
-      dcl = names.map { |v| "#{v}s[i]" }.join(', ')
-      expr = gen_expr(inpdef.item, true)
-      ret = []
-      ret += names.map { |v| "#{v}s = Array.new(#{sz})" }
-      ret << "#{sz}.times do |i|"
-      ret << "  #{dcl} = #{expr}"
-      ret << 'end'
-      ret
-    end
-
-    def gen_matrix_decl(inpdef)
-      v = inpdef.names[0]
-      sz = inpdef.size[0]
-      decl = "#{v}ss"
-      expr = gen_expr(inpdef.item, true)
-      "#{decl} = Array.new(#{sz}) { #{expr} }"
-    end
-
-    def gen_expr(item, split)
-      case item
-      when :number
-        split ? 'gets.split.map(&:to_i)' : 'gets.to_i'
-      when :string
-        split ? 'gets.chomp.split' : 'gets.chomp'
-      when :char
-        'gets.chomp'
-      end
-    end
-  end
-end

data/tasks/regression.rake

@@ -1,163 +0,0 @@
-# frozen_string_literal: true
-
-require 'net/http'
-require 'uri'
-require 'json'
-require 'mechanize'
-require 'at_coder_friends'
-
-module AtCoderFriends
-  # tasks for regression test
-  module Regression
-    module_function
-
-    CONTEST_LIST_URL = 'https://kenkoooo.com/atcoder/resources/contests.json'
-    ACF_HOME = File.realpath(File.join(__dir__, '..'))
-    REGRESSION_HOME = File.join(ACF_HOME, 'regression')
-    PAGES_DIR = File.join(REGRESSION_HOME, 'pages')
-    EMIT_ORG_DIR = File.join(REGRESSION_HOME, 'emit_org')
-    EMIT_DIR_FMT = File.join(REGRESSION_HOME, 'emit_%<now>s')
-
-    def setup
-      rmdir_force(PAGES_DIR)
-      rmdir_force(EMIT_ORG_DIR)
-      contest_id_list.each do |contest|
-        begin
-          ctx = context(EMIT_ORG_DIR, contest)
-          ctx.scraping_agent.fetch_all do |pbm|
-            begin
-              html_path = File.join(PAGES_DIR, contest, "#{pbm.q}.html")
-              save_file(html_path, pbm.page.body)
-              pipeline(ctx, pbm)
-            rescue StandardError => e
-              p e
-            end
-          end
-        rescue StandardError => e
-          p e
-        end
-        sleep 3
-      end
-    end
-
-    def check_diff
-      emit_dir = format(EMIT_DIR_FMT, now: Time.now.strftime('%Y%m%d%H%M%S'))
-      rmdir_force(emit_dir)
-
-      local_pbm_list.each do |contest, q, url|
-        ctx = context(emit_dir, contest)
-        pbm = ctx.scraping_agent.fetch_problem(q, url)
-        pipeline(ctx, pbm)
-      end
-
-      system("diff -r #{EMIT_ORG_DIR} #{emit_dir}")
-    end
-
-    def section_list
-      agent = Mechanize.new
-      list = local_pbm_list.flat_map do |contest, q, url|
-        page = agent.get(url)
-        %w[h2 h3].flat_map do
-          page.search('h3').map do |h3|
-            { contest: contest, q: q, text: normalize(h3.content) }
-          end
-        end
-      end
-      list.group_by { |sec| sec[:text] }.each do |k, vs|
-        puts [k, vs.size, vs[0][:contest], vs[0][:q]].join("\t")
-      end
-    end
-
-    def check_parse
-      parse_list
-        .select { |_, _, no_fmt, no_smp| no_fmt || no_smp }
-        .map { |c, q, no_fmt, no_smp| [c, q, f_to_s(no_fmt), f_to_s(no_smp)] }
-        .sort
-        .each { |args| puts args.join("\t") }
-    end
-
-    def parse_list
-      local_pbm_list.map do |contest, q, url|
-        ctx = context('', contest)
-        pbm = ctx.scraping_agent.fetch_problem(q, url)
-        Parser::Main.process(pbm)
-        no_fmt = pbm.fmt.empty?
-        no_smp = pbm.smps.all? { |smp| smp.txt.empty? }
-        [contest, q, no_fmt, no_smp]
-      end
-    end
-
-    def f_to_s(f)
-      f ? '◯' : '-'
-    end
-
-    def contest_id_list
-      uri = URI.parse(CONTEST_LIST_URL)
-      json = Net::HTTP.get(uri)
-      contests = JSON.parse(json)
-      puts "Total #{contests.size} contests"
-      contests.map { |h| h['id'] }
-    end
-
-    def local_pbm_list
-      Dir.glob(PAGES_DIR + '/**/*.html').map do |pbm_path|
-        contest = File.basename(File.dirname(pbm_path))
-        q = File.basename(pbm_path, '.html')
-        url = "file://#{pbm_path}"
-        [contest, q, url]
-      end
-    end
-
-    def context(root, contest)
-      Context.new({}, File.join(root, contest))
-    end
-
-    def rmdir_force(dir)
-      FileUtils.rm_r(dir) if Dir.exist?(dir)
-    end
-
-    def save_file(path, content)
-      dir = File.dirname(path)
-      FileUtils.makedirs(dir) unless Dir.exist?(dir)
-      File.binwrite(path, content)
-    end
-
-    def pipeline(ctx, pbm)
-      @rb_gen ||= RubyGenerator.new
-      @cxx_gen ||= CxxGenerator.new
-      Parser::Main.process(pbm)
-      @rb_gen.process(pbm)
-      @cxx_gen.process(pbm)
-      ctx.emitter.emit(pbm)
-    end
-
-    def normalize(s)
-      s
-        .tr('　０-９Ａ-Ｚａ-ｚ', ' 0-9A-Za-z')
-        .gsub(/[^一-龠_ぁ-ん_ァ-ヶーa-zA-Z0-9 ]/, '')
-        .strip
-    end
-  end
-end
-
-namespace :regression do
-  desc 'setup regression environment'
-  task :setup do
-    AtCoderFriends::Regression.setup
-  end
-
-  desc 'run regression check'
-  task :check_diff do
-    AtCoderFriends::Regression.check_diff
-  end
-
-  desc 'list all section titles'
-  task :section_list do
-    AtCoderFriends::Regression.section_list
-  end
-
-  desc 'checks page parse result'
-  task :check_parse do
-    AtCoderFriends::Regression.check_parse
-  end
-end