From 970cfca13b073c4787720c333063506f8b4f660b Mon Sep 17 00:00:00 2001 From: Simone Date: Tue, 20 Feb 2024 16:10:27 +0100 Subject: [PATCH] Correct imports for rename and type aliases --- slither/core/scope/scope.py | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/slither/core/scope/scope.py b/slither/core/scope/scope.py index 1c2e6d1a5..3f91771fb 100644 --- a/slither/core/scope/scope.py +++ b/slither/core/scope/scope.py @@ -341,10 +341,20 @@ def variables(self) -> Dict[str, TopLevelVariable]: @property def renaming(self) -> Dict[str, str]: - # TODO check it's correct + if len(self.items_to_import) != 0: + result = {} + for name, rename in self.filescope.renaming.items(): + if name in self.items_to_import: + result[name] = rename + return result return self.filescope.renaming @property def type_aliases(self) -> Dict[str, TypeAlias]: - # TODO check it's correct + if len(self.items_to_import) != 0: + result = {} + for name, type_alias in self.filescope.type_aliases.items(): + if name in self.items_to_import: + result[name] = type_alias + return result return self.filescope.type_aliases