Gecko [ beriskala.com ]

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2026-05-05 23:07
collection	[ DIR ]	drwxr-xr-x	2026-05-05 23:07
prototype	[ DIR ]	drwxr-xr-x	2026-05-05 23:07
rdoc	[ DIR ]	drwxr-xr-x	2026-05-05 23:07
resolver	[ DIR ]	drwxr-xr-x	2026-05-05 23:07
shims	[ DIR ]	drwxr-xr-x	2026-05-05 23:07
ancestor_builder.rbs	7.36 KB	-rw-r--r--	2026-04-07 17:42
ancestor_graph.rbs	1.27 KB	-rw-r--r--	2026-04-07 17:42
annotation.rbs	556 B	-rw-r--r--	2026-04-07 17:42
buffer.rbs	718 B	-rw-r--r--	2026-04-07 17:42
builtin_names.rbs	847 B	-rw-r--r--	2026-04-07 17:42
cli.rbs	2.15 KB	-rw-r--r--	2026-04-07 17:42
collection.rbs	41 B	-rw-r--r--	2026-04-07 17:42
comment.rbs	495 B	-rw-r--r--	2026-04-07 17:42
constant.rbs	502 B	-rw-r--r--	2026-04-07 17:42
constant_table.rbs	1.1 KB	-rw-r--r--	2026-04-07 17:42
declarations.rbs	6.79 KB	-rw-r--r--	2026-04-07 17:42
definition.rbs	5.06 KB	-rw-r--r--	2026-04-07 17:42
definition_builder.rbs	5.48 KB	-rw-r--r--	2026-04-07 17:42
environment.rbs	4.27 KB	-rw-r--r--	2026-04-07 17:42
environment_loader.rbs	3.83 KB	-rw-r--r--	2026-04-07 17:42
environment_walker.rbs	1.79 KB	-rw-r--r--	2026-04-07 17:42
errors.rbs	8.42 KB	-rw-r--r--	2026-04-07 17:42
factory.rbs	77 B	-rw-r--r--	2026-04-07 17:42
location.rbs	3.3 KB	-rw-r--r--	2026-04-07 17:42
locator.rbs	1.62 KB	-rw-r--r--	2026-04-07 17:42
manifest.yaml	129 B	-rw-r--r--	2026-04-07 17:42
members.rbs	7.05 KB	-rw-r--r--	2026-04-07 17:42
method_builder.rbs	3.17 KB	-rw-r--r--	2026-04-07 17:42
method_types.rbs	1.55 KB	-rw-r--r--	2026-04-07 17:42
namespace.rbs	3.46 KB	-rw-r--r--	2026-04-07 17:42
parser.rbs	2.32 KB	-rw-r--r--	2026-04-07 17:42
rbs.rbs	384 B	-rw-r--r--	2026-04-07 17:42
repository.rbs	2.41 KB	-rw-r--r--	2026-04-07 17:42
shims.rbs	1.34 KB	-rw-r--r--	2026-04-07 17:42
sorter.rbs	499 B	-rw-r--r--	2026-04-07 17:42
substitution.rbs	1.38 KB	-rw-r--r--	2026-04-07 17:42
type_alias_dependency.rbs	585 B	-rw-r--r--	2026-04-07 17:42
type_alias_regularity.rbs	2.89 KB	-rw-r--r--	2026-04-07 17:42
type_name_resolver.rbs	618 B	-rw-r--r--	2026-04-07 17:42
type_param.rbs	2.16 KB	-rw-r--r--	2026-04-07 17:42
typename.rbs	2.11 KB	-rw-r--r--	2026-04-07 17:42
types.rbs	11.57 KB	-rw-r--r--	2026-04-07 17:42
util.rbs	128 B	-rw-r--r--	2026-04-07 17:42
validator.rbs	1.93 KB	-rw-r--r--	2026-04-07 17:42
variance_calculator.rbs	2.56 KB	-rw-r--r--	2026-04-07 17:42
vendorer.rbs	1.44 KB	-rw-r--r--	2026-04-07 17:42
version.rbs	33 B	-rw-r--r--	2026-04-07 17:42
writer.rbs	2.91 KB	-rw-r--r--	2026-04-07 17:42

Rename

module RBS
  class Environment
    type module_decl = AST::Declarations::Class | AST::Declarations::Module

interface _ModuleOrClass
      def name: () -> TypeName

def type_params: () -> Array[AST::TypeParam]
    end

interface _NamedDecl
      def name: () -> TypeName
    end

module ContextUtil
      def calculate_context: (Array[_NamedDecl]) -> Array[Namespace]
    end

class MultiEntry[M < _ModuleOrClass]
      class D[M < _ModuleOrClass]
        attr_reader decl: M
        attr_reader outer: Array[module_decl]

def initialize: (decl: M, outer: Array[module_decl]) -> void

include ContextUtil

@context: Array[Namespace]

def context: () -> Array[Namespace]
      end

attr_reader name: TypeName
      attr_reader decls: Array[D[M]]

@primary: D[M]?

def initialize: (name: TypeName) -> void

def insert: (decl: M, outer: Array[module_decl]) -> void

def validate_type_params: () -> void

def compatible_params?: (Array[AST::TypeParam], Array[AST::TypeParam]) -> boolish

def type_params: () -> Array[AST::TypeParam]

def primary: () -> D[M]
    end

class ModuleEntry < MultiEntry[AST::Declarations::Module]
      def self_types: () -> Array[AST::Declarations::Module::Self]
    end

class ClassEntry < MultiEntry[AST::Declarations::Class]
    end

class SingleEntry[N, D]
      attr_reader name: N
      attr_reader decl: D
      attr_reader outer: Array[module_decl]

def initialize: (name: N, decl: D, outer: Array[module_decl]) -> void

include ContextUtil

@context: Array[Namespace]

def context: () -> Array[Namespace]
    end

# Top level declarations.
    attr_reader declarations: Array[AST::Declarations::t]

attr_reader class_decls: Hash[TypeName, ModuleEntry | ClassEntry]
    attr_reader interface_decls: Hash[TypeName, SingleEntry[TypeName, AST::Declarations::Interface]]
    attr_reader alias_decls: Hash[TypeName, SingleEntry[TypeName, AST::Declarations::Alias]]
    attr_reader constant_decls: Hash[TypeName, SingleEntry[TypeName, AST::Declarations::Constant]]
    attr_reader global_decls: Hash[Symbol, SingleEntry[Symbol, AST::Declarations::Global]]

def initialize: () -> void

def initialize_copy: (Environment) -> void

def self.from_loader: (EnvironmentLoader) -> Environment

def cache_name: [N, D] (Hash[N, SingleEntry[N, D]] cache, name: N, decl: D, outer: Array[module_decl]) -> SingleEntry[N, D]

def insert_decl: (AST::Declarations::t, outer: Array[module_decl], namespace: Namespace) -> void

# Insert a toplevel declaration into the env.
    #
    def <<: (AST::Declarations::t decl) -> self

# Runs generics type params validation over each class definitions.
    def validate_type_params: () -> void

# Resolve all type names in the environment to absolute type names.
    # Relative type name will be left if absolute type name cannot be found.
    #
    # When `only` is given, it skips other _top-level_ declarations not included in the collection.
    # This helps running resolution faster in the case of _partial updates_.
    #
    def resolve_type_names: (?only: Set[AST::Declarations::t]?) -> Environment

def resolve_declaration: (TypeNameResolver resolver, AST::Declarations::t decl, outer: Array[module_decl], prefix: Namespace) -> AST::Declarations::t

def resolve_member: (TypeNameResolver, AST::Members::t, context: Array[Namespace]) -> AST::Members::t

def resolve_method_type: (TypeNameResolver, RBS::MethodType, context: Array[Namespace]) -> RBS::MethodType

def resolve_type_params: (TypeNameResolver resolver, Array[AST::TypeParam], context: Array[Namespace]) ->  Array[AST::TypeParam]

def absolute_type: (TypeNameResolver, Types::t, context: Array[Namespace]) -> Types::t

def absolute_type_name: (TypeNameResolver, TypeName, context: Array[Namespace]) -> TypeName

def inspect: () -> String

@buffers: Array[Buffer]

def buffers: () -> Array[Buffer]

def buffers_decls: () -> Hash[Buffer, Array[AST::Declarations::t]]

# Construct new environment without declarations tested `true` by block.
    # Construction of new environment is done with `<<` so that nested declarations will work well.
    #
    def reject: () { (AST::Declarations::t) -> boolish } -> Environment
  end
end