Gecko [ www.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

# Base class for members.
      class Base
      end

type visibility = :public | :private

class MethodDefinition < Base
        class Overload
          attr_reader method_type: MethodType

attr_reader annotations: Array[Annotation]

def initialize: (method_type: MethodType, annotations: Array[Annotation]) -> void

def ==: (untyped) -> bool

def hash: () -> Integer

alias eql? ==

def update: (?annotations: Array[Annotation], ?method_type: MethodType) -> Overload

def sub: (Substitution) -> Overload

include _ToJson
        end

type kind = :instance | :singleton | :singleton_instance

# def foo: () -> void
        # ^^^                    keyword
        #     ^^^                name
        #
        # private def self.bar: () -> void | ...
        # ^^^^^^^                                  visibility
        #         ^^^                              keyword
        #             ^^^^^                        kind
        #                  ^^^                     name
        #                                    ^^^   overloading
        #
        type loc = Location[:keyword | :name, :kind | :overloading | :visibility]

attr_reader name: Symbol
        attr_reader kind: kind
        attr_reader overloads: Array[Overload]
        attr_reader annotations: Array[Annotation]
        attr_reader location: loc?
        attr_reader comment: Comment?
        attr_reader overloading: bool
        attr_reader visibility: visibility?

def initialize: (name: Symbol, kind: kind, overloads: Array[Overload], annotations: Array[Annotation], location: loc?, comment: Comment?, overloading: bool, visibility: visibility?) -> void

include _HashEqual
        include _ToJson

# Returns true if the `def` is to define instance method
        def instance?: () -> bool

# Returns true if the `def` is to define singleton method
        def singleton?: () -> bool

# Returns true if the `def` is overloading (== with `...`)
        #
        def overloading?: () -> bool

def update: (?name: Symbol, ?kind: kind, ?overloads: Array[Overload], ?annotations: Array[Annotation], ?location: loc?, ?comment: Comment?, ?overloading: bool, ?visibility: visibility?) -> MethodDefinition
      end

module Var
        # @foo: String
        # ^^^^            name
        #     ^           colon
        #
        # self.@all: Array[String]
        # ^^^^^                        kind
        #      ^^^^                    name
        #          ^                   colon
        #
        type loc = Location[:name | :colon, :kind]

attr_reader name: Symbol
        attr_reader type: Types::t
        attr_reader location: loc?
        attr_reader comment: Comment?

def initialize: (name: Symbol, type: Types::t, location: loc?, comment: Comment?) -> void

include _HashEqual
      end

class InstanceVariable < Base
        include Var
        include _ToJson
      end

class ClassInstanceVariable < Base
        include Var
        include _ToJson
      end

class ClassVariable < Base
        include Var
        include _ToJson
      end

module Mixin
        # include Foo
        # ^^^^^^^       keyword
        #         ^^^   name
        #
        # include Array[String]
        # ^^^^^^^                keyword
        #         ^^^^^          name
        #              ^         arg_open
        #                     ^  arg_close
        #
        type loc = Location[:name | :keyword, :args]

attr_reader name: TypeName
        attr_reader args: Array[Types::t]
        attr_reader annotations: Array[Annotation]
        attr_reader location: loc?
        attr_reader comment: Comment?

def initialize: (name: TypeName, args: Array[Types::t], annotations: Array[Annotation], location: loc?, comment: Comment?) -> void

include _HashEqual
      end

class Include < Base
        include Mixin
        include _ToJson
      end

class Extend < Base
        include Mixin
        include _ToJson
      end

class Prepend < Base
        include Mixin
        include _ToJson
      end

module Attribute
        type kind = :instance | :singleton

# attr_reader name: String
        # ^^^^^^^^^^^                  keyword
        #             ^^^^             name
        #                 ^            colon
        #
        # public attr_accessor self.name (@foo) : String
        # ^^^^^^                                           visibility
        #        ^^^^^^^^^^^^^                             keyword
        #                      ^^^^^                       kind
        #                           ^^^^                   name
        #                                ^^^^^^            ivar
        #                                 ^^^^             ivar_name
        #                                       ^          colon
        #
        type loc = Location[:keyword | :name | :colon, :kind | :ivar | :ivar_name | :visibility]

attr_reader name: Symbol
        attr_reader type: Types::t
        attr_reader kind: kind
        attr_reader ivar_name: Symbol | false | nil
        attr_reader annotations: Array[Annotation]
        attr_reader location: loc?
        attr_reader comment: Comment?
        attr_reader visibility: visibility?

def initialize: (name: Symbol, type: Types::t, ivar_name: Symbol | false | nil, kind: kind, annotations: Array[Annotation], location: loc?, comment: Comment?, ?visibility: visibility?) -> void

include _HashEqual

def update: (?name: Symbol, ?type: Types::t, ?ivar_name: Symbol | false | nil, ?kind: kind, ?annotations: Array[Annotation], ?location: loc?, ?comment: Comment?, ?visibility: visibility?) -> instance
      end

class AttrReader < Base
        include Attribute
        include _ToJson
      end

class AttrAccessor < Base
        include Attribute
        include _ToJson
      end

class AttrWriter < Base
        include Attribute
        include _ToJson
      end

module LocationOnly
        attr_reader location: Location[bot, bot]?

def initialize: (location: Location[bot, bot]?) -> void

include _HashEqual
      end

class Public < Base
        include LocationOnly
        include _ToJson
      end

class Private < Base
        include LocationOnly
        include _ToJson
      end

class Alias < Base
        type kind = :instance | :singleton

# alias foo bar
        # ^^^^^           keyword
        #       ^^^       new_name
        #           ^^^   old_name
        #
        # alias self.foo self.bar
        # ^^^^^                      keyword
        #       ^^^^^                new_kind
        #            ^^^             new_name
        #                ^^^^^       old_kind
        #                     ^^^    old_name
        #
        type loc = Location[:keyword | :new_name | :old_name, :new_kind | :old_kind]

attr_reader new_name: Symbol
        attr_reader old_name: Symbol
        attr_reader kind: kind
        attr_reader annotations: Array[Annotation]
        attr_reader location: loc?
        attr_reader comment: Comment?

def initialize: (new_name: Symbol, old_name: Symbol, kind: kind, annotations: Array[Annotation], location: loc?, comment: Comment?) -> void

include _HashEqual
        include _ToJson

def instance?: () -> bool

def singleton?: () -> bool
      end
    end
  end
end