robotcode-robot 2.8.0.dev631__py3-none-any.whl → 2.8.0.dev677__py3-none-any.whl

robotcode/robot/__version__.py

@@ -1 +1 @@
-__version__ = "2.8.0-dev.631"
+__version__ = "2.8.0-dev.677"

robotcode/robot/config/model.py

@@ -3398,47 +3398,54 @@ class RobotConfig(RobotExtendBaseProfile):
             else:
                 verbose_callback("No profiles selected.")
 
+        # whether a selected profile is enabled; None when its condition has an error, which is reported only once
+        enabled_states: Dict[str, Optional[bool]] = {}
+
+        def is_enabled(name: str) -> Optional[bool]:
+            if name not in enabled_states:
+                try:
+                    enabled_states[name] = selected_profiles[name][0].is_enabled()
+                except EvaluationError as e:
+                    message = f"Error evaluating 'enabled' condition for profile '{name}': {e}"
+
+                    if error_callback is None:
+                        raise ValueError(message) from e
+
+                    error_callback(message)
+                    enabled_states[name] = None
+            return enabled_states[name]
+
+        # a profile is used when it is enabled and selected itself, or when one of the profiles that inherit it is
+        # used, so that a disabled profile brings none of the profiles it inherits from along, at any depth
+        used_states: Dict[str, bool] = {}
+
+        def is_used(name: str) -> bool:
+            if name not in used_states:
+                parents = selected_profiles[name][1]
+                used_states[name] = bool(is_enabled(name)) and (
+                    parents is None or any(is_used(parent_name) for parent_name, _ in parents)
+                )
+            return used_states[name]
+
         for profile_name, (profile, parent_profiles) in sorted(
             selected_profiles.items(), key=lambda x: x[1][0].precedence or 0
         ):
-            try:
-                if not profile.is_enabled():
-                    if verbose_callback:
-                        verbose_callback(f'Skipping profile "{profile_name}" because it\'s disabled.')
-                    continue
-            except EvaluationError as e:
-                message = f"Error evaluating 'enabled' condition for profile '{profile_name}': {e}"
-
-                if error_callback is None:
-                    raise ValueError(message) from e
-
-                error_callback(message)
+            profile_enabled = is_enabled(profile_name)
+            if profile_enabled is None:
                 continue
 
-            if parent_profiles is not None:
-                disabled_profiles = []
-                skip = False
-                for parent_profile in parent_profiles:
-                    try:
-                        if not parent_profile[1].is_enabled():
-                            disabled_profiles.append(parent_profile[0])
-                    except EvaluationError as e:
-                        message = f"Error evaluating 'enabled' condition for profile '{parent_profile[0]}': {e}"
-
-                        if error_callback is None:
-                            raise ValueError(message) from e
-
-                        error_callback(message)
-                        skip = True
-                        break
+            if not profile_enabled:
+                if verbose_callback:
+                    verbose_callback(f'Skipping profile "{profile_name}" because it\'s disabled.')
+                continue
 
-                if skip or len(disabled_profiles) == len(parent_profiles):
-                    if verbose_callback:
-                        verbose_callback(
-                            f"Skipping profile inherited '{profile_name}' because no parent is enabled."
-                            f" Disabled profiles: {', '.join(disabled_profiles)}."
-                        )
-                    continue
+            if not is_used(profile_name):
+                if verbose_callback:
+                    verbose_callback(
+                        f"Skipping inherited profile '{profile_name}' because none of the profiles that inherit it"
+                        f" is used: {', '.join(sorted(name for name, _ in parent_profiles or ()))}."
+                    )
+                continue
 
             if verbose_callback:
                 verbose_callback(f'Using profile "{profile_name}".')

robotcode/robot/diagnostics/analyzer_result.py

@@ -1,4 +1,4 @@
-from dataclasses import dataclass
+from dataclasses import dataclass, field
 from typing import TYPE_CHECKING, Dict, List, Optional, Set
 
 from robotcode.core.lsp.types import Diagnostic, Location, Range
@@ -25,3 +25,7 @@ class AnalyzerResult:
     testcase_metadata_references: Dict[str, Set[Location]]
     scope_tree: ScopeTree
     semantic_model: Optional["SemanticModel"] = None
+    # the environment variables the analysis read, which the namespace cache compares when it restores the analysis:
+    # whether each one checked without a default value is set, and the hash of each one whose value the analysis used
+    environment_set: Dict[str, bool] = field(default_factory=dict)
+    environment_values: Dict[str, Optional[str]] = field(default_factory=dict)

robotcode/robot/diagnostics/document_cache_helper.py

@@ -640,6 +640,16 @@ class DocumentsCacheHelper:
             )
             return None
 
+        # from_data resolved the imports again with the current Python path and environment variables. A namespace
+        # with a failed import is never stored and the dependency keys name the files found, so a failed import or
+        # other keys mean that an import finds another file or none now.
+        if result.failed_imports or set(result.dependency_metas or {}) != set(meta.dependency_fingerprints):
+            self._logger.debug(
+                lambda: f"Cache miss for {source}: the imports find other files now, re-analyzing",
+                context_name="cache",
+            )
+            return None
+
         self._logger.debug(
             lambda: f"Loaded namespace from disk cache for {source}",
             context_name="import",

robotcode/robot/diagnostics/entities.py

@@ -52,10 +52,6 @@ class Import(SourceEntity):
     name: Optional[str]
     name_token: Optional[Token]
 
-    @property
-    def hint_key(self) -> str:
-        return f"{self.name}\0{self.source or ''}\0{self.line_no}"
-
     @property
     def range(self) -> Range:
         return Range(
@@ -360,6 +356,26 @@ class VariablesEntry(LibraryEntry):
         )
 
 
+def library_entry_key(entry: LibraryEntry) -> str:
+    """The key of a library entry in the namespace disk cache: of a
+    `namespace_references` entry in `NamespaceData` and of a `lib_entry` in
+    a pickled semantic model.
+
+    Like `LibraryEntry.__hash__`, it includes the import position, so it tells
+    apart the entries of one library: the implicitly imported BuiltIn and an
+    explicit import of it, or a library imported by a resource file and the
+    same library imported directly.
+    """
+
+    def position(r: Range) -> str:
+        return f"{r.start.line}.{r.start.character}-{r.end.line}.{r.end.character}"
+
+    return (
+        f"{type(entry).__name__}:{entry.name}:{entry.import_name}:{entry.args!r}:{entry.alias or ''}"
+        f":{entry.import_source or ''}:{position(entry.import_range)}:{position(entry.alias_range)}"
+    )
+
+
 @dataclass(slots=True)
 class TestCaseDefinition(SourceEntity):
     name: str

robotcode/robot/diagnostics/import_resolver.py

@@ -9,7 +9,6 @@ The resolver takes imports + a VariableScope and returns ResolvedImports
 containing all resolved entries and collected diagnostics.
 """
 
-import os
 from dataclasses import dataclass, field
 from pathlib import Path
 from typing import Any, Dict, Iterable, List, Optional, Tuple, Union
@@ -129,7 +128,6 @@ class ImportResolver:
         "_scope",
         "_sentinel",
         "_source",
-        "_source_hints",
         "_source_id",
         "_variables",
         "_variables_dirty",
@@ -159,14 +157,11 @@ class ImportResolver:
         self._diagnostics: List[Diagnostic] = []
         self._variables: Dict[str, Any] = {}
         self._variables_dirty = True
-        self._source_hints: Dict[str, str] = {}
         self._dependency_metas: Dict[str, Optional[Any]] = {}
         self._failed_imports: List[FailedImport] = []
 
-    def resolve(self, imports: Iterable[Import], *, source_hints: Optional[Dict[str, str]] = None) -> ResolvedImports:
+    def resolve(self, imports: Iterable[Import]) -> ResolvedImports:
         """Resolve all imports and return the result."""
-        if source_hints:
-            self._source_hints = source_hints
         self._refresh_variables()
         self._import_default_libraries()
         self._handle_imports(imports, self._base_dir, top_level=True)
@@ -542,19 +537,11 @@ class ImportResolver:
     ) -> None:
         assert imp.name is not None
 
-        # Look up cached source hint to skip find_resource() filesystem search
-        source_hint: Optional[str] = None
-        if self._source_hints:
-            hint = self._source_hints.get(imp.hint_key)
-            if hint is not None and os.path.isfile(hint):
-                source_hint = hint
-
         resource_doc, meta = self._imports_manager.get_resource_doc_for_resource_import_with_meta(
             imp.name,
             base_dir,
             sentinel=self._sentinel,
             variables=self._variables,
-            source=source_hint,
         )
         if resource_doc.source is not None:
             # setdefault: on re-imports of the same resource the meta captured

robotcode/robot/diagnostics/imports_manager.py

@@ -59,7 +59,7 @@ from ..__version__ import __version__
 from ..utils import RF_VERSION
 from ..utils.robot_path import find_file_ex
 from ..utils.stubs import Languages
-from ..utils.variables import contains_variable
+from ..utils.variables import contains_variable, environment_value_hash
 from .data_cache import CACHE_DIR_NAME, CacheSection, build_cache_dir
 from .data_cache import SqliteDataCache as DefaultDataCache
 from .entities import (
@@ -722,6 +722,10 @@ class NamespaceMetaData:
     config_fingerprint: Any
     dependency_fingerprints: Dict[str, Any] = field(default_factory=dict)
     semantic_model_enabled: bool = False
+    # the environment variables the analysis read: whether each one checked without a default value was set, and the
+    # hash of each one whose value it used (see environment_value_hash)
+    environment_set: Dict[str, bool] = field(default_factory=dict)
+    environment_values: Dict[str, Optional[str]] = field(default_factory=dict)
 
 
 class ImportsManager:
@@ -808,7 +812,6 @@ class ImportsManager:
         self._config_fingerprint: Any = (
             tuple(sorted(self.cmd_variables.items())),
             tuple(self.cmd_variable_files),
-            tuple(sorted((k, v) for k, v in self._environment.items() if k not in os.environ)),
             tuple(self.global_library_search_order),
             self._languages_fingerprint,
         )
@@ -895,8 +898,9 @@ class ImportsManager:
         """Cached configuration snapshot.
 
         Computed once at init from cmd_variables, cmd_variable_files,
-        environment, and global_library_search_order. Changes are
-        detected via direct ``==`` comparison.
+        global_library_search_order and the language settings. Changes are
+        detected via direct ``==`` comparison. Environment variables are
+        not part of it: each namespace keeps the ones its analysis read.
         """
         return self._config_fingerprint
 
@@ -949,13 +953,15 @@ class ImportsManager:
             config_fingerprint=self.config_fingerprint,
             dependency_fingerprints=dict(dependency_metas),
             semantic_model_enabled=semantic_model_enabled,
+            environment_set=dict(namespace.environment_set),
+            environment_values=dict(namespace.environment_values),
         )
 
     def validate_namespace_meta(self, meta: NamespaceMetaData, source_disk_info: Optional[DiskInfo]) -> bool:
         """Check whether a cached NamespaceMetaData is fresh for the given content.
 
         Performs a 2-level validation:
-        Level 1 (fast): source_disk_info, config_fingerprint
+        Level 1 (fast): source_disk_info, config_fingerprint, the environment variables the analysis read
         Level 2 (dependency check): each dependency fingerprint
 
         Validation is against the *effective* content: the source is compared
@@ -990,6 +996,25 @@ class ImportsManager:
             )
             return False
 
+        # the analysis reads os.environ itself, so it does not matter where a variable was set
+        for env_name, was_set in meta.environment_set.items():
+            if (os.environ.get(env_name) is not None) != was_set:
+                name = env_name
+                self._logger.debug(
+                    lambda: f"Cache miss for {source}: environment variable {name!r} was set or unset",
+                    context_name="cache",
+                )
+                return False
+
+        for env_name, value_hash in meta.environment_values.items():
+            if environment_value_hash(os.environ.get(env_name)) != value_hash:
+                name = env_name
+                self._logger.debug(
+                    lambda: f"Cache miss for {source}: environment variable {name!r} changed",
+                    context_name="cache",
+                )
+                return False
+
         # Level 2: dependency checks — direct comparison, no hashing
         for key, saved_value in meta.dependency_fingerprints.items():
             if key.startswith("lib:"):
@@ -2211,10 +2236,8 @@ class ImportsManager:
         base_dir: str,
         sentinel: Any = None,
         variables: Optional[Dict[str, Any]] = None,
-        *,
-        source: Optional[str] = None,
     ) -> _ResourcesEntry:
-        source = source or self.find_resource(name, base_dir, variables=variables)
+        source = self.find_resource(name, base_dir, variables=variables)
         normalized_source = os.path.normpath(os.path.abspath(source))
 
         entry_key = _ResourcesEntryKey(normalized_source)
@@ -2238,12 +2261,10 @@ class ImportsManager:
         base_dir: str,
         sentinel: Any = None,
         variables: Optional[Dict[str, Any]] = None,
-        *,
-        source: Optional[str] = None,
     ) -> Tuple["Namespace", LibraryDoc]:
         with self._logger.measure_time(lambda: f"getting namespace and libdoc for {name}", context_name="import"):
             with self._logger.measure_time(lambda: f"getting resource entry {name}", context_name="import"):
-                entry = self._get_entry_for_resource_import(name, base_dir, sentinel, variables, source=source)
+                entry = self._get_entry_for_resource_import(name, base_dir, sentinel, variables)
 
             with self._logger.measure_time(lambda: f"getting namespace {name}", context_name="import"):
                 namespace = entry.get_namespace()
@@ -2258,11 +2279,9 @@ class ImportsManager:
         base_dir: str,
         sentinel: Any = None,
         variables: Optional[Dict[str, Any]] = None,
-        *,
-        source: Optional[str] = None,
     ) -> Tuple[ResourceDoc, Optional[RobotFileMeta]]:
         with self._logger.measure_time(lambda: f"getting resource doc for {name}", context_name="import"):
-            entry = self._get_entry_for_resource_import(name, base_dir, sentinel, variables, source=source)
+            entry = self._get_entry_for_resource_import(name, base_dir, sentinel, variables)
 
             return entry.get_resource_doc_with_meta()
 
@@ -2272,12 +2291,8 @@ class ImportsManager:
         base_dir: str,
         sentinel: Any = None,
         variables: Optional[Dict[str, Any]] = None,
-        *,
-        source: Optional[str] = None,
     ) -> ResourceDoc:
-        return self.get_resource_doc_for_resource_import_with_meta(name, base_dir, sentinel, variables, source=source)[
-            0
-        ]
+        return self.get_resource_doc_for_resource_import_with_meta(name, base_dir, sentinel, variables)[0]
 
     def complete_library_import(
         self,

robotcode/robot/diagnostics/namespace.py

@@ -44,6 +44,7 @@ from .entities import (
     VariableDefinition,
     VariablesEntry,
     VariablesImport,
+    library_entry_key,
 )
 from .errors import DIAGNOSTICS_SOURCE_NAME
 from .import_resolver import FailedImport, ImportResolver
@@ -132,12 +133,6 @@ class NamespaceData:
     # --- ScopeTree (local scopes only, file_scope is reconstructed) ---
     local_scopes: List[LocalScope] = field(default_factory=list)
 
-    # --- Resolved resource import sources ---
-    # Maps (import_name\0source_file) → resolved absolute path for resources.
-    # Used as source hints in from_data() to skip find_resource() filesystem
-    # lookups during import re-resolution.
-    resolved_resource_sources: Dict[str, str] = field(default_factory=dict)
-
     # --- Authoritative variable definitions (stable_id → VariableDefinition) ---
     # Stores the exact VariableDefinition objects that were referenced during
     # analysis. Used as fallback in from_data() when the re-parsed resource doc
@@ -147,24 +142,6 @@ class NamespaceData:
     variable_definitions: Dict[str, VariableDefinition] = field(default_factory=dict)
 
 
-def _namespace_reference_key(entry: LibraryEntry) -> str:
-    """The key of a `namespace_references` entry in `NamespaceData`.
-
-    Like `LibraryEntry.__hash__`, it includes the import position, so it tells
-    apart the entries of one library: the implicitly imported BuiltIn and an
-    explicit import of it, or a library imported by a resource file and the
-    same library imported directly.
-    """
-
-    def position(r: Range) -> str:
-        return f"{r.start.line}.{r.start.character}-{r.end.line}.{r.end.character}"
-
-    return (
-        f"{type(entry).__name__}:{entry.name}:{entry.import_name}:{entry.args!r}:{entry.alias or ''}"
-        f":{entry.import_source or ''}:{position(entry.import_range)}:{position(entry.alias_range)}"
-    )
-
-
 class Namespace:
     """Data container holding all results of a namespace build.
 
@@ -206,6 +183,8 @@ class Namespace:
         semantic_model: Optional["SemanticModel"] = None,
         dependency_metas: Optional[Dict[str, Optional[Any]]] = None,
         failed_imports: Optional[List[FailedImport]] = None,
+        environment_set: Optional[Dict[str, bool]] = None,
+        environment_values: Optional[Dict[str, Optional[str]]] = None,
     ) -> None:
         self.imports_manager = imports_manager
         self.source = source
@@ -236,6 +215,8 @@ class Namespace:
         self._semantic_model = semantic_model
         self._dependency_metas = dependency_metas
         self._failed_imports = failed_imports or []
+        self._environment_set = environment_set or {}
+        self._environment_values = environment_values or {}
 
         # Lazy-computed caches
         self._namespaces: Optional[Dict[KeywordMatcher, List[LibraryEntry]]] = None
@@ -261,6 +242,16 @@ class Namespace:
         """The imports whose resolution raised or whose library or variables documentation has errors."""
         return self._failed_imports
 
+    @property
+    def environment_set(self) -> Dict[str, bool]:
+        """Whether each environment variable the analysis checked without a default value was set."""
+        return self._environment_set
+
+    @property
+    def environment_values(self) -> Dict[str, Optional[str]]:
+        """The hash of each environment variable whose value the analysis used, see `environment_value_hash`."""
+        return self._environment_values
+
     @property
     def document(self) -> Optional[TextDocument]:
         return self._document() if self._document is not None else None
@@ -516,7 +507,7 @@ class Namespace:
         """
         # Build namespace_references key from LibraryEntry identity
         ns_refs: Dict[str, Set[Location]] = {
-            _namespace_reference_key(entry): locs for entry, locs in self._namespace_references.items()
+            library_entry_key(entry): locs for entry, locs in self._namespace_references.items()
         }
 
         # Collect all referenced variable definitions for stable_id → object lookup
@@ -555,12 +546,6 @@ class Namespace:
             else:
                 var_assigns_merged[sid] = set(ranges)
 
-        # Build resolved resource source hints for from_data() optimization
-        resolved_res_sources: Dict[str, str] = {}
-        for imp, entry in self._import_entries.items():
-            if isinstance(entry, ResourceEntry) and entry.library_doc.source:
-                resolved_res_sources[imp.hint_key] = entry.library_doc.source
-
         return NamespaceData(
             source=self.source,
             source_id=str(self.source_id) if self.source_id else None,
@@ -580,7 +565,6 @@ class Namespace:
             metadata_references={k: set(v) for k, v in self._metadata_references.items()},
             testcase_metadata_references={k: set(v) for k, v in self._testcase_metadata_references.items()},
             local_scopes=list(self._scope_tree.local_scopes),
-            resolved_resource_sources=resolved_res_sources,
             variable_definitions=all_var_defs,
         )
 
@@ -612,7 +596,7 @@ class Namespace:
         )
 
         resolver = ImportResolver(imports_manager, data.source, scope, sentinel=sentinel)
-        resolved = resolver.resolve(data.imports, source_hints=data.resolved_resource_sources)
+        resolved = resolver.resolve(data.imports)
 
         # Add imported variables to scope (needed for variable lookup)
         for resource_entry in resolved.resources.values():
@@ -637,6 +621,11 @@ class Namespace:
         for kw in library_doc.keywords:
             kw_by_id[kw.stable_id] = kw
 
+        # the init of a variables file, which the import statement of the semantic model refers to
+        for variables_entry in resolved.variables_imports.values():
+            for kw in variables_entry.library_doc.inits:
+                kw_by_id[kw.stable_id] = kw
+
         # Variables from scope layers (command_line, own, imported, builtin)
         for var in scope.iter_all():
             var_by_id[var.stable_id] = var
@@ -685,7 +674,7 @@ class Namespace:
         # the other maps add the implicit default libraries and the imports of
         # resource files.
         all_entries: Dict[str, LibraryEntry] = {
-            _namespace_reference_key(entry): entry
+            library_entry_key(entry): entry
             for entry in itertools.chain(
                 resolved.libraries.values(),
                 resolved.resources.values(),
@@ -905,4 +894,6 @@ class NamespaceBuilder:
                 semantic_model=analyzer_result.semantic_model,
                 dependency_metas=resolved.dependency_metas,
                 failed_imports=resolved.failed_imports,
+                environment_set=analyzer_result.environment_set,
+                environment_values=analyzer_result.environment_values,
             )

robotcode/robot/diagnostics/namespace_analyzer.py

@@ -61,6 +61,7 @@ from ..utils.variables import (
     InvalidVariableError,
     VariableMatcher,
     contains_variable,
+    environment_value_hash,
     is_number_literal,
     replace_curdir_in_variable_values,
     search_variable,
@@ -145,6 +146,8 @@ class NamespaceAnalyzer(Visitor):
         self._testcase_tag_references: Dict[str, Set[Location]] = defaultdict(set)
         self._metadata_references: Dict[str, Set[Location]] = defaultdict(set)
         self._testcase_metadata_references: Dict[str, Set[Location]] = defaultdict(set)
+        self._environment_set: Dict[str, bool] = {}
+        self._environment_values: Dict[str, Optional[str]] = {}
 
         # Phase 1+2 results (set by resolve())
         self._library_doc: ResourceDoc = cast(ResourceDoc, None)  # set by resolve()
@@ -245,6 +248,8 @@ class NamespaceAnalyzer(Visitor):
             self._metadata_references,
             self._testcase_metadata_references,
             self._scope_builder.build(self._variable_scope),
+            environment_set=self._environment_set,
+            environment_values=self._environment_values,
         )
 
     def _visit_VariableSection(self, node: VariableSection) -> None:  # noqa: N802
@@ -673,7 +678,10 @@ class NamespaceAnalyzer(Visitor):
                 and cast(EnvironmentVariableDefinition, var).default_value is None
             ):
                 env_name = var.name[2:-1]
-                if os.environ.get(env_name, None) is None:
+                # the namespace cache compares every read of the environment when it restores the analysis
+                env_value = os.environ.get(env_name, None)
+                self._environment_set[env_name] = env_value is not None
+                if env_value is None:
                     self._append_diagnostics(
                         range=range_from_token(var_token),
                         message=(
@@ -2039,7 +2047,9 @@ class NamespaceAnalyzer(Visitor):
                     return name_default
                 return False
             env_name, sep, default = env_inner.partition("=")
+            # the namespace cache compares every read of the environment when it restores the analysis
             env_val = os.environ.get(env_name)
+            self._environment_values[env_name] = environment_value_hash(env_val)
             if env_val is not None:
                 return env_val
             if sep:

robotcode/robot/diagnostics/semantic_analyzer/analyzer.py

@@ -98,6 +98,7 @@ from ...utils.variables import (
     InvalidVariableError,
     VariableMatcher,
     contains_variable,
+    environment_value_hash,
     is_number_literal,
     replace_curdir_in_variable_values,
     search_variable,
@@ -280,6 +281,8 @@ class SemanticAnalyzer(Visitor):
         self._testcase_tag_references: Dict[str, Set[Location]] = defaultdict(set)
         self._metadata_references: Dict[str, Set[Location]] = defaultdict(set)
         self._testcase_metadata_references: Dict[str, Set[Location]] = defaultdict(set)
+        self._environment_set: Dict[str, bool] = {}
+        self._environment_values: Dict[str, Optional[str]] = {}
 
         # Phase 1+2 results (set by resolve())
         self._library_doc: ResourceDoc = cast(ResourceDoc, None)
@@ -422,6 +425,8 @@ class SemanticAnalyzer(Visitor):
             self._metadata_references,
             self._testcase_metadata_references,
             self._scope_builder.build(self._variable_scope),
+            environment_set=self._environment_set,
+            environment_values=self._environment_values,
             semantic_model=self._semantic_model,
         )
 
@@ -2004,7 +2009,10 @@ class SemanticAnalyzer(Visitor):
                 and cast(EnvironmentVariableDefinition, var).default_value is None
             ):
                 env_name = var.name[2:-1]
-                if os.environ.get(env_name, None) is None:
+                # the namespace cache compares every read of the environment when it restores the analysis
+                env_value = os.environ.get(env_name, None)
+                self._environment_set[env_name] = env_value is not None
+                if env_value is None:
                     self._append_diagnostics(
                         range=range_from_token(var_token),
                         message=(
@@ -4456,7 +4464,9 @@ class SemanticAnalyzer(Visitor):
                     return name_default
                 return False
             env_name, sep, default = env_inner.partition("=")
+            # the namespace cache compares every read of the environment when it restores the analysis
             env_val = os.environ.get(env_name)
+            self._environment_values[env_name] = environment_value_hash(env_val)
             if env_val is not None:
                 return env_val
             if sep:

robotcode/robot/diagnostics/semantic_analyzer/model.py

@@ -1,10 +1,12 @@
 from dataclasses import dataclass, field
 from typing import TYPE_CHECKING, Dict, FrozenSet, List, Optional
 
-from .enums import NodeKind
+from .enums import NodeKind, TokenKind
 from .nodes import (
     DefinitionBlock,
     DefinitionStatement,
+    KeywordCallStatement,
+    RunKeywordCallStatement,
     SemanticBlock,
     SemanticNode,
     SemanticStatement,
@@ -23,6 +25,13 @@ _SECTION_KINDS: FrozenSet[NodeKind] = frozenset(
     }
 )
 
+# The namespace and the name of a keyword reference; the span from the first to the
+# last of them also covers the "." between. An inner call of a Run Keyword variant
+# carries its name as KEYWORD_INNER.
+_KEYWORD_REFERENCE_KINDS: FrozenSet[TokenKind] = frozenset(
+    {TokenKind.NAMESPACE, TokenKind.KEYWORD, TokenKind.KEYWORD_INNER}
+)
+
 if TYPE_CHECKING:
     from ...utils.variables import VariableMatcher
     from ..entities import VariableDefinition
@@ -193,6 +202,37 @@ class SemanticModel:
                     SemanticModel._collect_token_path(sub, line, col, path)
                     return
 
+    def keyword_call_at(self, line: int, col: int) -> Optional[KeywordCallStatement]:
+        """Get the keyword call whose keyword reference covers a position.
+
+        The keyword reference is the namespace and the keyword name with the
+        "." between them, without a BDD prefix; its end counts as covered, as
+        in the legacy check of a keyword token. Besides the call that
+        `statement_at()` returns, this finds the calls in the body of an
+        inline IF, which are statements of their own on the line, and the
+        inner calls of a Run Keyword variant, searched recursively.
+        O(n) in statements.
+        """
+        for stmt in self.statements:
+            if isinstance(stmt, KeywordCallStatement) and stmt.line_start <= line <= stmt.line_end:
+                call = self._keyword_call_covering(stmt, line, col)
+                if call is not None:
+                    return call
+        return None
+
+    @staticmethod
+    def _keyword_call_covering(stmt: KeywordCallStatement, line: int, col: int) -> Optional[KeywordCallStatement]:
+        reference = [token for token in stmt.tokens if token.kind in _KEYWORD_REFERENCE_KINDS]
+        if reference and reference[0].line == line:
+            if reference[0].col_offset <= col <= reference[-1].col_offset + reference[-1].length:
+                return stmt
+        if isinstance(stmt, RunKeywordCallStatement):
+            for inner in stmt.inner_calls:
+                call = SemanticModel._keyword_call_covering(inner, line, col)
+                if call is not None:
+                    return call
+        return None
+
     def enclosing_definition(self, line: int) -> Optional["DefinitionBlock | DefinitionStatement"]:
         """Find the enclosing definition (Keyword/TestCase) containing the given line.
 

robotcode/robot/diagnostics/semantic_analyzer/nodes.py

@@ -1,8 +1,9 @@
 from dataclasses import dataclass, field
-from typing import TYPE_CHECKING, FrozenSet, List, Optional, Tuple
+from typing import TYPE_CHECKING, Any, Dict, FrozenSet, List, Optional, Tuple
 
 from robotcode.core.lsp.types import Position, Range
 
+from ..entities import library_entry_key
 from .enums import (
     ForFlavor,
     ForZipMode,
@@ -19,6 +20,16 @@ if TYPE_CHECKING:
     from ..library_doc import ArgumentSpec, KeywordDoc
 
 
+def _slot_values(node: object) -> Dict[str, Any]:
+    """The values of all slots of a node, the base of a statement's pickled state."""
+    return {slot: getattr(node, slot) for cls in type(node).__mro__ for slot in getattr(cls, "__slots__", ())}
+
+
+def _set_slot_values(node: object, state: Dict[str, Any]) -> None:
+    for slot, value in state.items():
+        setattr(node, slot, value)
+
+
 @dataclass(slots=True)
 class SemanticToken:
     """A single resolved token in the Semantic Model.
@@ -136,6 +147,21 @@ class KeywordCallStatement(SemanticStatement):
     # Variables that receive the return value: ${result}=    My Keyword
     assign_variables: List[SemanticToken] = field(default_factory=list)
 
+    def __getstate__(self) -> Dict[str, Any]:
+        # The namespace disk cache stores ids for the keyword and the library
+        # entry, which belong to the analysis of the imports;
+        # `resolve_references()` maps them back to the restored namespace's
+        # objects. Inner calls replace their own references.
+        state = _slot_values(self)
+        if self.keyword_doc is not None:
+            state["keyword_doc"] = self.keyword_doc.stable_id
+        if self.lib_entry is not None:
+            state["lib_entry"] = library_entry_key(self.lib_entry)
+        return state
+
+    def __setstate__(self, state: Dict[str, Any]) -> None:
+        _set_slot_values(self, state)
+
 
 @dataclass(slots=True)
 class RunKeywordCallStatement(KeywordCallStatement):
@@ -274,6 +300,18 @@ class ImportStatement(SemanticStatement):
     # second AST walk + libdoc lookup.
     init_keyword_doc: Optional["KeywordDoc"] = None
 
+    def __getstate__(self) -> Dict[str, Any]:
+        # ids in the namespace disk cache, see `KeywordCallStatement.__getstate__`
+        state = _slot_values(self)
+        if self.lib_entry is not None:
+            state["lib_entry"] = library_entry_key(self.lib_entry)
+        if self.init_keyword_doc is not None:
+            state["init_keyword_doc"] = self.init_keyword_doc.stable_id
+        return state
+
+    def __setstate__(self, state: Dict[str, Any]) -> None:
+        _set_slot_values(self, state)
+
 
 # --- Settings ---
 
@@ -328,6 +366,16 @@ class TemplateDataStatement(SemanticStatement):
 
     template_keyword_doc: Optional["KeywordDoc"] = None
 
+    def __getstate__(self) -> Dict[str, Any]:
+        # an id in the namespace disk cache, see `KeywordCallStatement.__getstate__`
+        state = _slot_values(self)
+        if self.template_keyword_doc is not None:
+            state["template_keyword_doc"] = self.template_keyword_doc.stable_id
+        return state
+
+    def __setstate__(self, state: Dict[str, Any]) -> None:
+        _set_slot_values(self, state)
+
 
 # --- Blocks (structural containers) ---
 

robotcode/robot/diagnostics/semantic_analyzer/serialization.py

@@ -5,13 +5,14 @@ stable_id strings back to live objects, and pickle helper utilities.
 
 The SemanticModel is designed to be pickle-friendly:
 - SemanticToken is a pure value object (no live references) - pickles natively
-- SemanticStatement subclasses hold keyword_doc/lib_entry references which
-  are live objects that cannot survive pickle/unpickle across sessions
+- SemanticStatement subclasses hold keyword_doc/lib_entry/init_keyword_doc/
+  template_keyword_doc references which are live objects that cannot survive
+  pickle/unpickle across sessions
 
 For serialization:
-1. Before pickling: replace live object references with stable_id strings
-2. Pickle normally
-3. After unpickling: call resolve_references() to restore live objects
+1. When pickled, the statements store stable_id strings and library entry
+   keys instead of these references (`__getstate__` in nodes.py)
+2. After unpickling: call resolve_references() to restore live objects
 """
 
 from typing import TYPE_CHECKING, Dict, Optional
@@ -24,6 +25,7 @@ from .nodes import (
     RunKeywordCallStatement,
     SemanticBlock,
     SemanticStatement,
+    TemplateDataStatement,
 )
 
 if TYPE_CHECKING:
@@ -39,10 +41,11 @@ def resolve_references(
 ) -> None:
     """Resolve stable_id strings back to live objects after unpickling.
 
-    After unpickling a SemanticModel, keyword_doc and lib_entry fields
-    contain stable_id strings instead of live objects. This function
+    After unpickling a SemanticModel, the keyword_doc, lib_entry,
+    init_keyword_doc and template_keyword_doc fields contain stable_id
+    strings and library entry keys instead of live objects. This function
     walks the model and replaces them with the actual objects from the
-    provided lookup dicts.
+    provided lookup dicts; an id that is not in them resolves to None.
 
     Args:
         model: The unpickled SemanticModel to resolve.
@@ -85,6 +88,9 @@ def _resolve_statement(
         _resolve_keyword_call(stmt, kw_by_id, entry_by_key)
     elif isinstance(stmt, ImportStatement):
         stmt.lib_entry = _resolve_entry(stmt.lib_entry, entry_by_key)
+        stmt.init_keyword_doc = _resolve_keyword(stmt.init_keyword_doc, kw_by_id)
+    elif isinstance(stmt, TemplateDataStatement):
+        stmt.template_keyword_doc = _resolve_keyword(stmt.template_keyword_doc, kw_by_id)
     elif isinstance(stmt, DefinitionStatement):
         if isinstance(stmt.arguments_spec, str):
             # arguments_spec should not be serialized as string,
@@ -98,9 +104,7 @@ def _resolve_keyword_call(
     entry_by_key: Dict[str, "LibraryEntry"],
 ) -> None:
     """Resolve references in a keyword call statement."""
-    if isinstance(stmt.keyword_doc, str):
-        stmt.keyword_doc = kw_by_id.get(stmt.keyword_doc)  # type: ignore[unreachable]
-
+    stmt.keyword_doc = _resolve_keyword(stmt.keyword_doc, kw_by_id)
     stmt.lib_entry = _resolve_entry(stmt.lib_entry, entry_by_key)
 
     if isinstance(stmt, RunKeywordCallStatement):
@@ -108,6 +112,16 @@ def _resolve_keyword_call(
             _resolve_keyword_call(inner, kw_by_id, entry_by_key)
 
 
+def _resolve_keyword(
+    keyword_doc: Optional["KeywordDoc"],
+    kw_by_id: Dict[str, "KeywordDoc"],
+) -> Optional["KeywordDoc"]:
+    """Resolve a single keyword reference."""
+    if isinstance(keyword_doc, str):
+        return kw_by_id.get(keyword_doc)  # type: ignore[unreachable]
+    return keyword_doc
+
+
 def _resolve_entry(
     entry: Optional["LibraryEntry"],
     entry_by_key: Dict[str, "LibraryEntry"],

robotcode/robot/utils/variables.py

@@ -1,4 +1,5 @@
 import functools
+import hashlib
 from pathlib import Path
 from typing import Any, Optional, Sequence, Tuple, cast
 
@@ -275,3 +276,11 @@ def replace_curdir_in_variable_values(values: Sequence[str], source: str) -> Tup
     """Replace ${CURDIR} in variable values with the escaped parent directory of source."""
     curdir = str(Path(source).parent).replace("\\", "\\\\")
     return tuple(s.replace("${CURDIR}", curdir) for s in values)
+
+
+def environment_value_hash(value: Optional[str]) -> Optional[str]:
+    """The SHA-256 of the value of an environment variable, or None when it is not set.
+
+    What the analysis cache keeps instead of the value, so that no value of the environment ends up in it.
+    """
+    return hashlib.sha256(value.encode("utf-8", "surrogateescape")).hexdigest() if value is not None else None

{robotcode_robot-2.8.0.dev631.dist-info → robotcode_robot-2.8.0.dev677.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: robotcode-robot
-Version: 2.8.0-dev.631
+Version: 2.8.0-dev.677
 Summary: Support classes for RobotCode for handling Robot Framework projects.
 Project-URL: Homepage, https://robotcode.io
 Project-URL: Donate, https://opencollective.com/robotcode
@@ -27,7 +27,7 @@ Classifier: Topic :: Utilities
 Classifier: Typing :: Typed
 Requires-Python: >=3.10
 Requires-Dist: platformdirs>=4.3
-Requires-Dist: robotcode-core==2.8.0-dev.631
+Requires-Dist: robotcode-core==2.8.0-dev.677
 Requires-Dist: robotframework>=5.0.0
 Requires-Dist: tomli>=1.1.0; python_version < '3.11'
 Description-Content-Type: text/markdown

{robotcode_robot-2.8.0.dev631.dist-info → robotcode_robot-2.8.0.dev677.dist-info}/RECORD

@@ -1,37 +1,37 @@
 robotcode/robot/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-robotcode/robot/__version__.py,sha256=9SGjqX5uvERIavT5Cjgw0TSLgQ-nKCFaQ13-E6K7MDA,30
+robotcode/robot/__version__.py,sha256=0xyLlet74gxp40f05fA-fjXhAr2XdtEik3UuIJs6yAM,30
 robotcode/robot/py.typed,sha256=bWew9mHgMy8LqMu7RuqQXFXLBxh2CRx0dUbSx-3wE48,27
 robotcode/robot/config/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 robotcode/robot/config/loader.py,sha256=HLbkZem8JiBuy9Q5naghZddAuMPOn8Tk6UBgN2T3Uyc,9073
-robotcode/robot/config/model.py,sha256=I3cMx3jfegK2lEGMln81rEDFbBLFKQ5uST-YwoUKi0I,111744
+robotcode/robot/config/model.py,sha256=i8EH_n_20U7eCNY81nWa7oTFAxKj9iSH5Sxm1vr8bOQ,112151
 robotcode/robot/config/utils.py,sha256=A8gD5IItxuC7AY5Olcc8tmsSbqCCi_vZPVoK3BqWt_8,4070
 robotcode/robot/diagnostics/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-robotcode/robot/diagnostics/analyzer_result.py,sha256=4LC031CMJWVtKJm_UMYKVLGosFPR81rSAgqU1xs4Adc,1071
+robotcode/robot/diagnostics/analyzer_result.py,sha256=5pHW5Yf3C3rmaDvmM7tP0y_qwqLW3YHhkeVV-qDhxtg,1459
 robotcode/robot/diagnostics/data_cache.py,sha256=Yi52oQTUBFgcPK0UF3lDAj4mRFqoD_VOtrAUyRWXnrQ,18200
 robotcode/robot/diagnostics/diagnostic_rules.py,sha256=7b4vbGTEuxCef8AHTshV4XAJe75aR4-lJ5QEDyuZtcE,3558
 robotcode/robot/diagnostics/diagnostics_modifier.py,sha256=MftxJlUEDsn9ZiOsBDApXC2N-4OjXHSZj1Y9PXXlSAg,11742
-robotcode/robot/diagnostics/document_cache_helper.py,sha256=D5X6b3-smbZrlYz7E4b0pGDmMA9hCfQ_Da7cRslhx34,34841
-robotcode/robot/diagnostics/entities.py,sha256=P1R1kJPvXNGjjah7c6TVfltCF_u1NAKGpzFnPthw3F8,11215
+robotcode/robot/diagnostics/document_cache_helper.py,sha256=llwyocHMKrSpuooXMuBalwnG6hlY6YgMTIPFq2tHFr8,35462
+robotcode/robot/diagnostics/entities.py,sha256=vE5szceIL-ANqJPnAbqIebg3kLddE9OPhxwBL9iKP-M,11949
 robotcode/robot/diagnostics/errors.py,sha256=lqHDWrMNy3ZhuEIVxeEhaU0ns8PB6pVTQBfaMqRQ8L4,2733
-robotcode/robot/diagnostics/import_resolver.py,sha256=lqbJYm3i62nK-EB1tgQ-RZoUtJ6rkB9JX6AzSN-p9t4,33126
-robotcode/robot/diagnostics/imports_manager.py,sha256=SRSidp3KyPXvT7NollGu-nhYmVKon8hw2pXoQog9SlE,89243
+robotcode/robot/diagnostics/import_resolver.py,sha256=DZjUOD3uNxFAwsVUqrCTRhColjz9DRPetAvIb_Ccufs,32588
+robotcode/robot/diagnostics/imports_manager.py,sha256=opemApuCLgPNsnqVuYc9MefqHt42g_7Ozqhrmu_osH0,90401
 robotcode/robot/diagnostics/keyword_finder.py,sha256=nwTmjvhyu5H7HHzyk8gt-pny2K2xdH2qCNyKXwwXRnk,18998
 robotcode/robot/diagnostics/library_doc.py,sha256=MYztjgnOmXAPjXn7td651oWats2qDlPrLgCkmwpdSmU,153576
 robotcode/robot/diagnostics/model_helper.py,sha256=_ySXwerkK5xvjWa82T0DFy8jpxRzcaavTJiAHnk2lXQ,29740
-robotcode/robot/diagnostics/namespace.py,sha256=f2A4K2KURxyXr5unBBN622ayoJg34pkePQMbS79WhVA,35914
-robotcode/robot/diagnostics/namespace_analyzer.py,sha256=HrYdY6DM2DvR3Jh9wB-RggbxLDgez5CLk_NRSOZQRcQ,103678
+robotcode/robot/diagnostics/namespace.py,sha256=Rcmjk3V0vcY-DUkgjkRyuOdYXurKaTEqXJLc6efYrwY,35489
+robotcode/robot/diagnostics/namespace_analyzer.py,sha256=dGAEbbznPJlFBKN4dLkMDU7w9xc0mYdmRARvRS3Zlwg,104331
 robotcode/robot/diagnostics/project_index.py,sha256=Oqs7kV279PixVS6rGeigPKXGJYGqJdTDmDBjU7ODDRA,11006
 robotcode/robot/diagnostics/scope_tree.py,sha256=UREHoFG7NWh6UTWxET1M5Jxz_XBjXaQJg1GUIYPctq0,8348
 robotcode/robot/diagnostics/variable_scope.py,sha256=bge49DM-1FfQYIeqK2DtBG7JAMm25mazZ_zjh0DoMmg,3096
 robotcode/robot/diagnostics/workspace_config.py,sha256=GlsR1VnUBHoLBvIZtUXkm1dBDFPT9qoiYZzwZlurmXM,3277
 robotcode/robot/diagnostics/semantic_analyzer/__init__.py,sha256=ObbJv-S8LDgkWKZtTZjISBodXxyoLdEiOjVYp5aYbT4,1689
-robotcode/robot/diagnostics/semantic_analyzer/analyzer.py,sha256=PrWfgnA2AveDaVpXQUQ-pyx5aDeIcQwA7q2b7K39_Uo,205496
+robotcode/robot/diagnostics/semantic_analyzer/analyzer.py,sha256=CkROVL_B3QsSULXkHkRDTddLCR0sswVVxEKCQUYk_qs,206149
 robotcode/robot/diagnostics/semantic_analyzer/enums.py,sha256=FIf3bHHqYY2etzpNrZTpZxGFsdtBE15lTssI1g8T2ro,8668
 robotcode/robot/diagnostics/semantic_analyzer/json_dump.py,sha256=2Yq3CLAKF5IEqKeFDoIYn-Ize_1Ucgz82ORkx3wAguY,13836
-robotcode/robot/diagnostics/semantic_analyzer/model.py,sha256=YF8txeR5gXzhDLn3Fv3Y8hSo_vItEKkeLE2h3nx9Bmc,18465
-robotcode/robot/diagnostics/semantic_analyzer/nodes.py,sha256=lwXK648OLbNknFqAN9LP4Z-2k8tk-UuQqWYX-PZ8xIU,16379
+robotcode/robot/diagnostics/semantic_analyzer/model.py,sha256=TTsrU_aDSC4JwbdypxSaGR79iCN071Y5VUMO8vGm5IE,20476
+robotcode/robot/diagnostics/semantic_analyzer/nodes.py,sha256=z3EM_e7AOQ6r6Ya0iS9e4wpDXDMg5Hk-WljoWBUDOWE,18433
 robotcode/robot/diagnostics/semantic_analyzer/run_keyword.py,sha256=tfMaq982MaYlwcJViPa6w7eNuruFz1H_TWjrbefsMjA,1876
-robotcode/robot/diagnostics/semantic_analyzer/serialization.py,sha256=zswAxVe2X2d1U89DbEZXwhq7OfnUSRyH32xbSd8TaLY,4198
+robotcode/robot/diagnostics/semantic_analyzer/serialization.py,sha256=DA-_gRbo_9D6BbCMeIg6z2_8sNBY6uayOu9y4xhjK7Q,4896
 robotcode/robot/diagnostics/semantic_analyzer/variable_tokenizer.py,sha256=vBor3GZjvZX33I9yQliUtHZbjDybWn7W0YoSd5EMO_M,33646
 robotcode/robot/utils/__init__.py,sha256=-A0YeHv7e7WK1SId7Er7Vu6frrDYWopUrcyFlyxLmPY,396
 robotcode/robot/utils/ast.py,sha256=S9xyiJZee4Y5VcroNrGIIWp8f9sutb_1o4blAlCqzdg,11218
@@ -41,8 +41,8 @@ robotcode/robot/utils/match.py,sha256=KgA6o6TbnQpOT1eAzEjhl_-FZ2XO07xiV0L7IYRzyz
 robotcode/robot/utils/robot_patching.py,sha256=jXHhnPvZx8hCQq4B_2uwX9j51Be_toWpUoTYYe8HjPo,1463
 robotcode/robot/utils/robot_path.py,sha256=ObLP8PqamTZAz5oi0eDXE_dnyZwAPXp4TJYm6ugeENs,2185
 robotcode/robot/utils/stubs.py,sha256=umugZYAyneFNgqRJBRMJPzm0u0B_TH8Sx_y-ykXnxpw,351
-robotcode/robot/utils/variables.py,sha256=M_JVe4DxV7ucL_iRW7VOQnSlY6I72NVhRfki4f3zMQY,9430
+robotcode/robot/utils/variables.py,sha256=9WnP3QqcHdq-zioJ_gJXJobw_2Gcto_rGPCUGmOH9YQ,9829
 robotcode/robot/utils/visitor.py,sha256=nP3O0qh3YYuxR6S8wYJRBFfNwIVgsgohURBlrnFkRYQ,2299
-robotcode_robot-2.8.0.dev631.dist-info/METADATA,sha256=EGKTTkjAa-1ACqJS7zvLOKWf6CAloJyQL-jCUAJFrC4,2960
-robotcode_robot-2.8.0.dev631.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
-robotcode_robot-2.8.0.dev631.dist-info/RECORD,,
+robotcode_robot-2.8.0.dev677.dist-info/METADATA,sha256=-WMG4AXbck6ZGANXnHl578n_RxVj5Y5o7iron1Hu8OU,2960
+robotcode_robot-2.8.0.dev677.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
+robotcode_robot-2.8.0.dev677.dist-info/RECORD,,