1.1 --- a/modules.py Sat Nov 12 23:29:32 2016 +0100
1.2 +++ b/modules.py Sun Nov 13 22:17:59 2016 +0100
1.3 @@ -92,7 +92,7 @@
1.4
1.5 # Name resolution details.
1.6
1.7 - self.name_references = {} # references to globals
1.8 + self.name_references = {} # references to globals and imported names
1.9
1.10 # Initialisation-related details.
1.11
1.12 @@ -352,6 +352,13 @@
1.13 global_path = self.get_global_path(name)
1.14 return self.imported.get(path) or self.imported.get(global_path)
1.15
1.16 + def have_imported_name(self, name):
1.17 +
1.18 + "Return whether 'name' has been imported into the current namespace."
1.19 +
1.20 + path = self.get_object_path(name)
1.21 + return self.imported.has_key(path)
1.22 +
1.23 def set_imported_name(self, name, ref):
1.24
1.25 "Establish a reference for 'name' given by 'ref'."