Contents

module Steep
  module AST
    module Node
      class TypeAssertion
        attr_reader location: RBS::Location[untyped, untyped]

        def source: () -> String

        def line: () -> Integer

        def initialize: (RBS::Location[untyped, untyped]) -> void

        def type: (RBS::Resolver::context, Subtyping::Check, Array[Symbol] type_vars) -> (Types::t | RBS::ParsingError | Array[Diagnostic::Signature::Base] | nil)

        def type?: (RBS::Resolver::context, Subtyping::Check, Array[Symbol] type_vars) -> Types::t?

        @type_str: String?
        def type_str: () -> String

        def type_location: () -> RBS::Location[untyped, untyped]

        # Returns true if given comment body has a valid type syntax
        #
        # This method is used to reject RDoc directives beforehand.
        #
        def type_syntax?: () -> bool

        def self.parse: (RBS::Location[untyped, untyped]) -> TypeAssertion?
      end
    end
  end
end

Version data entries

13 entries across 13 versions & 1 rubygems

Version	Path
steep-1.7.0.dev.3	sig/steep/ast/node/type_assertion.rbs
steep-1.7.0.dev.2	sig/steep/ast/node/type_assertion.rbs
steep-1.7.0.dev.1	sig/steep/ast/node/type_assertion.rbs
steep-1.6.0	sig/steep/ast/node/type_assertion.rbs
steep-1.6.0.pre.4	sig/steep/ast/node/type_assertion.rbs
steep-1.6.0.pre.3	sig/steep/ast/node/type_assertion.rbs
steep-1.6.0.pre.2	sig/steep/ast/node/type_assertion.rbs
steep-1.6.0.pre.1	sig/steep/ast/node/type_assertion.rbs
steep-1.5.3	sig/steep/ast/node/type_assertion.rbs
steep-1.5.2	sig/steep/ast/node/type_assertion.rbs
steep-1.5.1	sig/steep/ast/node/type_assertion.rbs
steep-1.5.0	sig/steep/ast/node/type_assertion.rbs
steep-1.5.0.pre.6	sig/steep/ast/node/type_assertion.rbs