Gecko [ beriskala.com ]

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
collection	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
prototype	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
rdoc	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
resolver	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
shims	[ DIR ]	drwxr-xr-x	2026-05-01 04:20
ancestor_builder.rbs	7.36 KB	-rw-r--r--	2025-04-28 21:06
ancestor_graph.rbs	1.27 KB	-rw-r--r--	2025-04-28 21:06
annotation.rbs	556 B	-rw-r--r--	2025-04-28 21:06
buffer.rbs	718 B	-rw-r--r--	2025-04-28 21:06
builtin_names.rbs	847 B	-rw-r--r--	2025-04-28 21:06
cli.rbs	2.15 KB	-rw-r--r--	2025-04-28 21:06
collection.rbs	41 B	-rw-r--r--	2025-04-28 21:06
comment.rbs	495 B	-rw-r--r--	2025-04-28 21:06
constant.rbs	502 B	-rw-r--r--	2025-04-28 21:06
constant_table.rbs	1.1 KB	-rw-r--r--	2025-04-28 21:06
declarations.rbs	6.79 KB	-rw-r--r--	2025-04-28 21:06
definition.rbs	5.06 KB	-rw-r--r--	2025-04-28 21:06
definition_builder.rbs	5.48 KB	-rw-r--r--	2025-04-28 21:06
environment.rbs	4.27 KB	-rw-r--r--	2025-04-28 21:06
environment_loader.rbs	3.83 KB	-rw-r--r--	2025-04-28 21:06
environment_walker.rbs	1.79 KB	-rw-r--r--	2025-04-28 21:06
errors.rbs	7.93 KB	-rw-r--r--	2025-04-28 21:06
factory.rbs	77 B	-rw-r--r--	2025-04-28 21:06
location.rbs	3.3 KB	-rw-r--r--	2025-04-28 21:06
locator.rbs	1.62 KB	-rw-r--r--	2025-04-28 21:06
manifest.yaml	148 B	-rw-r--r--	2025-04-28 21:06
members.rbs	7.05 KB	-rw-r--r--	2025-04-28 21:06
method_builder.rbs	3.17 KB	-rw-r--r--	2025-04-28 21:06
method_types.rbs	1.55 KB	-rw-r--r--	2025-04-28 21:06
namespace.rbs	3.46 KB	-rw-r--r--	2025-04-28 21:06
parser.rbs	892 B	-rw-r--r--	2025-04-28 21:06
rbs.rbs	384 B	-rw-r--r--	2025-04-28 21:06
repository.rbs	2.41 KB	-rw-r--r--	2025-04-28 21:06
shims.rbs	1.34 KB	-rw-r--r--	2025-04-28 21:06
sorter.rbs	499 B	-rw-r--r--	2025-04-28 21:06
substitution.rbs	1.38 KB	-rw-r--r--	2025-04-28 21:06
type_alias_dependency.rbs	585 B	-rw-r--r--	2025-04-28 21:06
type_alias_regularity.rbs	2.89 KB	-rw-r--r--	2025-04-28 21:06
type_name_resolver.rbs	618 B	-rw-r--r--	2025-04-28 21:06
type_param.rbs	2.16 KB	-rw-r--r--	2025-04-28 21:06
typename.rbs	2.11 KB	-rw-r--r--	2025-04-28 21:06
types.rbs	11.57 KB	-rw-r--r--	2025-04-28 21:06
util.rbs	128 B	-rw-r--r--	2025-04-28 21:06
validator.rbs	1.93 KB	-rw-r--r--	2025-04-28 21:06
variance_calculator.rbs	2.56 KB	-rw-r--r--	2025-04-28 21:06
vendorer.rbs	1.44 KB	-rw-r--r--	2025-04-28 21:06
version.rbs	33 B	-rw-r--r--	2025-04-28 21:06
writer.rbs	2.91 KB	-rw-r--r--	2025-04-28 21:06

Rename

module RBS
  class Validator
    attr_reader env: Environment

attr_reader resolver: TypeNameResolver

attr_reader definition_builder: DefinitionBuilder

attr_reader type_alias_dependency: TypeAliasDependency

attr_reader type_alias_regularity: TypeAliasRegularity

def initialize: (env: Environment, resolver: TypeNameResolver) -> void

# Validates the presence of type names and type application arity match.
    #
    def validate_type: (Types::t, context: TypeNameResolver::context) -> void

# Validates type alias definition:
    #
    # - There is no circular definition between aliases
    # - The type alias is _regular_
    # - The generics type parameter variance annotation is consistent with respect to their usage
    # - There is no circular dependencies between the generics type parameter bounds
    #
    # It yields the rhs type if block is given, so that you can validate the rhs type.
    #
    def validate_type_alias: (entry: Environment::SingleEntry[TypeName, AST::Declarations::Alias]) ?{ (Types::t rhs_type) -> void } -> void

# Validates the type parameters in generic methods.
    #
    def validate_method_definition: (AST::Members::MethodDefinition, type_name: TypeName) -> void

# Validates the type parameters if there is no circular dependencies between the bounds.
    #
    # ```rbs
    # [X, Y]                      # OK
    # [X, Y < _Foo[X]]            # OK
    # [X < _Foo[Y], Y]            # OK
    # [X < _Foo[Y], Y < _Foo[X]]  # Error
    # ```
    #
    def validate_type_params: (Array[AST::TypeParam] params, type_name: TypeName, ?method_name: Symbol?, location: Location[untyped, untyped]?) -> void

private

# Resolves relative type names to absolute type names in given context.
    # Yields the type when the type name resolution using `#resolver` fails.
    #
    def absolute_type: (Types::t, context: TypeNameResolver::context) { (Types::t) -> TypeName } -> Types::t
  end
end