ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fill out remainder of LazyDict dict compatibility

pull/4426/head
Jimmy Brisson 2017-06-16 15:52:30 -05:00
parent 7513d4f897
commit bf1a69b9be
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tools/toolchains/__init__.py
View File

@ -63,6 +63,12 @@ class LazyDict(dict):
def __setitem__(self, key, value): def __setitem__(self, key, value):
self.eager[key] = value self.eager[key] = value
def __delitem__(self, key):
if key in self.eager:
del self.eager[key]
else:
del self.lazy[key]
def __contains__(self, key): def __contains__(self, key):
return key in self.eager or key in self.lazy return key in self.eager or key in self.lazy
@ -72,6 +78,12 @@ class LazyDict(dict):
def __len__(self): def __len__(self):
return len(self.eager) + len(self.lazy) return len(self.eager) + len(self.lazy)
def __str__(self):
return "Lazy{%s}" % (
", ".join("%r: %r" % (k, v) for k, v in
chain(self.eager.iteritems(), ((k, "not evaluated")
for k in self.lazy))))
def update(self, other): def update(self, other):
if isinstance(other, LazyDict): if isinstance(other, LazyDict):
self.eager.update(other.eager) self.eager.update(other.eager)