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
  interface _MethodName
    def kind: () -> (:instance | :singleton)

def type_name: () -> TypeName

def method_name: () -> Symbol
  end

module MethodNameHelper : _MethodName
    def method_name_string: () -> String
  end

# Error class for errors defined in RBS.
  #
  class BaseError < StandardError
  end

# Error class for errors raised during parsing.
  #
  class ParsingError < BaseError
    attr_reader location: Location[untyped, untyped]
    attr_reader error_message: String
    attr_reader token_type: String

def initialize: (Location[untyped, untyped], String error_message, String token_type) -> void

def error_value: () -> String

def token_str: () -> String
  end

class Parser
    SemanticsError: singleton(ParsingError)
    SyntaxError: singleton(ParsingError)
    LexerError: singleton(ParsingError)
  end

# Error class for errors raised during loading environments.
  #
  class LoadingError < BaseError
  end

# Error class for errors raised during building definitions.
  #
  class DefinitionError < BaseError
  end

class InvalidTypeApplicationError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader args: Array[Types::t]
    attr_reader params: Array[Symbol]
    attr_reader location: Location[untyped, untyped]?

def initialize: (type_name: TypeName, args: Array[Types::t], params: Array[Symbol], location: Location[untyped, untyped]?) -> void

def self.check!: (type_name: TypeName, args: Array[Types::t], params: Array[Symbol], location: Location[untyped, untyped]?) -> void
  end

class RecursiveAncestorError < DefinitionError
    attr_reader ancestors: Array[Definition::Ancestor::t]
    attr_reader location: Location[untyped, untyped]?

def initialize: (ancestors: Array[Definition::Ancestor::t], location: Location[untyped, untyped]?) -> void

def self.check!: (Definition::Ancestor::t, ancestors: Array[Definition::Ancestor::t], location: Location[untyped, untyped]?) -> void
  end

class NoTypeFoundError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader location: Location[untyped, untyped]?

def initialize: (type_name: TypeName, location: Location[untyped, untyped]?) -> void

def self.check!: (TypeName, env: Environment, location: Location[untyped, untyped]?) -> TypeName
  end

class NoSuperclassFoundError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader location: Location[untyped, untyped]?

def initialize: (type_name: TypeName, location: Location[untyped, untyped]?) -> void

def self.check!: (TypeName, env: Environment, location: Location[untyped, untyped]?) -> void
  end

class NoSelfTypeFoundError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader location: Location[untyped, untyped]?

def initialize: (type_name: TypeName, location: Location[untyped, untyped]?) -> void

def self.check!: (AST::Declarations::Module::Self, env: Environment) -> void
  end

class NoMixinFoundError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader member: AST::Members::t

def initialize: (type_name: TypeName, member: AST::Members::t) -> void

def location: () -> Location[untyped, untyped]?

def self.check!: (TypeName, env: Environment, member: AST::Members::t) -> void
  end

class DuplicatedMethodDefinitionError < DefinitionError
    type ty = Types::ClassSingleton | Types::ClassInstance | Types::Interface
    type original = DefinitionBuilder::MethodBuilder::Methods::Definition::original

attr_reader type: ty
    attr_reader method_name: Symbol
    attr_reader members: Array[original]

def initialize: (type: ty, method_name: Symbol, members: Array[original]) -> void

def type_name: () -> TypeName

def qualified_method_name: () -> String

def location: () -> Location[untyped, untyped]?

def other_locations: () -> Array[Location[untyped, untyped]?]
  end

class DuplicatedInterfaceMethodDefinitionError < DefinitionError
    type ty = Types::ClassSingleton | Types::ClassInstance | Types::Interface
    type mixin_member = AST::Members::Include | AST::Members::Extend

attr_reader type: ty
    attr_reader method_name: Symbol
    attr_reader member: mixin_member

def initialize: (type: ty, method_name: Symbol, member: mixin_member) -> void

def type_name: () -> TypeName

def qualified_method_name: () -> String
  end

class UnknownMethodAliasError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader original_name: Symbol
    attr_reader aliased_name: Symbol
    attr_reader location: Location[untyped, untyped]?

def initialize: (type_name: TypeName, original_name: Symbol, aliased_name: Symbol, location: Location[untyped, untyped]?) -> void
  end

class SuperclassMismatchError < DefinitionError
    attr_reader name: TypeName
    attr_reader entry: Environment::ClassEntry

def initialize: (name: TypeName, entry: Environment::ClassEntry) -> void
  end

class InvalidOverloadMethodError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader method_name: Symbol
    attr_reader kind: :instance | :singleton
    attr_reader members: Array[AST::Members::MethodDefinition]

def initialize: (type_name: TypeName, method_name: Symbol, kind: :instance | :singleton, members: Array[AST::Members::MethodDefinition]) -> void
  end

class GenericParameterMismatchError < LoadingError
    attr_reader name: TypeName
    attr_reader decl: AST::Declarations::Class | AST::Declarations::Module

def initialize: (name: TypeName, decl: AST::Declarations::Class | AST::Declarations::Module) -> void
  end

class DuplicatedDeclarationError < LoadingError
    attr_reader name: TypeName | Symbol
    attr_reader decls: Array[AST::Declarations::t]

def initialize: (TypeName | Symbol, *AST::Declarations::t) -> void
  end

class InvalidVarianceAnnotationError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader param: AST::TypeParam
    attr_reader location: Location[untyped, untyped]?

def initialize: (type_name: TypeName, param: AST::TypeParam, location: Location[untyped, untyped]?) -> void
  end

class RecursiveAliasDefinitionError < DefinitionError
    type ty = Types::ClassInstance | Types::ClassSingleton | Types::Interface
    type defn = DefinitionBuilder::MethodBuilder::Methods::Definition

attr_reader type: ty
    attr_reader defs: Array[defn]

def initialize: (type: ty, defs: Array[defn]) -> void

def location: () -> Location[untyped, untyped]?
  end

# MixinClassError is raised if a include/prepend/extend has a class (not a module) to mix-in
  #
  class MixinClassError < DefinitionError
    type member = AST::Members::Include | AST::Members::Prepend | AST::Members::Extend

attr_reader type_name: TypeName
    attr_reader member: member

def initialize: (type_name: TypeName, member: member) -> void

def location: () -> Location[untyped, untyped]?

def self.check!: (type_name: TypeName, env: Environment, member: member) -> void

def mixin_name: () -> String
  end

# InheritModuleError is raised if a class definition inherits a module (not a class)
  #
  class InheritModuleError < DefinitionError
    attr_reader super_decl: AST::Declarations::Class::Super

def initialize: (AST::Declarations::Class::Super) -> void

def location: () -> Location[untyped, untyped]?

def self.check!: (AST::Declarations::Class::Super, env: Environment) -> void
  end

class RecursiveTypeAliasError < BaseError
    attr_reader alias_names: Array[TypeName]
    attr_reader location: Location[untyped, untyped]?

def initialize: (alias_names: Array[TypeName], location: Location[untyped, untyped]?) -> void

def name: () -> String
  end

class NonregularTypeAliasError < BaseError
    # Diagnostic reported from `TypeAliasRegularity`.
    attr_reader diagnostic: TypeAliasRegularity::Diagnostic

# Location of the definition.
    attr_reader location: Location[untyped, untyped]?

def initialize: (diagnostic: TypeAliasRegularity::Diagnostic, location: Location[untyped, untyped]?) -> void
  end

class CyclicTypeParameterBound < BaseError
    attr_reader location: Location[untyped, untyped]?

# Array of parameters which contains cyclic dependencies.
    attr_reader params: Array[AST::TypeParam]

# Type name
    attr_reader type_name: TypeName

# Method name
    attr_reader method_name: Symbol?

def initialize: (type_name: TypeName, method_name: Symbol?, params: Array[AST::TypeParam], location: Location[untyped, untyped]?) -> void
  end
end