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

5 entries across 5 versions & 1 rubygems

Version	Path
steep-1.5.0.pre.5	sig/steep/ast/node/type_assertion.rbs
steep-1.5.0.pre.4	sig/steep/ast/node/type_assertion.rbs
steep-1.5.0.pre.3	sig/steep/ast/node/type_assertion.rbs
steep-1.5.0.pre.2	sig/steep/ast/node/type_assertion.rbs
steep-1.5.0.pre.1	sig/steep/ast/node/type_assertion.rbs