Gecko [ beriskala.com ]

Name	Size	Permission	Date
ancestor_builder.rbs	5.29 KB	-rw-r--r--	2024-06-26 17:25
ancestor_graph.rbs	1.27 KB	-rw-r--r--	2024-06-26 17:25
annotation.rbs	518 B	-rw-r--r--	2024-06-26 17:25
buffer.rbs	659 B	-rw-r--r--	2024-06-26 17:25
builtin_names.rbs	795 B	-rw-r--r--	2024-06-26 17:25
char_scanner.rbs	158 B	-rw-r--r--	2024-06-26 17:25
cli.rbs	1.65 KB	-rw-r--r--	2024-06-26 17:25
comment.rbs	529 B	-rw-r--r--	2024-06-26 17:25
constant.rbs	502 B	-rw-r--r--	2024-06-26 17:25
constant_table.rbs	1.09 KB	-rw-r--r--	2024-06-26 17:25
declarations.rbs	7.96 KB	-rw-r--r--	2024-06-26 17:25
definition.rbs	4.43 KB	-rw-r--r--	2024-06-26 17:25
definition_builder.rbs	2.5 KB	-rw-r--r--	2024-06-26 17:25
environment.rbs	3.89 KB	-rw-r--r--	2024-06-26 17:25
environment_loader.rbs	3.65 KB	-rw-r--r--	2024-06-26 17:25
environment_walker.rbs	991 B	-rw-r--r--	2024-06-26 17:25
errors.rbs	6.31 KB	-rw-r--r--	2024-06-26 17:25
location.rbs	4.13 KB	-rw-r--r--	2024-06-26 17:25
locator.rbs	1.56 KB	-rw-r--r--	2024-06-26 17:25
members.rbs	6.63 KB	-rw-r--r--	2024-06-26 17:25
method_builder.rbs	2.86 KB	-rw-r--r--	2024-06-26 17:25
method_types.rbs	805 B	-rw-r--r--	2024-06-26 17:25
namespace.rbs	3.26 KB	-rw-r--r--	2024-06-26 17:25
parser.rbs	1.01 KB	-rw-r--r--	2024-06-26 17:25
polyfill.rbs	378 B	-rw-r--r--	2024-06-26 17:25
rbs.rbs	255 B	-rw-r--r--	2024-06-26 17:25
repository.rbs	2.27 KB	-rw-r--r--	2024-06-26 17:25
substitution.rbs	1.38 KB	-rw-r--r--	2024-06-26 17:25
type_alias_dependency.rbs	585 B	-rw-r--r--	2024-06-26 17:25
type_name_resolver.rbs	618 B	-rw-r--r--	2024-06-26 17:25
typename.rbs	2.03 KB	-rw-r--r--	2024-06-26 17:25
types.rbs	10.12 KB	-rw-r--r--	2024-06-26 17:25
util.rbs	128 B	-rw-r--r--	2024-06-26 17:25
validator.rbs	488 B	-rw-r--r--	2024-06-26 17:25
variance_calculator.rbs	927 B	-rw-r--r--	2024-06-26 17:25
vendorer.rbs	1.43 KB	-rw-r--r--	2024-06-26 17:25
version.rbs	33 B	-rw-r--r--	2024-06-26 17:25
writer.rbs	1.07 KB	-rw-r--r--	2024-06-26 17:25

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
  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?

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

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

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

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

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

class NoTypeFoundError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader location: Location?

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

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

class NoSuperclassFoundError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader location: Location?

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

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

class NoSelfTypeFoundError < DefinitionError
    attr_reader type_name: TypeName
    attr_reader location: Location?

def initialize: (type_name: TypeName, location: Location?) -> 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?

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?

def other_locations: () -> Array[Location?]
  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?

def initialize: (type_name: TypeName, original_name: Symbol, aliased_name: Symbol, location: Location?) -> 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::Declarations::ModuleTypeParams::TypeParam
    attr_reader location: Location?

def initialize: (type_name: TypeName, param: AST::Declarations::ModuleTypeParams::TypeParam, location: Location?) -> 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?
  end

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?

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

def mixin_name: () -> String
  end

class RecursiveTypeAliasError < LoadingError
    attr_reader alias_names: Array[TypeName]
    attr_reader location: Location

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

def name: () -> String
  end
end