Gecko [ tsuru-no-tsurugi.tokyo ]

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
  module MethodNameHelper
    def method_name_string()
      separator = case kind
                  when :instance
                    "#"
                  when :singleton
                    "."
                  else
                    raise
                  end

"#{type_name}#{separator}#{method_name}"
    end
  end

class InvalidTypeApplicationError < StandardError
    attr_reader :type_name
    attr_reader :args
    attr_reader :params
    attr_reader :location

def initialize(type_name:, args:, params:, location:)
      @type_name = type_name
      @args = args
      @params = params
      @location = location
      super "#{Location.to_string location}: #{type_name} expects parameters [#{params.join(", ")}], but given args [#{args.join(", ")}]"
    end

def self.check!(type_name:, args:, params:, location:)
      unless args.size == params.size
        raise new(type_name: type_name, args: args, params: params, location: location)
      end
    end
  end

class RecursiveAncestorError < StandardError
    attr_reader :ancestors
    attr_reader :location

def initialize(ancestors:, location:)
      @ancestors = ancestors
      @location = location

names = ancestors.map do |ancestor|
        case ancestor
        when Definition::Ancestor::Singleton
          "singleton(#{ancestor.name})"
        when Definition::Ancestor::Instance
          if ancestor.args.empty?
            ancestor.name.to_s
          else
            "#{ancestor.name}[#{ancestor.args.join(", ")}]"
          end
        end
      end

super "#{Location.to_string location}: Detected recursive ancestors: #{names.join(" < ")}"
    end

def self.check!(self_ancestor, ancestors:, location:)
      case self_ancestor
      when Definition::Ancestor::Instance
        if ancestors.any? {|a| a.is_a?(Definition::Ancestor::Instance) && a.name == self_ancestor.name }
          raise new(ancestors: ancestors + [self_ancestor], location: location)
        end
      when Definition::Ancestor::Singleton
        if ancestors.include?(self_ancestor)
          raise new(ancestors: ancestors + [self_ancestor], location: location)
        end
      end
    end
  end

class NoTypeFoundError < StandardError
    attr_reader :type_name
    attr_reader :location

def initialize(type_name:, location:)
      @type_name = type_name
      @location = location

super "#{Location.to_string location}: Could not find #{type_name}"
    end

def self.check!(type_name, env:, location:)
      dic = case
            when type_name.class?
              env.class_decls
            when type_name.alias?
              env.alias_decls
            when type_name.interface?
              env.interface_decls
            else
              raise
            end

dic.key?(type_name) or raise new(type_name: type_name, location: location)

type_name
    end
  end

class NoSuperclassFoundError < StandardError
    attr_reader :type_name
    attr_reader :location

def initialize(type_name:, location:)
      @type_name = type_name
      @location = location

super "#{Location.to_string location}: Could not find super class: #{type_name}"
    end

def self.check!(type_name, env:, location:)
      env.class_decls.key?(type_name) or raise new(type_name: type_name, location: location)
    end
  end

class NoSelfTypeFoundError < StandardError
    attr_reader :type_name
    attr_reader :location

def initialize(type_name:, location:)
      @type_name = type_name
      @location = location

super "#{Location.to_string location}: Could not find self type: #{type_name}"
    end

def self.check!(self_type, env:)
      type_name = self_type.name

dic = case
            when type_name.class?
              env.class_decls
            when type_name.interface?
              env.interface_decls
            else
              raise
            end

dic.key?(type_name) or raise new(type_name: type_name, location: self_type.location)
    end
  end

class NoMixinFoundError < StandardError
    attr_reader :type_name
    attr_reader :member

def initialize(type_name:, member:)
      @type_name = type_name
      @member = member

super "#{Location.to_string location}: Could not find mixin: #{type_name}"
    end

def location
      member.location
    end

def self.check!(type_name, env:, member:)
      dic = case
            when type_name.class?
              env.class_decls
            when type_name.interface?
              env.interface_decls
            else
              raise
            end

dic.key?(type_name) or raise new(type_name: type_name, member: member)
    end
  end

class DuplicatedMethodDefinitionError < StandardError
    attr_reader :type
    attr_reader :method_name
    attr_reader :members

def initialize(type:, method_name:, members:)
      @type = type
      @method_name = method_name
      @members = members

message = "#{Location.to_string location}: #{qualified_method_name} has duplicated definitions"
      if members.size > 1
        message << " in #{other_locations.map { |loc| Location.to_string loc }.join(', ')}"
      end
      super message
    end

def qualified_method_name
      case type
      when Types::ClassSingleton
        "#{type.name}.#{method_name}"
      else
        "#{type.name}##{method_name}"
      end
    end

def location
      members[0].location
    end

def other_locations
      members.drop(1).map(&:location)
    end
  end

class DuplicatedInterfaceMethodDefinitionError < StandardError
    attr_reader :type
    attr_reader :method_name
    attr_reader :member

def initialize(type:, method_name:, member:)
      @type = type
      @method_name = method_name
      @member = member

super "#{member.location}: Duplicated method definition: #{qualified_method_name}"
    end

def qualified_method_name
      case type
      when Types::ClassSingleton
        "#{type.name}.#{method_name}"
      else
        "#{type.name}##{method_name}"
      end
    end
  end

class UnknownMethodAliasError < StandardError
    attr_reader :original_name
    attr_reader :aliased_name
    attr_reader :location

def initialize(original_name:, aliased_name:, location:)
      @original_name = original_name
      @aliased_name = aliased_name
      @location = location

super "#{Location.to_string location}: Unknown method alias name: #{original_name} => #{aliased_name}"
    end
  end

class SuperclassMismatchError < StandardError
    attr_reader :name
    attr_reader :entry

def initialize(name:, entry:)
      @name = name
      @entry = entry
      super "#{Location.to_string entry.primary.decl.location}: Superclass mismatch: #{name}"
    end
  end

class InvalidOverloadMethodError < StandardError
    attr_reader :type_name
    attr_reader :method_name
    attr_reader :kind
    attr_reader :members

def initialize(type_name:, method_name:, kind:, members:)
      @type_name = type_name
      @method_name = method_name
      @kind = kind
      @members = members

delimiter = case kind
                  when :instance
                    "#"
                  when :singleton
                    "."
                  end

super "#{Location.to_string members[0].location}: Invalid method overloading: #{type_name}#{delimiter}#{method_name}"
    end
  end

class GenericParameterMismatchError < StandardError
    attr_reader :name
    attr_reader :decl

def initialize(name:, decl:)
      @name = name
      @decl = decl
      super "#{Location.to_string decl.location}: Generic parameters mismatch: #{name}"
    end
  end

class DuplicatedDeclarationError < StandardError
    attr_reader :name
    attr_reader :decls

def initialize(name, *decls)
      @name = name
      @decls = decls

last_decl = decls.last or raise
      super "#{Location.to_string last_decl.location}: Duplicated declaration: #{name}"
    end
  end

class InvalidVarianceAnnotationError < StandardError
    attr_reader :type_name
    attr_reader :param
    attr_reader :location

def initialize(type_name:, param:, location:)
      @type_name = type_name
      @param = param
      @location = location

super "#{Location.to_string location}: Type parameter variance error: #{param.name} is #{param.variance} but used as incompatible variance"
    end
  end

class RecursiveAliasDefinitionError < StandardError
    attr_reader :type
    attr_reader :defs

def initialize(type:, defs:)
      @type = type
      @defs = defs

super "#{Location.to_string location}: Recursive aliases in #{type}: #{defs.map(&:name).join(", ")}"
    end

def location
      first_def = defs.first or raise
      original = first_def.original or raise
      original.location
    end
  end
end