In Files

  • rbs-2.1.0/lib/rbs/errors.rb

Class/Module Index [+]

Quicksearch

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-2.1.0/lib/rbs/errors.rb, line 63
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
 
               # File rbs-2.1.0/lib/rbs/errors.rb, line 55
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