class RBS::InvalidTypeApplicationError

Attributes

args[R]
location[R]
params[R]
type_name[R]

Public Class Methods

check!(type_name:, args:, params:, location:) click to toggle source
# File rbs-3.2.1/lib/rbs/errors.rb, line 95
def self.check!(type_name:, args:, params:, location:)
  unless args.size == params.size
    raise new(type_name: type_name, args: args, params: params, location: location)
  end
end
new(type_name:, args:, params:, location:) click to toggle source
Calls superclass method
# File rbs-3.2.1/lib/rbs/errors.rb, line 87
def initialize(type_name:, args:, params:, location:)
  @type_name = type_name
  @args = args
  @params = params
  @location = location
  super "#{Location.to_string location}: #{type_name} expects parameters [#{params.join(", ")}], but given args [#{args.join(", ")}]"
end