Gecko [ tsuru-no-tsurugi.tokyo ]

Linux tsuru-no-tsurugi 5.15.0-186-generic #196-Ubuntu SMP Sat Jun 20 16:09:34 UTC 2026 x86_64
Apache/2.4.52 (Ubuntu)
Server IP : 192.168.0.18 & Your IP : 216.73.216.68
Domains : Cant Read [ /etc/named.conf ]
User : www-data

Name	Size	Permission	Date
ast	[ DIR ]	drwxr-xr-x	2026-07-06 06:50
definition_builder	[ DIR ]	drwxr-xr-x	2026-07-06 06:50
prototype	[ DIR ]	drwxr-xr-x	2026-07-06 06:50
test	[ DIR ]	drwxr-xr-x	2026-07-06 06:50
buffer.rb	890 B	-rw-r--r--	2021-07-07 19:08
builtin_names.rb	1.56 KB	-rw-r--r--	2021-07-07 19:08
cli.rb	21.91 KB	-rw-r--r--	2021-07-07 19:08
constant.rb	461 B	-rw-r--r--	2021-07-07 19:08
constant_table.rb	4.89 KB	-rw-r--r--	2021-07-07 19:08
definition.rb	9.17 KB	-rw-r--r--	2021-07-07 19:08
definition_builder.rb	29.39 KB	-rw-r--r--	2021-07-07 19:08
environment.rb	13.72 KB	-rw-r--r--	2021-07-07 19:08
environment_loader.rb	3.06 KB	-rw-r--r--	2021-07-07 19:08
environment_walker.rb	4.11 KB	-rw-r--r--	2021-07-07 19:08
errors.rb	8.66 KB	-rw-r--r--	2021-07-07 19:08
factory.rb	301 B	-rw-r--r--	2021-07-07 19:08
location.rb	2.31 KB	-rw-r--r--	2021-07-07 19:08
method_type.rb	2.15 KB	-rw-r--r--	2021-07-07 19:08
namespace.rb	2.12 KB	-rw-r--r--	2021-07-07 19:08
parser.rb	95.03 KB	-rw-r--r--	2021-07-07 19:08
parser.y	45.51 KB	-rw-r--r--	2021-07-07 19:08
repository.rb	2.64 KB	-rw-r--r--	2021-07-07 19:08
substitution.rb	1.23 KB	-rw-r--r--	2021-07-07 19:08
test.rb	2.57 KB	-rw-r--r--	2021-07-07 19:08
type_name.rb	1.61 KB	-rw-r--r--	2021-07-07 19:08
type_name_resolver.rb	1.56 KB	-rw-r--r--	2021-07-07 19:08
types.rb	25.19 KB	-rw-r--r--	2021-07-07 19:08
validator.rb	1.76 KB	-rw-r--r--	2021-07-07 19:08
variance_calculator.rb	3.89 KB	-rw-r--r--	2021-07-07 19:08
vendorer.rb	2.03 KB	-rw-r--r--	2021-07-07 19:08
version.rb	35 B	-rw-r--r--	2021-07-07 19:08
writer.rb	8.12 KB	-rw-r--r--	2021-07-07 19:08

Rename

module RBS
  class Substitution
    attr_reader :mapping
    attr_accessor :instance_type

def empty?
      mapping.empty? && instance_type.nil?
    end

def initialize()
      @mapping = {}
    end

def add(from:, to:)
      mapping[from] = to
    end

def self.build(variables, types, instance_type: nil, &block)
      unless variables.size == types.size
        raise "Broken substitution: variables=#{variables}, types=#{types}"
      end

mapping = variables.zip(types).to_h

self.new.tap do |subst|
        mapping.each do |v, t|
          type = block_given? ? yield(t) : t
          subst.add(from: v, to: type)
        end

subst.instance_type = instance_type
      end
    end

def apply(ty)
      case ty
      when Types::Variable
        # @type var ty: Types::Variable
        mapping[ty.name] || ty
      when Types::Bases::Instance
        if t = instance_type
          t
        else
          ty
        end
      else
        ty
      end
    end

def without(*vars)
      Substitution.new.tap do |subst|
        subst.mapping.merge!(mapping)
        vars.each do |var|
          subst.mapping.delete(var)
        end

subst.instance_type = self.instance_type
      end
    end
  end
end