Wrapper for a set that reports unused keys.
Definition at line 61 of file monitored.py.
◆ __init__()
scripts.monitored.Set.__init__ |
( |
|
self, |
|
|
|
name, |
|
|
|
a_set, |
|
|
|
dart2jsOnly = False |
|
) |
| |
◆ __contains__()
scripts.monitored.Set.__contains__ |
( |
|
self, |
|
|
|
key |
|
) |
| |
Definition at line 68 of file monitored.py.
68 def __contains__(self, key):
69 self._used_keys.add(key)
70 return key in self._set
71
◆ __iter__()
scripts.monitored.Set.__iter__ |
( |
|
self | ) |
|
Definition at line 72 of file monitored.py.
72 def __iter__(self):
73 return self._set.__iter__()
74
◆ add()
scripts.monitored.Set.add |
( |
|
self, |
|
|
|
key |
|
) |
| |
Definition at line 75 of file monitored.py.
75 def add(self, key):
76 self._set += [key]
77
◆ CheckUsage()
scripts.monitored.Set.CheckUsage |
( |
|
self, |
|
|
|
logger |
|
) |
| |
Definition at line 78 of file monitored.py.
78 def CheckUsage(self, logger):
79 for v in sorted(self._set):
80 if v not in self._used_keys:
81 logger.warn('set \'%s\' has unused key \'%s\'' % (self.name, v))
◆ _set
scripts.monitored.Set._set |
|
protected |
◆ name
scripts.monitored.Set.name |
The documentation for this class was generated from the following file: