method-ray 0.1.8 → 0.1.10

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: method-ray
 version: !ruby/object:Gem::Version
-  version: 0.1.8
+  version: 0.1.10
 platform: ruby
 authors:
 - dak2
@@ -23,9 +23,10 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '3.0'
-description: |
-  Method-Ray is a static analysis tool that checks the callability of methods in Ruby code.
-  It uses graph-based type inference to detect undefined method calls at analysis time.
+description: 'Method-Ray is a static analysis tool that checks the callability of
+  methods in Ruby code.
+
+  '
 email:
 - dak2.dev@gmail.com
 executables:
@@ -37,6 +38,59 @@ files:
 - CHANGELOG.md
 - LICENSE
 - README.md
+- core/Cargo.toml
+- core/src/analyzer/assignments.rs
+- core/src/analyzer/attributes.rs
+- core/src/analyzer/blocks.rs
+- core/src/analyzer/calls.rs
+- core/src/analyzer/conditionals.rs
+- core/src/analyzer/definitions.rs
+- core/src/analyzer/dispatch.rs
+- core/src/analyzer/exceptions.rs
+- core/src/analyzer/install.rs
+- core/src/analyzer/literals.rs
+- core/src/analyzer/loops.rs
+- core/src/analyzer/mod.rs
+- core/src/analyzer/operators.rs
+- core/src/analyzer/parameters.rs
+- core/src/analyzer/parentheses.rs
+- core/src/analyzer/returns.rs
+- core/src/analyzer/super_calls.rs
+- core/src/analyzer/variables.rs
+- core/src/cache/mod.rs
+- core/src/cache/rbs_cache.rs
+- core/src/checker.rs
+- core/src/cli/args.rs
+- core/src/cli/commands.rs
+- core/src/cli/mod.rs
+- core/src/diagnostics/diagnostic.rs
+- core/src/diagnostics/formatter.rs
+- core/src/diagnostics/mod.rs
+- core/src/env/box_manager.rs
+- core/src/env/global_env.rs
+- core/src/env/local_env.rs
+- core/src/env/method_registry.rs
+- core/src/env/mod.rs
+- core/src/env/scope.rs
+- core/src/env/type_error.rs
+- core/src/env/vertex_manager.rs
+- core/src/graph/box.rs
+- core/src/graph/change_set.rs
+- core/src/graph/mod.rs
+- core/src/graph/vertex.rs
+- core/src/lib.rs
+- core/src/lsp/diagnostics.rs
+- core/src/lsp/main.rs
+- core/src/lsp/mod.rs
+- core/src/lsp/server.rs
+- core/src/main.rs
+- core/src/parser.rs
+- core/src/rbs/converter.rs
+- core/src/rbs/error.rs
+- core/src/rbs/loader.rs
+- core/src/rbs/mod.rs
+- core/src/source_map.rs
+- core/src/types.rs
 - exe/methodray
 - ext/Cargo.toml
 - ext/extconf.rb
@@ -47,58 +101,6 @@ files:
 - lib/methodray/cli.rb
 - lib/methodray/commands.rb
 - lib/methodray/version.rb
-- rust/Cargo.toml
-- rust/src/analyzer/assignments.rs
-- rust/src/analyzer/attributes.rs
-- rust/src/analyzer/blocks.rs
-- rust/src/analyzer/calls.rs
-- rust/src/analyzer/conditionals.rs
-- rust/src/analyzer/definitions.rs
-- rust/src/analyzer/dispatch.rs
-- rust/src/analyzer/exceptions.rs
-- rust/src/analyzer/install.rs
-- rust/src/analyzer/literals.rs
-- rust/src/analyzer/loops.rs
-- rust/src/analyzer/mod.rs
-- rust/src/analyzer/operators.rs
-- rust/src/analyzer/parameters.rs
-- rust/src/analyzer/parentheses.rs
-- rust/src/analyzer/returns.rs
-- rust/src/analyzer/variables.rs
-- rust/src/cache/mod.rs
-- rust/src/cache/rbs_cache.rs
-- rust/src/checker.rs
-- rust/src/cli/args.rs
-- rust/src/cli/commands.rs
-- rust/src/cli/mod.rs
-- rust/src/diagnostics/diagnostic.rs
-- rust/src/diagnostics/formatter.rs
-- rust/src/diagnostics/mod.rs
-- rust/src/env/box_manager.rs
-- rust/src/env/global_env.rs
-- rust/src/env/local_env.rs
-- rust/src/env/method_registry.rs
-- rust/src/env/mod.rs
-- rust/src/env/scope.rs
-- rust/src/env/type_error.rs
-- rust/src/env/vertex_manager.rs
-- rust/src/graph/box.rs
-- rust/src/graph/change_set.rs
-- rust/src/graph/mod.rs
-- rust/src/graph/vertex.rs
-- rust/src/lib.rs
-- rust/src/lsp/diagnostics.rs
-- rust/src/lsp/main.rs
-- rust/src/lsp/mod.rs
-- rust/src/lsp/server.rs
-- rust/src/main.rs
-- rust/src/parser.rs
-- rust/src/rbs/converter.rs
-- rust/src/rbs/error.rs
-- rust/src/rbs/loader.rs
-- rust/src/rbs/mod.rs
-- rust/src/source_map.rs
-- rust/src/types.rs
 homepage: https://github.com/dak2/method-ray
 licenses:
 - MIT

data/rust/src/analyzer/assignments.rs

@@ -1,152 +0,0 @@
-//! Multiple Assignment Handlers - Processing Ruby multiple assignment
-//!
-//! v0.1.8 scope: Only RHS as ArrayNode (multiple literal values) is supported.
-//! TODO: Support RHS as single expression (array decomposition)
-//! TODO: Support splat target (*rest) as Array type
-//! TODO: Support RHS as method return value decomposition
-//! TODO: When LHS is longer than RHS, register trailing targets as NilClass
-
-use crate::env::{GlobalEnv, LocalEnv};
-use crate::graph::{ChangeSet, VertexId};
-
-use super::bytes_to_name;
-use super::variables::install_local_var_write;
-
-/// Process multiple assignment node (e.g., `a, b = 1, "hello"`)
-pub(crate) fn process_multi_write_node(
-    genv: &mut GlobalEnv,
-    lenv: &mut LocalEnv,
-    changes: &mut ChangeSet,
-    source: &str,
-    node: &ruby_prism::MultiWriteNode,
-) -> Option<VertexId> {
-    let value = node.value();
-    let mut last_vtx = None;
-
-    if let Some(array_node) = value.as_array_node() {
-        for (target, rhs_elem) in node.lefts().iter().zip(array_node.elements().iter()) {
-            if let Some(target_node) = target.as_local_variable_target_node() {
-                let var_name = bytes_to_name(target_node.name().as_slice());
-                let rhs_vtx =
-                    super::install::install_node(genv, lenv, changes, source, &rhs_elem);
-                if let Some(rv) = rhs_vtx {
-                    last_vtx = Some(install_local_var_write(genv, lenv, changes, var_name, rv));
-                } else {
-                    let var_vtx = genv.new_vertex();
-                    lenv.new_var(var_name, var_vtx);
-                    last_vtx = Some(var_vtx);
-                }
-            }
-        }
-    } else {
-        for target in node.lefts().iter() {
-            if let Some(target_node) = target.as_local_variable_target_node() {
-                let var_name = bytes_to_name(target_node.name().as_slice());
-                let var_vtx = genv.new_vertex();
-                lenv.new_var(var_name, var_vtx);
-                last_vtx = Some(var_vtx);
-            }
-        }
-    }
-
-    last_vtx
-}
-
-#[cfg(test)]
-mod tests {
-    use crate::analyzer::install::AstInstaller;
-    use crate::env::{GlobalEnv, LocalEnv};
-    use crate::graph::VertexId;
-    use crate::parser::ParseSession;
-
-    fn analyze(source: &str) -> (GlobalEnv, LocalEnv) {
-        let session = ParseSession::new();
-        let parse_result = session.parse_source(source, "test.rb").unwrap();
-        let root = parse_result.node();
-        let program = root.as_program_node().unwrap();
-
-        let mut genv = GlobalEnv::new();
-        let mut lenv = LocalEnv::new();
-
-        let mut installer = AstInstaller::new(&mut genv, &mut lenv, source);
-        for stmt in &program.statements().body() {
-            installer.install_node(&stmt);
-        }
-        installer.finish();
-
-        (genv, lenv)
-    }
-
-    fn get_type_show(genv: &GlobalEnv, vtx: VertexId) -> String {
-        if let Some(vertex) = genv.get_vertex(vtx) {
-            vertex.show()
-        } else if let Some(source) = genv.get_source(vtx) {
-            source.ty.show()
-        } else {
-            panic!("vertex {:?} not found as either Vertex or Source", vtx);
-        }
-    }
-
-    #[test]
-    fn test_multi_write_integer_and_string() {
-        let source = r#"a, b = 1, "hello""#;
-        let (genv, lenv) = analyze(source);
-
-        let a_vtx = lenv.get_var("a").expect("a should be registered");
-        assert_eq!(get_type_show(&genv, a_vtx), "Integer");
-
-        let b_vtx = lenv.get_var("b").expect("b should be registered");
-        assert_eq!(get_type_show(&genv, b_vtx), "String");
-    }
-
-    #[test]
-    fn test_multi_write_all_integer() {
-        let source = "a, b, c = 1, 2, 3";
-        let (genv, lenv) = analyze(source);
-
-        let a_vtx = lenv.get_var("a").expect("a should be registered");
-        assert_eq!(get_type_show(&genv, a_vtx), "Integer");
-
-        let b_vtx = lenv.get_var("b").expect("b should be registered");
-        assert_eq!(get_type_show(&genv, b_vtx), "Integer");
-
-        let c_vtx = lenv.get_var("c").expect("c should be registered");
-        assert_eq!(get_type_show(&genv, c_vtx), "Integer");
-    }
-
-    #[test]
-    fn test_multi_write_variable_reference_after_assignment() {
-        let source = r#"
-a, b = 1, "hello"
-x = a
-"#;
-        let (genv, lenv) = analyze(source);
-
-        let x_vtx = lenv.get_var("x").expect("x should be registered");
-        assert_eq!(get_type_show(&genv, x_vtx), "Integer");
-    }
-
-    #[test]
-    fn test_multi_write_lhs_longer_than_rhs() {
-        let source = "a, b, c = 1, 2";
-        let (_, lenv) = analyze(source);
-
-        assert!(lenv.get_var("a").is_some(), "a should be registered");
-        assert!(lenv.get_var("b").is_some(), "b should be registered");
-        // KNOWN LIMITATION (v0.1.8): In Ruby, c receives nil, but zip skips it here
-        assert!(
-            lenv.get_var("c").is_none(),
-            "c should not be registered (zip skips)"
-        );
-    }
-
-    #[test]
-    fn test_multi_write_does_not_panic_on_non_array_rhs() {
-        let source = "a, b = some_expr";
-        let (_, lenv) = analyze(source);
-
-        // Variables should be registered (untyped) without panic
-        assert!(lenv.get_var("a").is_some(), "a should be registered");
-        assert!(lenv.get_var("b").is_some(), "b should be registered");
-    }
-}