repl_type_completor 0.1.5 → 0.1.7

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f9fd32939443428590da667d339d7bb234b7831f259d4d5fc6f9aa4c89e30265
-  data.tar.gz: 60893ba2d927272dce119ee977d6c8d3c472af808c80b482f3ee8e420532749a
+  metadata.gz: 2e852d359a7203c7d7b6b001dc043cb749427339d7024bc13666baff16908076
+  data.tar.gz: c9f790626f9cf102b7571c7eb9612da3924b1e8f9d360bc9cd3881f48dc602a5
 SHA512:
-  metadata.gz: 1012c8e5c03bf2f76d267454c17f95e816d986a82bfc91a8f1ea37a2a562bc28d5c9df69e2ab143ada813a8231ec309520d86a168680a31f13be0caf96cf452b
-  data.tar.gz: b008d3bf44a71071d3cacd4ee163abb31ccadced36020733dbf562fa603e914855ef215a1820b3d07afbb1ac89fdd107f2aadc20c5a474722cfa3b439dc9038a
+  metadata.gz: 6a60c14cde97df73039ea4be3572d7e53fbff6848229ec2f127ab1537d46ec2fecdcaf360bcb63460bb3e44237f08f4d962c0677b30f9aafdb575126b33efd84
+  data.tar.gz: 64a1113147f6d0a3a90958a2f9a106cd9d04a8678ee10103d54000b7c7b754584feb63382fbaf77534955ade2a8400ad19d76f696ad7d7faa9bb18cd0789e89c

data/lib/repl_type_completor/type_analyzer.rb

@@ -342,14 +342,14 @@ module ReplTypeCompletor
         Types::UnionType[left, right]
       else
         right = evaluate node.value, scope
-        method_call left, node.operator, [right], nil, nil, scope, name_match: false
+        method_call left, node.binary_operator, [right], nil, nil, scope, name_match: false
       end
     end
 
     def evaluate_variable_operator_write(node, scope)
       left = scope[node.name.to_s] || Types::OBJECT
       right = evaluate node.value, scope
-      scope[node.name.to_s] = method_call left, node.operator, [right], nil, nil, scope, name_match: false
+      scope[node.name.to_s] = method_call left, node.binary_operator, [right], nil, nil, scope, name_match: false
     end
     alias evaluate_global_variable_operator_write_node evaluate_variable_operator_write
     alias evaluate_local_variable_operator_write_node evaluate_variable_operator_write
@@ -378,7 +378,7 @@ module ReplTypeCompletor
     def evaluate_constant_operator_write_node(node, scope)
       left = scope[node.name.to_s] || Types::OBJECT
       right = evaluate node.value, scope
-      scope[node.name.to_s] = method_call left, node.operator, [right], nil, nil, scope, name_match: false
+      scope[node.name.to_s] = method_call left, node.binary_operator, [right], nil, nil, scope, name_match: false
     end
 
     def evaluate_constant_and_write_node(node, scope)
@@ -395,7 +395,7 @@ module ReplTypeCompletor
     def evaluate_constant_path_operator_write_node(node, scope)
       left, receiver, _parent_module, name = evaluate_constant_node_info node.target, scope
       right = evaluate node.value, scope
-      value = method_call left, node.operator, [right], nil, nil, scope, name_match: false
+      value = method_call left, node.binary_operator, [right], nil, nil, scope, name_match: false
       const_path_write receiver, name, value, scope
       value
     end
@@ -419,7 +419,7 @@ module ReplTypeCompletor
     def evaluate_constant_path_write_node(node, scope)
       receiver = evaluate node.target.parent, scope if node.target.parent
       value = evaluate node.value, scope
-      const_path_write receiver, node.target.child.name.to_s, value, scope
+      const_path_write receiver, node.target.name.to_s, value, scope
       value
     end
 
@@ -466,13 +466,19 @@ module ReplTypeCompletor
       value.is_a?(Array) ? Types.array_of(*value) : value
     end
 
-    def evaluate_if_node(node, scope) = evaluate_if_unless(node, scope)
-    def evaluate_unless_node(node, scope) = evaluate_if_unless(node, scope)
-    def evaluate_if_unless(node, scope)
+    def evaluate_if_node(node, scope)
       evaluate node.predicate, scope
       Types::UnionType[*scope.run_branches(
         -> { node.statements ? evaluate(node.statements, _1) : Types::NIL },
-        -> { node.consequent ? evaluate(node.consequent, _1) : Types::NIL }
+        -> { node.subsequent ? evaluate(node.subsequent, _1) : Types::NIL }
+      )]
+    end
+
+    def evaluate_unless_node(node, scope)
+      evaluate node.predicate, scope
+      Types::UnionType[*scope.run_branches(
+        -> { node.statements ? evaluate(node.statements, _1) : Types::NIL },
+        -> { node.else_clause ? evaluate(node.else_clause, _1) : Types::NIL }
       )]
     end
 
@@ -578,19 +584,14 @@ module ReplTypeCompletor
           end
           error_types << Types::InstanceType.new(StandardError) if error_types.empty?
           error_type = Types::UnionType[*error_types]
-          case node.reference
-          when Prism::LocalVariableTargetNode, Prism::InstanceVariableTargetNode, Prism::ClassVariableTargetNode, Prism::GlobalVariableTargetNode, Prism::ConstantTargetNode
-            s[node.reference.name.to_s] = error_type
-          when Prism::CallTargetNode, Prism::IndexTargetNode
-            evaluate_multi_write_receiver node.reference, s, nil
-          end
+          evaluate_write node.reference, error_type, s, nil
         end
         node.statements ? evaluate(node.statements, s) : Types::NIL
       end
-      if node.consequent # begin; rescue A; rescue B; end
+      if node.subsequent # begin; rescue A; rescue B; end
         types = scope.run_branches(
           run_rescue,
-          -> { evaluate node.consequent, _1 }
+          -> { evaluate node.subsequent, _1 }
         )
         Types::UnionType[*types]
       else
@@ -705,8 +706,8 @@ module ReplTypeCompletor
       branches = node.conditions.map do |condition|
         ->(s) { evaluate_case_when_condition condition, s }
       end
-      if node.consequent
-        branches << ->(s) { evaluate node.consequent, s }
+      if node.else_clause
+        branches << ->(s) { evaluate node.else_clause, s }
       else
         branches << ->(_s) { Types::NIL }
       end
@@ -719,8 +720,8 @@ module ReplTypeCompletor
       branches = node.conditions.map do |condition|
         ->(s) { evaluate_case_in_condition target, condition, s }
       end
-      if node.consequent
-        branches << ->(s) { evaluate node.consequent, s }
+      if node.else_clause
+        branches << ->(s) { evaluate node.else_clause, s }
       end
       Types::UnionType[*scope.run_branches(*branches)]
     end
@@ -869,9 +870,9 @@ module ReplTypeCompletor
     end
 
     def evaluate_constant_node_info(node, scope)
+      name = node.name.to_s
       case node
       when Prism::ConstantPathNode
-        name = node.child.name.to_s
         if node.parent
           receiver = evaluate node.parent, scope
           if receiver.is_a? Types::SingletonType
@@ -887,7 +888,6 @@ module ReplTypeCompletor
           type = Types::NIL
         end
       when Prism::ConstantReadNode
-        name = node.name.to_s
         type = scope[name]
       end
       @dig_targets.resolve type, scope if @dig_targets.target? node
@@ -1042,7 +1042,7 @@ module ReplTypeCompletor
         scope[node.name.to_s] = value
       when Prism::ConstantPathTargetNode
         receiver = evaluated_receivers&.[](node.parent) || evaluate(node.parent, scope) if node.parent
-        const_path_write receiver, node.child.name.to_s, value, scope
+        const_path_write receiver, node.name.to_s, value, scope
       end
     end
 

data/lib/repl_type_completor/types.rb

@@ -1,5 +1,7 @@
 # frozen_string_literal: true
 
+require 'rbs'
+require 'rbs/cli'
 require_relative 'methods'
 
 module ReplTypeCompletor
@@ -22,8 +24,6 @@ module ReplTypeCompletor
 
     def self.load_rbs_builder
       @load_started = true
-      require 'rbs'
-      require 'rbs/cli'
       loader = RBS::CLI::LibraryOptions.new.loader
       loader.add path: Pathname('sig')
       @rbs_builder = RBS::DefinitionBuilder.new env: RBS::Environment.from_loader(loader).resolve_type_names

data/lib/repl_type_completor/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module ReplTypeCompletor
-  VERSION = "0.1.5"
+  VERSION = "0.1.7"
 end

data/lib/repl_type_completor.rb

@@ -101,20 +101,17 @@ module ReplTypeCompletor
         [op == '::' ? :call_or_const : :call, name, receiver_type, self_call]
       when Prism::LocalVariableReadNode, Prism::LocalVariableTargetNode
         [:lvar_or_method, target_node.name.to_s, calculate_scope.call]
-      when Prism::ConstantReadNode, Prism::ConstantTargetNode
+      when Prism::ConstantPathNode, Prism::ConstantPathTargetNode
         name = target_node.name.to_s
-        if parents.last.is_a? Prism::ConstantPathNode
-          path_node = parents.last
-          if path_node.parent # A::B
-            receiver, scope = calculate_type_scope.call(path_node.parent)
-            [:const, name, receiver, scope]
-          else # ::A
-            scope = calculate_scope.call
-            [:const, name, Types::SingletonType.new(Object), scope]
-          end
-        else
-          [:const, name, nil, calculate_scope.call]
+        if target_node.parent # A::B
+          receiver, scope = calculate_type_scope.call(target_node.parent)
+          [:const, name, receiver, scope]
+        else # ::A
+          scope = calculate_scope.call
+          [:const, name, Types::SingletonType.new(Object), scope]
         end
+      when Prism::ConstantReadNode, Prism::ConstantTargetNode
+        [:const, target_node.name.to_s, nil, calculate_scope.call]
       when Prism::GlobalVariableReadNode, Prism::GlobalVariableTargetNode
         [:gvar, target_node.name.to_s, calculate_scope.call]
       when Prism::InstanceVariableReadNode, Prism::InstanceVariableTargetNode

metadata

@@ -1,29 +1,29 @@
 --- !ruby/object:Gem::Specification
 name: repl_type_completor
 version: !ruby/object:Gem::Version
-  version: 0.1.5
+  version: 0.1.7
 platform: ruby
 authors:
 - tompng
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-04-29 00:00:00.000000000 Z
+date: 2024-09-30 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: prism
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.19.0
+        version: '1.0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.19.0
+        version: '1.0'
 - !ruby/object:Gem::Dependency
   name: rbs
   requirement: !ruby/object:Gem::Requirement