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
  class Definition
    type accessibility = :public | :private

class Variable
      attr_reader parent_variable: Variable?
      attr_reader type: Types::t
      attr_reader declared_in: TypeName

def initialize: (parent_variable: Variable?, type: Types::t, declared_in: TypeName) -> void

def sub: (Substitution) -> Variable
    end

class Method
      type method_member = AST::Members::MethodDefinition | AST::Members::AttrReader | AST::Members::AttrAccessor | AST::Members::AttrWriter

class TypeDef
        attr_reader type: MethodType
        attr_reader member: method_member
        attr_reader defined_in: TypeName
        attr_reader implemented_in: TypeName?

def initialize: (type: MethodType, member: method_member, defined_in: TypeName, implemented_in: TypeName?) -> void

def comment: () -> AST::Comment?

def annotations: () -> Array[AST::Annotation]

def update: (?type: MethodType, ?member: method_member, ?defined_in: TypeName, ?implemented_in: TypeName?) -> TypeDef

def overload?: () -> bool
      end

attr_reader super_method: Method?
      attr_reader defs: Array[TypeDef]
      attr_reader accessibility: accessibility
      attr_reader extra_annotations: Array[AST::Annotation]
      attr_reader defined_in: TypeName?
      attr_reader implemented_in: TypeName?
      attr_reader method_types: Array[MethodType]
      attr_reader comments: Array[AST::Comment]
      attr_reader annotations: Array[AST::Annotation]
      attr_reader members: Array[method_member]
      attr_reader alias_of: Method?

def initialize: (super_method: Method?,
                       defs: Array[TypeDef],
                       accessibility: accessibility,
                       alias_of: Method?,
                       ?annotations: Array[AST::Annotation]) -> void

def public?: () -> bool

def private?: () -> bool

# Substitutes type variables to some types.
      # Takes care of type parameter bounds.
      #
      def sub: (Substitution) -> Method

# Applies the mapping from `Types::t` to `Types::t`.
      #
      # Note this method doesn't handle upper bound in type params.
      # You may want to use `#map_type_bound` explicitly, or `#sub` for simple substitution.
      #
      def map_type: () { (Types::t) -> Types::t } -> Method

def map_type_bound: () { (AST::TypeParam::bound) -> AST::TypeParam::bound } -> Method

def map_method_type: () { (MethodType) -> MethodType } -> Method

def update: (
        ?super_method: Method?,
        ?defs: Array[TypeDef],
        ?accessibility: accessibility,
        ?alias_of: Method?,
        ?annotations: Array[AST::Annotation]
      ) -> Method
    end

module Ancestor
      type t = Instance | Singleton

attr_reader name: TypeName
        attr_reader args: Array[Types::t]
        attr_reader source: source

def initialize: (name: TypeName, args: Array[Types::t], source: source) -> void
      end

class Singleton
        attr_reader name: TypeName

def initialize: (name: TypeName) -> void
      end
    end

class InstanceAncestors
      attr_reader type_name: TypeName
      attr_reader params: Array[Symbol]
      attr_reader ancestors: Array[Ancestor::t]

def initialize: (type_name: TypeName, params: Array[Symbol], ancestors: Array[Ancestor::t]) -> void

def apply: (Array[Types::t], location: Location[untyped, untyped]?) -> Array[Ancestor::t]
    end

class SingletonAncestors
      attr_reader type_name: TypeName
      attr_reader ancestors: Array[Ancestor::t]

def initialize: (type_name: TypeName, ancestors: Array[Ancestor::t]) -> void
    end

type self_type = Types::ClassSingleton | Types::ClassInstance | Types::Interface
    type definition_entry = Environment::ModuleEntry | Environment::ClassEntry | Environment::InterfaceEntry

attr_reader type_name: TypeName
    attr_reader entry: definition_entry
    attr_reader ancestors: InstanceAncestors | SingletonAncestors | nil
    attr_reader self_type: self_type
    attr_reader methods: Hash[Symbol, Method]
    attr_reader instance_variables: Hash[Symbol, Variable]
    attr_reader class_variables: Hash[Symbol, Variable]

def initialize: (type_name: TypeName, entry: definition_entry, self_type: self_type, ancestors: InstanceAncestors | SingletonAncestors | nil) -> void

def class?: () -> bool

def module?: () -> bool

def interface?: () -> bool

def class_type?: () -> bool

def instance_type?: () -> bool

def interface_type?: () -> bool

def type_params: () -> Array[Symbol]

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

def sub: (Substitution) -> Definition

def map_method_type: () { (MethodType) -> MethodType } -> Definition

def each_type: () { (Types::t) -> void } -> void
                 | () -> Enumerator[Types::t, void]
  end
end