low_type 1.2.0 → 1.3.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 218e91b66e1cd32b9760929f79046c215475f4b07416589443e92cd61ff35af5
-  data.tar.gz: bd69d269f5d4cab60a1e9b1277c93d62ab9540ae483a9c176921062150ef4430
+  metadata.gz: 4c2486123df7a2ef95af428ffed95c0cefa986c300f5b7e20edcba5926454d2c
+  data.tar.gz: b06eecc97f2d4d6a768e8dfc715bda4a7b38b4d281b5f4bb730350e56cad9663
 SHA512:
-  metadata.gz: e03cedbb09f99af96a08cd6a3d755e775cefea140f9fa25b4a920079298b0e65fefcc27a5600890404c6988b977d6dc3540d3db5abdab37e4347aad6f322bd1e
-  data.tar.gz: d31c9c3bd5e645043b4ad710c415858300013000862ab2ef0a6664e3e59751251c448c6a6cbaedf63147446aaa0aca1d5bac433b60952b7a7bd05a05b1342440
+  metadata.gz: 53654148a7e391a5f6bcdd86d1b33aea7b56e5a11d2e5be4b83c18901ae40ed72976d67c699710c3114babfd4390aef573580e750d49bfc3c0bbe076bd68f684
+  data.tar.gz: '05132820addc2ebe0ee79418b6f9c881ae881d205449a39a04bd24548b4cca8dc653fd1dbedf30207e4123632a263343e5920b5bed43d2c68f9f471c68100327'

data/lib/definitions/evaluator.rb

@@ -35,37 +35,47 @@ module Low
     include Types
     using LowType::Syntax
 
-    def instance_evaluate(proxy:)
+    def low_evaluate(proxy:)
       # Not a security risk because the code comes from a trusted source; the file that included lowtype.
       eval(proxy.value, binding, proxy.file_path, proxy.start_line) # rubocop:disable Security/Eval
     end
 
+    def class_evaluate(proxy:, class_binding:)
+      # Not a security risk because the code comes from a trusted source; the file that included lowtype.
+      eval(proxy.value, class_binding, proxy.file_path, proxy.start_line) # rubocop:disable Security/Eval
+    end
+
     class << self
-      def evaluate(method_proxies:)
+      def evaluate(method_proxies:, class_binding: nil)
         require_relative '../syntax/union_types' if LowType.config.union_type_expressions
 
         method_proxies.each_value do |method_proxy|
-          evaluate_param_proxy_expressions(method_proxy:)
+          evaluate_param_proxy_expressions(method_proxy:, class_binding:)
           evaluate_return_proxy_expression(return_proxy: method_proxy.return_proxy) if method_proxy.return_proxy
         end
       end
 
-      def evaluate_param_proxy_expressions(method_proxy:)
+      def evaluate_param_proxy_expressions(method_proxy:, class_binding: nil)
         begin # rubocop:disable Style/RedundantBegin
           method_proxy.tagged_params(:value).each do |param_proxy|
-            # TODO: Evaluate in the binding of the class that included LowType if not a type managed by LowType.
-            expression = new.instance_evaluate(proxy: param_proxy)
+            expression = begin
+              new.low_evaluate(proxy: param_proxy)
+            rescue NameError
+              raise unless class_binding
+
+              new.class_evaluate(proxy: param_proxy, class_binding:)
+            end
             param_proxy.expression = cast_type_expression(expression:, method_proxy:)
           end
-        rescue NameError
+        rescue NameError => e
           mp = method_proxy
-          raise NameError, "Unknown type '#{mp.value}' for #{mp.scope} at #{mp.file_path}:#{mp.start_line}"
+          raise NameError, "Unknown type '#{e.name}' for #{mp.scope} at #{mp.file_path}:#{mp.start_line}"
         end
       end
 
       def evaluate_return_proxy_expression(return_proxy:)
         begin
-          expression = new.instance_evaluate(proxy: return_proxy)
+          expression = new.low_evaluate(proxy: return_proxy)
         rescue NameError
           rp = return_proxy
           raise NameError, "Unknown return type '#{rp.value}' for #{rp.scope} at #{rp.file_path}:#{rp.start_line}"

data/lib/definitions/type_accessors.rb

@@ -5,6 +5,17 @@ require_relative '../proxies/return_proxy'
 require_relative '../queries/type_query'
 
 module Low
+  # Usage:
+  #
+  # type_accessor name: String # => @name getter and @name=() setter
+  # type_accessor name: String | 'Cher'
+  #
+  # type_reader name: String
+  # type_reader name: String | 'Cher' # defaults to 'Cher' if nil
+  #
+  # type_writer name: String
+  # type_writer name: String | nil # accepts String or nil
+  #
   module TypeAccessors
     def type_reader(named_expressions)
       named_expressions.each do |name, exp|

data/lib/low_type.rb

@@ -50,7 +50,7 @@ module LowType
 
       class_proxy.class_binding = trace.binding
 
-      Low::Evaluator.evaluate(method_proxies: class_proxy.keyed_methods)
+      Low::Evaluator.evaluate(method_proxies: class_proxy.keyed_methods, class_binding: class_proxy.class_binding)
 
       klass.prepend Low::Redefiner.redefine(method_proxies: class_proxy.instance_methods, class_proxy:)
       klass.singleton_class.prepend Low::Redefiner.redefine(method_proxies: class_proxy.class_methods, class_proxy:)
@@ -63,17 +63,18 @@ module LowType
     tp.enable
   end
 
+  Config = Struct.new(
+    :type_checking,
+    :error_mode,
+    :output_mode,
+    :output_size,
+    :deep_type_check,
+    :union_type_expressions
+  )
+
   class << self
     def config
-      config = Struct.new(
-        :type_checking,
-        :error_mode,
-        :output_mode,
-        :output_size,
-        :deep_type_check,
-        :union_type_expressions
-      )
-      @config ||= config.new(true, :error, :type, 100, true, true)
+      @config ||= Config.new(true, :error, :type, 100, true, true)
     end
 
     def configure

data/lib/version.rb

@@ -2,6 +2,6 @@
 
 module Low
   module Type
-    VERSION = '1.2.0'
+    VERSION = '1.3.1'
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: low_type
 version: !ruby/object:Gem::Version
-  version: 1.2.0
+  version: 1.3.1
 platform: ruby
 authors:
 - maedi