List namespace paths on hover + path-related refactors by cammarosano · Pull Request #484 · odoo/odoo-ls

cammarosano · 2025-11-21T17:12:17Z

No description provided.

cammarosano · 2025-11-21T17:16:58Z

server/tests/test_get_symbol.rs

 }

+#[test]
+fn test_hover_on_namespace_and_module() {


The reason I placed this test here is the similarities with the test above (test_hover_on_model_field_and_method).
But should we have a test file per feature, both tests would end up in a test_hover file.

cammarosano · 2025-11-21T17:31:21Z

server/src/core/import_resolver.rs


 pub fn find_module(session: &mut SessionInfo, odoo_addons: Rc<RefCell<Symbol>>, name: &OYarn) -> Option<Rc<RefCell<Symbol>>> {
-    let paths = (*odoo_addons).borrow().paths().clone();
+    let paths = (*odoo_addons).borrow().path().as_vec();


or .as_multiple, if we're sure that odoo_addons is a namespace?

cammarosano · 2025-11-21T17:33:40Z

server/src/core/odoo.rs

+            let SymbolPath::Multiple(addons_paths) = addons_symbol.borrow().path() else {
+                panic!("Odoo addons symbol paths should be a namespace");
+            };


@fda-odoo we wrote this together.
But since then SymbolPath::as_multiple has been introduced.
Shall I replace this by simply let addon_paths = addons_symbol.borrow().path().as_multiple()?

cammarosano · 2025-11-21T17:36:39Z

server/src/core/odoo.rs

    pub fn add_to_rebuild_arch(&mut self, symbol: Rc<RefCell<Symbol>>) {
        if DEBUG_THREADS {
-            trace!("ADDED TO ARCH - {}", symbol.borrow().paths().first().unwrap_or(&symbol.borrow().name().to_string()));
+            trace!("ADDED TO ARCH - {} - {:?}", symbol.borrow().name(), symbol.borrow().path());


@fda-odoo I had shown you a Symbol::debug_paths() just for this cases.
But I decided to drop it , and use this instead (leveraging the derived debug trait on SymbolPath and always displaying the symbol's name anyway). What do you think?

cammarosano · 2025-11-21T17:40:21Z

server/src/core/import_resolver.rs

+    // source_file_symbol is either a file or a namespace with a single path
+    let source_path = source_file_symbol.borrow().path().as_vec()[0].clone();


This simply keeps the old behavior. But it feels dodgy. What do think?
See also: the previous comment

cammarosano · 2025-11-21T17:41:15Z

server/src/core/import_resolver.rs

        };
-        let source_path = source_file_symbol.borrow().paths()[0].clone();
+        // source_file_symbol is either a file or a namespace with a single path
+        let source_path = source_file_symbol.borrow().path().as_vec()[0].clone();


Same as above (preserves the original behavior). Dodgy?
See also: manual_import

cammarosano · 2025-11-21T17:44:20Z

server/src/core/import_resolver.rs

+    if source_file_symbol.borrow().path().as_vec().len() > 1 {
+        panic!("Importing from a multi-path namespace symbol is not supported in manual_import");
+    }


As a reminder: this makes it possible that source_file_symbol is a namespace symbol (thus, with Multiple paths) in resolve_from_stmt and resolve_import_stmt

fda-odoo

First part review, I didn't review the usages already, only the first 4 commits and the struct SymbolPath.
I'll continue newt week

fda-odoo · 2025-11-21T17:28:58Z

server/src/features/features_utils.rs

        // Possibly add more links in the future
        let Some(typ) = typ.upgrade_weak() else {
-            return S!("")
+            return S!("");


That's not useful :)

oops, sorry, automatic formatting (rust-fmt) 😬

fda-odoo · 2025-11-21T17:43:54Z

server/src/core/symbols/symbol.rs

 }
+
+impl SymbolPath {
+    pub fn as_single(self) -> String {


It is not really intuitive that "as_single" returns a String, and not a Single struct.
If we want a String, maybe

pub fn as_string(self) { self.as_single().map(|s| s.to_owned()) }

would be nice to add? or a match in as_string is ok too.

Or we could rename as_single to get_single_string

According to what we discussed live, iirc you suggested to rename it to "as_single_string", and @mmahrouss suggested "to_single_string", because "as_" suggests returning a reference.
So the last push has "to_single_string" the as name for this method.
I'm fine with both, but I'd probably name it unwrap_single, as it closely relates to Options and Results's unwrap, in which you unwrap the Some/Ok value or panic. In our case, because we have more than one alternative to None (Single and Multiple), we'd have to be specific about what we're unwrapping (unwrap_single or unwrap_multiple).

fda-odoo · 2025-11-21T17:44:53Z

server/src/core/symbols/symbol.rs

+        matches!(self, Self::Single(_))
+    }
+
+    pub fn as_multiple(self) -> Vec<String> {


Same, maybe get_multiple_vector?

cammarosano · 2025-11-21T17:51:14Z

server/src/core/symbols/symbol.rs

+        matches!(self, Self::Multiple(_))
+    }
+
+    pub fn as_vec(self) -> Vec<String> {


This enables us to use the result of .path() just like the old paths() - which is probably a bad thing. 😬

cammarosano · 2025-11-21T18:07:28Z

server/src/core/symbols/symbol.rs

+    pub fn as_single(self) -> String {
+        match self {
+            Self::Single(s) => s,
+            _ => panic!("Not a Single"),
+        }
+    }


This consumes self and returns the String. Which is usually what we want when chaining with .path() (right?).
But then this clashes with Rust's convention of returning references for methods called as_*.
Maybe this should be called to_single or unwrap_single or something like this?
I don't particularly like those names, but it feels closely related to what Option::unwrap does.
Alternatively, should this be returning a &String (in which case Symbol::paths should probably also return &String)?

CachedModel is not required to define Odoo models, so we should not fail to detect models if CachedModel is not found in the Odoo source code. Treat `Model` and `TransientModel` similarly. only exit if `BaseModel` does not exist.

While validating search domain, for relational fields, i.e. "m2ofield.normalfield", we should check all the symbols m2ofield on the model, not just one, so we set true on get member symbol

We are trying to do that by checking _register = False. The check was failing because we handled only one evaluation. However, in latest versions we also have a type hint, which is its own evaluation. For that, we implement here a smarter search that only looks are evaluations with values. In that case, we should be more generic in catching cases. Consider using this as the check, instead of checking symbol trees

Check if class model is in a module, otherwise do not mark it as a model This is to avoid crashing later due to the class not being in a model. The crash to avoid is in `core.model.Model.get_symbols`

The base model's search method should have an evaluation of EvaluationSymbolPtr::SELF. This used to be the case, but it got lost in a refactor ([1]). [1]: ca26c3e

Before we were checking if inverse_name arg points to a M2O field, but it can also be a Many2oneReference Fixed false positives for OLS03022

__init_subclass__ and __class_getitem__ have a special behavior where they are implicitly classmethods without the decorator This is added here to avoid, for example, wrong diagnostics

Instead of displaying the "See also" link, we now list the namespace directories when hovering over a namespace symbol. We also make sure that the documentation section appears before the useful links/directories list section.

The `paths` field in `RootSymbol` has no purpose and is always an empty vector.

Among all symbol variants, adding a path is only relevant for `NamespaceSymbol`. Therefore this commits moved the `add_path` method from the generic `Symbol` enum to the specific `NamespaceSymbol` struct.

Package symbols only have a single path. Before this commit, the `PackageSymbol::paths` method always returned a single-element Vec<String>. This commit renames it to `path` (singular) and makes it return the single path instead.

This commit replaces the Vec<String> return type in Symbol::paths() (now renamed to path) with a new SymbolPath enum that explicitly represents three cases: Single path, Multiple paths, or None. The purpose of this change is to force the caller handle the different cases explicitly, rather than doing [0] on the vector previously returned by paths(). This commit also renames get_symbol_first_path() to get_file_path() for clarity, as it only applies to file types (File, Package, XMLFile and CSVFile) and specifically returns the actual file path including __init__.py for packages.

cammarosano self-assigned this Nov 21, 2025

fda-odoo self-requested a review November 21, 2025 17:13

fda-odoo added the enhancement New feature or request label Nov 21, 2025

fda-odoo added this to the 1.1.1 milestone Nov 21, 2025

cammarosano commented Nov 21, 2025

View reviewed changes

cammarosano force-pushed the alpha-list_namespace_dirs-rcdl branch from ce4bf39 to 9bf1d43 Compare November 21, 2025 17:28

cammarosano commented Nov 21, 2025

View reviewed changes

fda-odoo requested changes Nov 21, 2025

View reviewed changes

cammarosano commented Nov 21, 2025

View reviewed changes

cammarosano force-pushed the alpha-list_namespace_dirs-rcdl branch 2 times, most recently from 774838c to 77d6151 Compare November 25, 2025 12:46

fda-odoo modified the milestones: 1.1.1, 1.3.0 Jan 27, 2026

mmahrouss added 11 commits January 27, 2026 11:47

[FIX] Check all relational fields during domain validation

076f22b

While validating search domain, for relational fields, i.e. "m2ofield.normalfield", we should check all the symbols m2ofield on the model, not just one, so we set true on get member symbol

[UPG] update typeshed

e9b2445

[IMP] Handle env get item for multiple fn evals

a2658d9

[IMP] Address cargo compiler warnings

3c0781b

[IMP] handle multiple evals for imports

ca9a944

[IMP] add filter_on_tree to follow_ref

71d619d

[IMP] use filter_on_type to handle typing.Self evaluation

3e32d81

[FIX] do not error on SQL data files

bd11873

[FIX] do not exit on missing python command

033f08c

mmahrouss and others added 10 commits January 27, 2026 13:40

[IMP] refactor odoo step is_model

0839195

[FIX] Avoid crashing on model classes outside a module

3c162fc

Check if class model is in a module, otherwise do not mark it as a model This is to avoid crashing later due to the class not being in a model. The crash to avoid is in `core.model.Model.get_symbols`

[FIX] missing SELF evaluation to search method

81b2a3d

The base model's search method should have an evaluation of EvaluationSymbolPtr::SELF. This used to be the case, but it got lost in a refactor ([1]). [1]: ca26c3e

[FIX] allow M2OReference on inverse_name

c8c6edf

Before we were checking if inverse_name arg points to a M2O field, but it can also be a Many2oneReference Fixed false positives for OLS03022

[IMP] mark implicit class methods as such

df1e271

__init_subclass__ and __class_getitem__ have a special behavior where they are implicitly classmethods without the decorator This is added here to avoid, for example, wrong diagnostics

[IMP] list namespace dirs on hover

c830741

Instead of displaying the "See also" link, we now list the namespace directories when hovering over a namespace symbol. We also make sure that the documentation section appears before the useful links/directories list section.

[REF] remove paths from RootSymbol

c9e5568

The `paths` field in `RootSymbol` has no purpose and is always an empty vector.

[REF] move add_path to NamespaceSymbol

6a63459

Among all symbol variants, adding a path is only relevant for `NamespaceSymbol`. Therefore this commits moved the `add_path` method from the generic `Symbol` enum to the specific `NamespaceSymbol` struct.

[REF] path method in PackageSymbol

2b463c2

Package symbols only have a single path. Before this commit, the `PackageSymbol::paths` method always returned a single-element Vec<String>. This commit renames it to `path` (singular) and makes it return the single path instead.

cammarosano force-pushed the alpha-list_namespace_dirs-rcdl branch from 77d6151 to 6a4db3d Compare January 27, 2026 14:36

fda-odoo force-pushed the alpha branch from 69f5ac3 to a5e855b Compare February 9, 2026 13:29

		// source_file_symbol is either a file or a namespace with a single path
		let source_path = source_file_symbol.borrow().path().as_vec()[0].clone();

Conversation

cammarosano commented Nov 21, 2025

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

cammarosano Nov 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

cammarosano Nov 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

fda-odoo left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

cammarosano Nov 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

cammarosano Nov 21, 2025 •

edited

Loading

cammarosano Nov 21, 2025 •

edited

Loading

cammarosano Nov 21, 2025 •

edited

Loading