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 17:22
ancestor_graph.rbs	2.1 KB	-rw-r--r--	2026-04-07 17:22
annotation.rbs	556 B	-rw-r--r--	2026-04-07 17:22
buffer.rbs	718 B	-rw-r--r--	2026-04-07 17:22
builtin_names.rbs	847 B	-rw-r--r--	2026-04-07 17:22
cli.rbs	2.23 KB	-rw-r--r--	2026-04-07 17:22
collection.rbs	41 B	-rw-r--r--	2026-04-07 17:22
comment.rbs	495 B	-rw-r--r--	2026-04-07 17:22
constant.rbs	465 B	-rw-r--r--	2026-04-07 17:22
declarations.rbs	7.62 KB	-rw-r--r--	2026-04-07 17:22
definition.rbs	5.09 KB	-rw-r--r--	2026-04-07 17:22
definition_builder.rbs	5.75 KB	-rw-r--r--	2026-04-07 17:22
diff.rbs	1.42 KB	-rw-r--r--	2026-04-07 17:22
directives.rbs	1.34 KB	-rw-r--r--	2026-04-07 17:22
environment.rbs	8.91 KB	-rw-r--r--	2026-04-07 17:22
environment_loader.rbs	3.79 KB	-rw-r--r--	2026-04-07 17:22
environment_walker.rbs	1.79 KB	-rw-r--r--	2026-04-07 17:22
errors.rbs	10.96 KB	-rw-r--r--	2026-04-07 17:22
factory.rbs	77 B	-rw-r--r--	2026-04-07 17:22
file_finder.rbs	269 B	-rw-r--r--	2026-04-07 17:22
location.rbs	3.3 KB	-rw-r--r--	2026-04-07 17:22
locator.rbs	1.98 KB	-rw-r--r--	2026-04-07 17:22
manifest.yaml	132 B	-rw-r--r--	2026-04-07 17:22
members.rbs	7.76 KB	-rw-r--r--	2026-04-07 17:22
method_builder.rbs	3.17 KB	-rw-r--r--	2026-04-07 17:22
method_types.rbs	1.66 KB	-rw-r--r--	2026-04-07 17:22
namespace.rbs	3.46 KB	-rw-r--r--	2026-04-07 17:22
parser.rbs	2.88 KB	-rw-r--r--	2026-04-07 17:22
rbs.rbs	394 B	-rw-r--r--	2026-04-07 17:22
repository.rbs	2.42 KB	-rw-r--r--	2026-04-07 17:22
sorter.rbs	1.77 KB	-rw-r--r--	2026-04-07 17:22
substitution.rbs	1.47 KB	-rw-r--r--	2026-04-07 17:22
subtractor.rbs	1.77 KB	-rw-r--r--	2026-04-07 17:22
test.rbs	1.83 KB	-rw-r--r--	2026-04-07 17:22
type_alias_dependency.rbs	1.56 KB	-rw-r--r--	2026-04-07 17:22
type_alias_regularity.rbs	3.07 KB	-rw-r--r--	2026-04-07 17:22
type_param.rbs	2.16 KB	-rw-r--r--	2026-04-07 17:22
typename.rbs	2.11 KB	-rw-r--r--	2026-04-07 17:22
types.rbs	12.52 KB	-rw-r--r--	2026-04-07 17:22
use_map.rbs	730 B	-rw-r--r--	2026-04-07 17:22
util.rbs	128 B	-rw-r--r--	2026-04-07 17:22
validator.rbs	2.16 KB	-rw-r--r--	2026-04-07 17:22
variance_calculator.rbs	2.61 KB	-rw-r--r--	2026-04-07 17:22
vendorer.rbs	1.44 KB	-rw-r--r--	2026-04-07 17:22
version.rbs	33 B	-rw-r--r--	2026-04-07 17:22
writer.rbs	3.04 KB	-rw-r--r--	2026-04-07 17:22

Rename

module RBS
  # DefinitionBuilder translates TypeName to Definition of the type
  #
  # It also provides semantic utilities that depends on Environment.
  #
  class DefinitionBuilder
    attr_reader env: Environment
    attr_reader ancestor_builder: AncestorBuilder
    attr_reader method_builder: MethodBuilder

def initialize: (env: Environment, ?ancestor_builder: AncestorBuilder?, ?method_builder: MethodBuilder?) -> void

# Returns a Definition of a interface
    #
    def build_interface: (TypeName) -> Definition

# Returns a Definition of an instance type
    #
    # If TypeName is a module and `no_self_types` is `true`, it won't have methods of _self type constraints_.
    # This typically happens when definition is being calculated for mixin.
    #
    def build_instance: (TypeName) -> Definition

# Returns a Definition of a singleton type
    def build_singleton: (TypeName) -> Definition

# Validates the given Namespace and its ancestor namespaces exists
    #
    # Raises NoTypeFoundError
    #
    def ensure_namespace!: (Namespace, location: Location[untyped, untyped]?) -> void

# Expand a type alias of given name without type arguments.
    # Raises an error if the type alias requires arguments.
    #
    # Assume `type foo[T] = [T, T]`:
    #
    # ```
    # expand_alias("::foo")   # => error
    # ```
    #
    def expand_alias: (TypeName) -> Types::t

# Expand a type alias of given name with arguments of `untyped`.
    #
    # Assume `type foo[T] = [T, T]`:
    #
    # ```
    # expand_alias1("::foo")   # => [untyped, untyped]
    # ```
    #
    def expand_alias1: (TypeName) -> Types::t

# Expand a type alias of given name with `args`.
    #
    # Assume `type foo[T] = [T, T]`:
    #
    # ```
    # expand_alias2("::foo", ["::Integer"])   # => [::Integer, ::Integer]
    # ```
    #
    def expand_alias2: (TypeName, Array[Types::t] args) -> Types::t

# Validates presence of type names recursively
    #
    # Assumes the type names are already resolved.
    # Raises NoTypeFoundError in case of failure.
    #
    # Normalizes type names in the given type automatically.
    #
    def validate_type_presence: (Types::t) -> void

# Validates presence of an absolute type name
    #
    # Raises NoTypeFoundError in case of error.
    #
    # Normalizes the given type name automatically.
    #
    def validate_type_name: (TypeName, Location[untyped, untyped]?) -> void

# Returns a new DefinitionBuilder with updated Environment, AncestorBuilder, and exceptions
    #
    def update: (env: Environment, ancestor_builder: AncestorBuilder, except: _Each[TypeName]) -> DefinitionBuilder

private

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

def build_singleton0: (TypeName) -> Definition

# Returns `interface_methods` from given array of interface ancestors
    #
    def interface_methods: (Array[Definition::Ancestor::Instance] interface_ancestors) -> interface_methods

def try_cache: (TypeName, cache: Hash[TypeName, Definition | false | nil]) { () -> Definition } -> Definition

def validate_params_with: (Array[AST::TypeParam], result: VarianceCalculator::Result) { (AST::TypeParam) -> void } -> void

def validate_type_params: (Definition, ancestors: AncestorBuilder::OneAncestors, methods: MethodBuilder::Methods) -> void

def source_location: (Definition::Ancestor::Instance::source, AST::Declarations::t) -> Location[untyped, untyped]?

def insert_variable: (TypeName, Hash[Symbol, Definition::Variable], name: Symbol, type: Types::t) -> void

# Add method definition to `methods`, which will be merged to `class_definition` after defining all methods at this *level* -- class, module, or interface
    #
    # `class_definition` is a definition of given type, but it has definitions of prior levels.
    #
    def define_method: (
      Hash[Symbol, Definition::Method] methods,
      Definition class_definition,
      MethodBuilder::Methods::Definition method_definition,
      Substitution subst,
      defined_in: TypeName,
      ?implemented_in: TypeName?
    ) -> void

# The `interface_methods` type describes the association between the interface name to its name and the *mixin* to a module
    #
    type interface_methods = Hash[
      Definition::Ancestor::Instance,
      [MethodBuilder::Methods, AST::Members::Include | AST::Members::Extend]
    ]

# Add method definitions from `module_methods` to `definition`
    #
    # It also processes interface mixins, with duplication detection.
    # It doesn't process module mixins.
    #
    def import_methods: (
      Definition definition,
      TypeName module_name,
      MethodBuilder::Methods module_methods,
      interface_methods interface_methods,
      Substitution subst
    ) -> void

# Updates `definition` with methods and variables of `type_name` that can be a module or a class
    #
    # It processes includes and prepends recursively.
    #
    def define_instance: (Definition definition, TypeName type_name, Substitution subst) -> void

# Updates `definition` with methods defined in an interface `type_name`
    #
    # It processes includes recursively
    #
    def define_interface: (Definition definition, TypeName type_name, Substitution subst) -> void

# Returns a substitution that corresponds to type application
    #
    # ```
    # tapp_subst(`::Array`, [`::Integer`]) # => Subsitution.build([:Elem], [`::Integer`])
    # ```
    #
    def tapp_subst: (TypeName, Array[Types::t]) -> Substitution
  end
end