class RBS::Test::Tester::MethodCallTester
Attributes
builder[R]
definition[R]
kind[R]
sample_size[R]
self_class[R]
unchecked_classes[R]
Public Class Methods
new(self_class, builder, definition, kind:, sample_size:, unchecked_classes:)
click to toggle source
# File lib/rbs/test/tester.rb, line 119 def initialize(self_class, builder, definition, kind:, sample_size:, unchecked_classes:) @self_class = self_class @definition = definition @builder = builder @kind = kind @sample_size = sample_size @unchecked_classes = unchecked_classes end
Public Instance Methods
call(receiver, trace)
click to toggle source
# File lib/rbs/test/tester.rb, line 145 def call(receiver, trace) method_name = trace.method_name method = definition.methods[method_name] if method RBS.logger.debug { "Type checking `#{self_class}#{format_method_name(method_name)}`..."} errors = check.overloaded_call(method, format_method_name(method_name), trace, errors: []) if errors.empty? RBS.logger.debug { "No type error detected 👏" } else RBS.logger.debug { "Detected type error 🚨" } raise TypeError.new(errors) end else RBS.logger.error { "Type checking `#{self_class}#{method_name}` call but no method found in definition" } end end
check()
click to toggle source
# File lib/rbs/test/tester.rb, line 132 def check @check ||= TypeCheck.new(self_class: self_class, builder: builder, sample_size: sample_size, unchecked_classes: unchecked_classes) end
env()
click to toggle source
# File lib/rbs/test/tester.rb, line 128 def env builder.env end
format_method_name(name)
click to toggle source
# File lib/rbs/test/tester.rb, line 136 def format_method_name(name) case kind when :instance "##{name}" when :singleton ".#{name}" end end