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-1.0.4/lib/rbs/errors.rb, line 31
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-1.0.4/lib/rbs/errors.rb, line 23
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

Home Classes Methods

In Files

Parent

Methods

Class/Module Index

RBS::InvalidTypeApplicationError

Attributes

Public Class Methods