low_type 0.7.1 → 0.7.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: af6b3684e92cdf1cd8276d6c06b93d7a83667fdc8ebe32590c26a992d64cfb89
-  data.tar.gz: fb341f9d4ec022a3e2aeda982a30646b44d1a2389ed5d0e473cf8d3c4846fa2b
+  metadata.gz: '08c093dff18ac6521c3f61290a28012b565986300d44afabd9161e663ce2a82f'
+  data.tar.gz: 4eb9c8282d3e9971fb5bbf0dcc6b9a79f2769b93fe3d72cb62242c93b15ea2e3
 SHA512:
-  metadata.gz: 57df3e2a9db8a10f2008c7e7d14ff66cf24562bd80266676ad56c176277eafb76982401db097c3ce98f759fe318d5052095a55366742915c76967449ec22abfc
-  data.tar.gz: cccd7db020ccabd34684347b4e67182ac40b0425acdc23e31a99bd78369c575f2b80a8deabe6ba0c67ae900f2c775e2fe020b0097ce9147aad47aa04d5c3e858
+  metadata.gz: 8d5b73adbff21ff73995856e57681b77048f3e6920ab79d09ab2e60c54a462ee2e0f7a44431466952f2dba7da960be20edecf63a26b0094d4c051bb1e5e5dd5d
+  data.tar.gz: 5033b3d43438797757c4fbb927e20459ae207b1619128ec96ff46a1c89dff23fcbc3ef0da999e99cbb9b7abc59bb262d95dd77d4935c3600a001bf89ff8e0003

data/lib/error_types.rb

@@ -0,0 +1,5 @@
+module LowType
+  class ArgumentTypeError < TypeError; end;
+  class LocalTypeError < TypeError; end;
+  class ReturnTypeError < TypeError; end;
+end

data/lib/interfaces/{proxy_interface.rb → error_interface.rb}

@@ -1,10 +1,12 @@
 module LowType
-  class ProxyInterface
+  class ErrorInterface
+    attr_reader :file
+
     def error_type
       raise NotImplementedError
     end
 
-    def error_message(value:, line: nil)
+    def error_message(value:)
       raise NotImplementedError
     end
   end

data/lib/low_type.rb

@@ -34,11 +34,12 @@ module LowType
       end
     end
 
-    parser = Parser.new(file_path: LowType.file_path(klass:))
+    file_path = LowType.file_path(klass:)
+    parser = Parser.new(file_path:)
     private_start_line = parser.private_start_line
 
-    klass.prepend LowType::Redefiner.redefine_methods(method_nodes: parser.instance_methods, private_start_line:, klass:)
-    klass.singleton_class.prepend LowType::Redefiner.redefine_methods(method_nodes: parser.class_methods, private_start_line:, klass:)
+    klass.prepend LowType::Redefiner.redefine_methods(method_nodes: parser.instance_methods, klass:, private_start_line:, file_path:)
+    klass.singleton_class.prepend LowType::Redefiner.redefine_methods(method_nodes: parser.class_methods, klass:, private_start_line:, file_path:)
   ensure
     Array.define_singleton_method('[]', array_class_method)
     Hash.define_singleton_method('[]', hash_class_method)

data/lib/proxies/file_proxy.rb

@@ -0,0 +1,11 @@
+module LowType
+  class FileProxy
+    attr_reader :path, :line, :scope
+
+    def initialize(path:, line:, scope:)
+      @path = path
+      @line = line
+      @scope = scope
+    end
+  end
+end

data/lib/proxies/local_proxy.rb

@@ -1,21 +1,22 @@
-require_relative '../interfaces/proxy_interface'
-require_relative '../errors'
+require_relative '../interfaces/error_interface'
+require_relative '../error_types'
 
 module LowType
-  class LocalProxy < ProxyInterface
+  class LocalProxy < ErrorInterface
     attr_reader :type_expression, :name
 
-    def initialize(type_expression:, name:)
+    def initialize(type_expression:, name:, file:)
       @type_expression = type_expression
       @name = name
+      @file = file
     end
 
     def error_type
       LocalTypeError
     end
 
-    def error_message(value:, line:)
-      "Invalid variable type #{value.class} in '#{@name.class}' on line #{line}. Valid types: '#{@type_expression.valid_types}'"
+    def error_message(value:)
+      "Invalid variable type #{value.class} in '#{@name.class}' on line #{@file.line}. Valid types: '#{@type_expression.valid_types}'"
     end
   end
 end

data/lib/proxies/param_proxy.rb

@@ -1,22 +1,23 @@
-require_relative '../interfaces/proxy_interface'
-require_relative '../errors'
+require_relative '../interfaces/error_interface'
+require_relative '../error_types'
 
 module LowType
-  class ParamProxy < ProxyInterface
+  class ParamProxy < ErrorInterface
     attr_reader :type_expression, :name, :type, :position
 
-    def initialize(type_expression:, name:, type:, position: nil)
+    def initialize(type_expression:, name:, type:, position: nil, file:)
       @type_expression = type_expression
       @name = name
       @type = type
       @position = position
+      @file = file
     end
 
     def error_type
       ArgumentTypeError
     end
 
-    def error_message(value:, line: nil)
+    def error_message(value:)
       "Invalid argument type '#{value.class}' for parameter '#{@name}'. Valid types: '#{@type_expression.valid_types}'"
     end
   end

data/lib/proxies/return_proxy.rb

@@ -1,20 +1,21 @@
-require_relative '../interfaces/proxy_interface'
-require_relative '../errors'
+require_relative '../interfaces/error_interface'
+require_relative '../error_types'
 
 module LowType
-  class ReturnProxy < ProxyInterface
+  class ReturnProxy < ErrorInterface
     attr_reader :type_expression, :name
 
-    def initialize(type_expression:, name:)
+    def initialize(type_expression:, name:, file:)
       @type_expression = type_expression
       @name = name
+      @file = file
     end
 
     def error_type
       ReturnTypeError
     end
 
-    def error_message(value:, line: nil)
+    def error_message(value:)
       "Invalid return type '#{value.class}' for method '#{@name}'. Valid types: '#{@type_expression.valid_types}'"
     end
   end

data/lib/redefiner.rb

@@ -1,3 +1,4 @@
+require_relative 'proxies/file_proxy'
 require_relative 'proxies/method_proxy'
 require_relative 'proxies/param_proxy'
 require_relative 'proxies/return_proxy'
@@ -6,13 +7,16 @@ require_relative 'type_expression'
 
 module LowType
   class Redefiner
+    FILE_PATH = File.expand_path(__FILE__)
+
     class << self
-      def redefine_methods(method_nodes:, private_start_line:, klass:)
+      def redefine_methods(method_nodes:, klass:, private_start_line:, file_path:)
         Module.new do
           method_nodes.each do |method_node|
             name = method_node.name
-            params = Redefiner.params_with_type_expressions(method_node:)
-            return_proxy = Redefiner.return_proxy(method_node:)
+            file = FileProxy.new(path: file_path, line: method_node.start_line, scope: "#{klass}##{method_node.name}")
+            params = Redefiner.params_with_type_expressions(method_node:, file:)
+            return_proxy = Redefiner.return_proxy(method_node:, file:)
 
             klass.low_methods[name] = MethodProxy.new(name:, params:, return_proxy:)
 
@@ -45,7 +49,7 @@ module LowType
         end
       end
 
-      def params_with_type_expressions(method_node:)
+      def params_with_type_expressions(method_node:, file:)
         return [] if method_node.parameters.nil?
 
         params = method_node.parameters.slice
@@ -64,9 +68,9 @@ module LowType
                 expression = binding.local_variable_get(name)
 
                 if expression.class == TypeExpression
-                  param_proxies << ParamProxy.new(type_expression: expression, name:, type:, position:)
+                  param_proxies << ParamProxy.new(type_expression: expression, name:, type:, position:, file:)
                 elsif ::LowType.type?(expression)
-                  param_proxies << ParamProxy.new(type_expression: TypeExpression.new(type: expression), name:, type:, position:)
+                  param_proxies << ParamProxy.new(type_expression: TypeExpression.new(type: expression), name:, type:, position:, file:)
                 end
               end
 
@@ -83,14 +87,14 @@ module LowType
         raise ArgumentError, "Incorrect param syntax: #{e.message}"
       end
 
-      def return_proxy(method_node:)
+      def return_proxy(method_node:, file:)
         return_node = Parser.return_node(method_node:)
         return nil if return_node.nil?
 
         expression = eval(return_node.slice).call
         expression = TypeExpression.new(type: expression) unless expression.is_a?(TypeExpression)
 
-        ReturnProxy.new(type_expression: expression, name: method_node.name)
+        ReturnProxy.new(type_expression: expression, name: method_node.name, file:)
       end
 
       private

data/lib/type_assignment.rb

@@ -1,3 +1,4 @@
+require_relative 'proxies/file_proxy'
 require_relative 'proxies/local_proxy'
 require_relative 'type_expression'
 require_relative 'value_expression'
@@ -12,15 +13,17 @@ module TypeAssignment
       raise AssignmentError, "Single-instance objects like #{object} are not supported"
     end
 
-    local_proxy = LowType::LocalProxy.new(type_expression:, name: self)
+    last_caller = caller_locations(1, 1).first
+    file = LowType::FileProxy.new(path: last_caller.path, line: last_caller.lineno, scope: 'local type')
+    local_proxy = LowType::LocalProxy.new(type_expression:, name: self, file:)
     object.instance_variable_set('@local_proxy', local_proxy)
 
-    type_expression.validate!(value: object, proxy: local_proxy, line: caller_locations(1, 1).first.lineno)
+    type_expression.validate!(value: object, proxy: local_proxy)
 
     def object.with_type=(value)
       local_proxy = self.instance_variable_get('@local_proxy')
       type_expression = local_proxy.type_expression
-      type_expression.validate!(value:, proxy: local_proxy, line: caller_locations(1, 1).first.lineno)
+      type_expression.validate!(value:, proxy: local_proxy)
 
       # We can't reassign self in Ruby so we reassign instance variables instead.
       value.instance_variables.each do |variable|

data/lib/type_expression.rb

@@ -2,6 +2,8 @@ require_relative 'proxies/param_proxy'
 
 module LowType
   class TypeExpression
+    FILE_PATH = File.expand_path(__FILE__)
+
     attr_reader :types, :default_value
 
     def initialize(type: nil, default_value: :LOW_TYPE_UNDEFINED)
@@ -27,10 +29,10 @@ module LowType
       @default_value == :LOW_TYPE_UNDEFINED
     end
 
-    def validate!(value:, proxy:, line: nil)
+    def validate!(value:, proxy:)
       if value.nil?
         return true if @default_value.nil?
-        raise proxy.error_type, proxy.error_message(value:, line:) if required?
+        raise proxy.error_type, proxy.error_message(value:) if required?
       end
 
       @types.each do |type|
@@ -42,7 +44,21 @@ module LowType
         end
       end
 
-      raise proxy.error_type, proxy.error_message(value:, line:)
+      raise proxy.error_type, proxy.error_message(value:)
+    rescue proxy.error_type => e
+      file_paths = [FILE_PATH, LowType::Redefiner::FILE_PATH]
+      raise proxy.error_type, e.message, backtrace_with_proxy(file_paths:, backtrace: e.backtrace, proxy:)
+    end
+
+    def backtrace_with_proxy(file_paths:, proxy:, backtrace:)
+      # Remove LowType file paths from the backtrace.
+      filtered_backtrace = backtrace.reject { |line| file_paths.find { |file_path| line.include?(file_path) } }
+
+      # Add the proxied file to the backtrace.
+      proxy_file_backtrace = "#{proxy.file.path}:#{proxy.file.line}:in '#{proxy.file.scope}'"
+      proxy_file_backtrace = "from " + proxy_file_backtrace if filtered_backtrace.first.start_with?('from')
+
+      [proxy_file_backtrace, *filtered_backtrace]
     end
 
     def valid_types

data/lib/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module LowType
-  VERSION = '0.7.1'
+  VERSION = '0.7.3'
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: low_type
 version: !ruby/object:Gem::Version
-  version: 0.7.1
+  version: 0.7.3
 platform: ruby
 authors:
 - maedi
@@ -17,10 +17,11 @@ executables: []
 extensions: []
 extra_rdoc_files: []
 files:
-- lib/errors.rb
-- lib/interfaces/proxy_interface.rb
+- lib/error_types.rb
+- lib/interfaces/error_interface.rb
 - lib/low_type.rb
 - lib/parser.rb
+- lib/proxies/file_proxy.rb
 - lib/proxies/local_proxy.rb
 - lib/proxies/method_proxy.rb
 - lib/proxies/param_proxy.rb

data/lib/errors.rb

@@ -1,3 +0,0 @@
-class ArgumentTypeError < TypeError; end;
-class LocalTypeError < TypeError; end;
-class ReturnTypeError < TypeError; end;