Gecko [ beriskala.com ]

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
cli	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
collection	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
prototype	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
rdoc	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
resolver	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
shims	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
test	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
unit_test	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
ancestor_builder.rbs	7.61 KB	-rw-r--r--	2026-04-07 16:50
ancestor_graph.rbs	2.12 KB	-rw-r--r--	2026-04-07 16:50
annotation.rbs	556 B	-rw-r--r--	2026-04-07 16:50
buffer.rbs	718 B	-rw-r--r--	2026-04-07 16:50
builtin_names.rbs	847 B	-rw-r--r--	2026-04-07 16:50
cli.rbs	2.23 KB	-rw-r--r--	2026-04-07 16:50
collection.rbs	41 B	-rw-r--r--	2026-04-07 16:50
comment.rbs	495 B	-rw-r--r--	2026-04-07 16:50
constant.rbs	465 B	-rw-r--r--	2026-04-07 16:50
declarations.rbs	8.22 KB	-rw-r--r--	2026-04-07 16:50
definition.rbs	5.67 KB	-rw-r--r--	2026-04-07 16:50
definition_builder.rbs	5.86 KB	-rw-r--r--	2026-04-07 16:50
diff.rbs	1.42 KB	-rw-r--r--	2026-04-07 16:50
directives.rbs	1.34 KB	-rw-r--r--	2026-04-07 16:50
environment.rbs	8.9 KB	-rw-r--r--	2026-04-07 16:50
environment_loader.rbs	3.76 KB	-rw-r--r--	2026-04-07 16:50
environment_walker.rbs	1.79 KB	-rw-r--r--	2026-04-07 16:50
errors.rbs	11.48 KB	-rw-r--r--	2026-04-07 16:50
factory.rbs	77 B	-rw-r--r--	2026-04-07 16:50
file_finder.rbs	1.27 KB	-rw-r--r--	2026-04-07 16:50
location.rbs	3.23 KB	-rw-r--r--	2026-04-07 16:50
locator.rbs	1.98 KB	-rw-r--r--	2026-04-07 16:50
manifest.yaml	115 B	-rw-r--r--	2026-04-07 16:50
members.rbs	7.71 KB	-rw-r--r--	2026-04-07 16:50
method_builder.rbs	3.17 KB	-rw-r--r--	2026-04-07 16:50
method_types.rbs	1.64 KB	-rw-r--r--	2026-04-07 16:50
namespace.rbs	3.48 KB	-rw-r--r--	2026-04-07 16:50
parser.rbs	3.72 KB	-rw-r--r--	2026-04-07 16:50
rbs.rbs	394 B	-rw-r--r--	2026-04-07 16:50
repository.rbs	2.42 KB	-rw-r--r--	2026-04-07 16:50
sorter.rbs	1.78 KB	-rw-r--r--	2026-04-07 16:50
substitution.rbs	1.47 KB	-rw-r--r--	2026-04-07 16:50
subtractor.rbs	1.77 KB	-rw-r--r--	2026-04-07 16:50
test.rbs	1.83 KB	-rw-r--r--	2026-04-07 16:50
type_alias_dependency.rbs	1.56 KB	-rw-r--r--	2026-04-07 16:50
type_alias_regularity.rbs	3.1 KB	-rw-r--r--	2026-04-07 16:50
type_param.rbs	3.62 KB	-rw-r--r--	2026-04-07 16:50
typename.rbs	2.25 KB	-rw-r--r--	2026-04-07 16:50
types.rbs	14.24 KB	-rw-r--r--	2026-04-07 16:50
use_map.rbs	736 B	-rw-r--r--	2026-04-07 16:50
util.rbs	128 B	-rw-r--r--	2026-04-07 16:50
validator.rbs	2.16 KB	-rw-r--r--	2026-04-07 16:50
variance_calculator.rbs	2.61 KB	-rw-r--r--	2026-04-07 16:50
vendorer.rbs	1.44 KB	-rw-r--r--	2026-04-07 16:50
version.rbs	33 B	-rw-r--r--	2026-04-07 16:50
visitor.rbs	1.57 KB	-rw-r--r--	2026-04-07 16:50
writer.rbs	3.04 KB	-rw-r--r--	2026-04-07 16:50

Rename

module RBS
  class DefinitionBuilder
    # AncestorBuilder calculates the ancestors of a class or module.
    #
    class AncestorBuilder
      # OneAncestors represents a list of _direct_ ancestors of a type name
      #
      # _Direct_ ancestors is defined as follows:
      #
      # * Super class is a direct ancestor
      # * Self type constraints are direct ancestors
      # * Mixin modules are direct ancestors
      # * Mixin interfaces are direct ancestors
      #
      # The optional attributes are defined by the type of the ancestors object, one of the following five groups:
      #
      # 1. Instance of a class -- with super_class, included_modules, included_interfaces, and prepended_modules
      # 2. Instance of a module -- with self_types, included_modules, included_interfaces, and prepended_modules
      # 3. Singleton of a class or module -- with super_class, extended_modules, and extended_interfaces
      # 4. Interface -- with included_interfaces
      #
      class OneAncestors
        attr_reader type_name: TypeName
        attr_reader params: Array[Symbol]?

# Returns super_class ancestor if specified
        #
        # * Always `nil` if this is not a class.
        #
        attr_reader super_class: Definition::Ancestor::t?

# Returns list of _self type constraints_ of a module
        #
        # * Returns `nil` if it is not a module instance.
        #
        attr_reader self_types: Array[Definition::Ancestor::Instance]?

# Returns the list of included modules
        #
        # * Returns `nil` if it is an interface or it is a singleton.
        #
        attr_reader included_modules: Array[Definition::Ancestor::Instance]?

# Returns the list of included interfaces
        #
        # * Returns `nil` it it is a singleton.
        #
        attr_reader included_interfaces: Array[Definition::Ancestor::Instance]?

# Returns the list of prepended modules
        #
        # * Returns `nil` if it is an interface or it is a singleton.
        #
        attr_reader prepended_modules: Array[Definition::Ancestor::Instance]?

# Returns the list of extended modules
        #
        # * Returns `nil` if it is an interface or it is an instance.
        #
        attr_reader extended_modules: Array[Definition::Ancestor::Instance]?

# Returns the list of extended interfaces
        #
        # * Returns `nil` if it is an interface or it is an instance.
        #
        attr_reader extended_interfaces: Array[Definition::Ancestor::Instance]?

def initialize: (type_name: TypeName,
                            params: Array[Symbol]?,
                       super_class: Definition::Ancestor::t?,
                        self_types: Array[Definition::Ancestor::Instance]?,
                  included_modules: Array[Definition::Ancestor::Instance]?,
               included_interfaces: Array[Definition::Ancestor::Instance]?,
                 prepended_modules: Array[Definition::Ancestor::Instance]?,
                  extended_modules: Array[Definition::Ancestor::Instance]?,
               extended_interfaces: Array[Definition::Ancestor::Instance]?) -> void

def each_ancestor: { (Definition::Ancestor::t) -> void } -> void
                         | -> Enumerator[Definition::Ancestor::t, void]

# Returns a OneAncestors object for class instance
        def self.class_instance: (type_name: TypeName, params: Array[Symbol], super_class: Definition::Ancestor::t?) -> instance

# Returns a OneAncestors object for module instance
        def self.module_instance: (type_name: TypeName, params: Array[Symbol]) -> instance

# Returns a OneAncestors object for class/module singleton
        def self.singleton: (type_name: TypeName, super_class: Definition::Ancestor::t) -> instance

# Returns a OneAncestors object for interface
        def self.interface: (type_name: TypeName, params: Array[Symbol]) -> instance

def each_included_module: () { (Definition::Ancestor::Instance) -> void } -> void
                                | () -> Enumerator[Definition::Ancestor::Instance, void]

def each_included_interface: () { (Definition::Ancestor::Instance) -> void } -> void
                                   | () -> Enumerator[Definition::Ancestor::Instance, void]

def each_prepended_module: () { (Definition::Ancestor::Instance) -> void } -> void
                                 | () -> Enumerator[Definition::Ancestor::Instance, void]

def each_extended_module: () { (Definition::Ancestor::Instance) -> void } -> void
                                | () -> Enumerator[Definition::Ancestor::Instance, void]

def each_extended_interface: () { (Definition::Ancestor::Instance) -> void } -> void
                                   | () -> Enumerator[Definition::Ancestor::Instance, void]

def each_self_type: () { (Definition::Ancestor::Instance) -> void } -> void
                          | () -> Enumerator[Definition::Ancestor::Instance, void]
      end

attr_reader env: Environment

attr_reader one_instance_ancestors_cache: Hash[TypeName, OneAncestors]
      attr_reader instance_ancestors_cache: Hash[TypeName, Definition::InstanceAncestors]

attr_reader one_singleton_ancestors_cache: Hash[TypeName, OneAncestors]
      attr_reader singleton_ancestors_cache: Hash[TypeName, Definition::SingletonAncestors]

attr_reader one_interface_ancestors_cache: Hash[TypeName, OneAncestors]
      attr_reader interface_ancestors_cache: Hash[TypeName, Definition::InstanceAncestors]

def initialize: (env: Environment) -> void

def instance_ancestors: (TypeName, ?building_ancestors: Array[Definition::Ancestor::t]) -> Definition::InstanceAncestors

def singleton_ancestors: (TypeName, ?building_ancestors: Array[Definition::Ancestor::t]) -> Definition::SingletonAncestors

def interface_ancestors: (TypeName, ?building_ancestors: Array[Definition::Ancestor::t]) -> Definition::InstanceAncestors

def one_instance_ancestors: (TypeName) -> OneAncestors

def one_singleton_ancestors: (TypeName) -> OneAncestors

def one_interface_ancestors: (TypeName) -> OneAncestors

private

def validate_super_class!: (TypeName, Environment::ClassEntry) -> void

def mixin_ancestors: (Environment::ClassEntry | Environment::ModuleEntry,
                            TypeName,
                            included_modules: Array[Definition::Ancestor::Instance]?,
                         included_interfaces: Array[Definition::Ancestor::Instance]?,
                           prepended_modules: Array[Definition::Ancestor::Instance]?,
                            extended_modules: Array[Definition::Ancestor::Instance]?,
                         extended_interfaces: Array[Definition::Ancestor::Instance]?) -> void

def mixin_ancestors0: (AST::Declarations::Class | AST::Declarations::Module | AST::Declarations::Interface,
                             TypeName,
                             align_params: Substitution?,
                         included_modules: Array[Definition::Ancestor::Instance]?,
                      included_interfaces: Array[Definition::Ancestor::Instance]?,
                        prepended_modules: Array[Definition::Ancestor::Instance]?,
                         extended_modules: Array[Definition::Ancestor::Instance]?,
                      extended_interfaces: Array[Definition::Ancestor::Instance]?) -> void

# Fill `#source` of instance ancestor if `ancestor.name == name` and its `source` is `nil`
      #
      def fill_ancestor_source: (Definition::Ancestor::t, name: TypeName, source: Definition::Ancestor::Instance::source)  -> Definition::Ancestor::t
    end
  end
end