ꦫꦣꦺꦤ꧀ꦄꦤ꧀ꦠꦱꦺꦤ

PATH: opt / alt / ruby34 / share / gems / gems / rbs-3.8.0 / sig

module RBS
  class Validator
    attr_reader env: Environment

attr_reader resolver: Resolver::TypeNameResolver?

attr_reader definition_builder: DefinitionBuilder

attr_reader type_alias_dependency: TypeAliasDependency

attr_reader type_alias_regularity: TypeAliasRegularity

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

# Validates the presence of type names and type application arity match.
    #
    def validate_type: (Types::t, context: Resolver::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::TypeAliasEntry) ?{ (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

# Validates class alias declaration
    #
    # - The right hand side can be normalized
    # - No mixing alias declaration between class and modules
    #
    def validate_class_alias: (entry: Environment::ClassAliasEntry | Environment::ModuleAliasEntry) -> 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: Resolver::context) ?{ (Types::t) -> TypeName } -> Types::t
  end
end

[-] collection.rbs [edit]
[-] sorter.rbs [edit]
[-] subtractor.rbs [edit]
[-] rbs.rbs [edit]
[-] comment.rbs [edit]
[-] test.rbs [edit]
[+] resolver
[-] vendorer.rbs [edit]
[-] method_builder.rbs [edit]
[-] environment_loader.rbs [edit]
[-] substitution.rbs [edit]
[+] prototype
[-] validator.rbs [edit]
[-] locator.rbs [edit]
[+] cli
[-] version.rbs [edit]
[-] environment.rbs [edit]
[-] builtin_names.rbs [edit]
[-] directives.rbs [edit]
[+] unit_test
[-] method_types.rbs [edit]
[-] file_finder.rbs [edit]
[-] diff.rbs [edit]
[-] annotation.rbs [edit]
[-] errors.rbs [edit]
[-] definition.rbs [edit]
[-] definition_builder.rbs [edit]
[-] parser.rbs [edit]
[-] util.rbs [edit]
[-] type_alias_regularity.rbs [edit]
[+] annotate
[-] factory.rbs [edit]
[-] ancestor_graph.rbs [edit]
[-] typename.rbs [edit]
[+] collection
[-] types.rbs [edit]
[-] writer.rbs [edit]
[+] ..
[-] visitor.rbs [edit]
[-] type_alias_dependency.rbs [edit]
[+] test
[-] manifest.yaml [edit]
[-] buffer.rbs [edit]
[-] cli.rbs [edit]
[-] location.rbs [edit]
[-] namespace.rbs [edit]
[-] use_map.rbs [edit]
[+] rdoc
[-] environment_walker.rbs [edit]
[-] type_param.rbs [edit]
[-] declarations.rbs [edit]
[-] members.rbs [edit]
[-] ancestor_builder.rbs [edit]
[-] variance_calculator.rbs [edit]
[-] constant.rbs [edit]
[-] repository.rbs [edit]
[+] shims