Gecko [ v3.cesa.co.za ]

Linux cesa-www-main 6.1.0-49-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.174-1 (2026-05-26) x86_64
Apache/2.4.68 (Debian)
Server IP : 10.218.0.2 & Your IP : 216.73.216.28
Domains : Cant Read [ /etc/named.conf ]
User : www-data

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
collection	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
ancestor_builder.rbs	5.3 KB	-rw-r--r--	2022-04-12 11:11
ancestor_graph.rbs	1.27 KB	-rw-r--r--	2022-04-12 11:11
annotation.rbs	554 B	-rw-r--r--	2022-04-12 11:11
buffer.rbs	659 B	-rw-r--r--	2022-04-12 11:11
builtin_names.rbs	813 B	-rw-r--r--	2022-04-12 11:11
char_scanner.rbs	158 B	-rw-r--r--	2022-04-12 11:11
cli.rbs	1.86 KB	-rw-r--r--	2022-04-12 11:11
collection.rbs	41 B	-rw-r--r--	2022-04-12 11:11
comment.rbs	495 B	-rw-r--r--	2022-04-12 11:11
constant.rbs	502 B	-rw-r--r--	2022-04-12 11:11
constant_table.rbs	1.1 KB	-rw-r--r--	2022-04-12 11:11
declarations.rbs	6.79 KB	-rw-r--r--	2022-04-12 11:11
definition.rbs	4.86 KB	-rw-r--r--	2022-04-12 11:11
definition_builder.rbs	3.46 KB	-rw-r--r--	2022-04-12 11:11
environment.rbs	4.21 KB	-rw-r--r--	2022-04-12 11:11
environment_loader.rbs	3.79 KB	-rw-r--r--	2022-04-12 11:11
environment_walker.rbs	1.79 KB	-rw-r--r--	2022-04-12 11:11
errors.rbs	7.93 KB	-rw-r--r--	2022-04-12 11:11
location.rbs	3.22 KB	-rw-r--r--	2022-04-12 11:11
locator.rbs	1.52 KB	-rw-r--r--	2022-04-12 11:11
members.rbs	6.58 KB	-rw-r--r--	2022-04-12 11:11
method_builder.rbs	2.86 KB	-rw-r--r--	2022-04-12 11:11
method_types.rbs	1.55 KB	-rw-r--r--	2022-04-12 11:11
namespace.rbs	3.26 KB	-rw-r--r--	2022-04-12 11:11
parser.rbs	892 B	-rw-r--r--	2022-04-12 11:11
polyfill.rbs	2.01 KB	-rw-r--r--	2022-04-12 11:11
rbs.rbs	341 B	-rw-r--r--	2022-04-12 11:11
repository.rbs	2.41 KB	-rw-r--r--	2022-04-12 11:11
substitution.rbs	1.38 KB	-rw-r--r--	2022-04-12 11:11
type_alias_dependency.rbs	585 B	-rw-r--r--	2022-04-12 11:11
type_alias_regularity.rbs	2.89 KB	-rw-r--r--	2022-04-12 11:11
type_name_resolver.rbs	618 B	-rw-r--r--	2022-04-12 11:11
type_param.rbs	2.16 KB	-rw-r--r--	2022-04-12 11:11
typename.rbs	2.03 KB	-rw-r--r--	2022-04-12 11:11
types.rbs	11.25 KB	-rw-r--r--	2022-04-12 11:11
util.rbs	128 B	-rw-r--r--	2022-04-12 11:11
validator.rbs	1.8 KB	-rw-r--r--	2022-04-12 11:11
variance_calculator.rbs	2.56 KB	-rw-r--r--	2022-04-12 11:11
vendorer.rbs	1.43 KB	-rw-r--r--	2022-04-12 11:11
version.rbs	33 B	-rw-r--r--	2022-04-12 11:11
writer.rbs	1.08 KB	-rw-r--r--	2022-04-12 11:11

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
    #
    def validate_type_alias: (entry: Environment::SingleEntry[TypeName, AST::Declarations::Alias]) -> 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