OLD | NEW |
1 #!/usr/bin/python | 1 #!/usr/bin/python |
2 # Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 2 # Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
4 # BSD-style license that can be found in the LICENSE file. | 4 # BSD-style license that can be found in the LICENSE file. |
5 | 5 |
6 """This module provides maps and sets that report unused elements.""" | 6 """This module provides maps and sets that report unused elements.""" |
7 | 7 |
8 _monitored_values = [] | 8 _monitored_values = [] |
9 | 9 |
10 | 10 |
(...skipping 11 matching lines...) Expand all Loading... |
22 """Wrapper for a read-only dict that reports unused keys.""" | 22 """Wrapper for a read-only dict that reports unused keys.""" |
23 | 23 |
24 def __init__(self, name, map): | 24 def __init__(self, name, map): |
25 super(Dict, self).__init__(name) | 25 super(Dict, self).__init__(name) |
26 self._map = map | 26 self._map = map |
27 | 27 |
28 def __getitem__(self, key): | 28 def __getitem__(self, key): |
29 self._used_keys.add(key) | 29 self._used_keys.add(key) |
30 return self._map[key] | 30 return self._map[key] |
31 | 31 |
| 32 def __setitem__(self, key, value): |
| 33 self._map[key] = value |
| 34 |
32 def __contains__(self, key): | 35 def __contains__(self, key): |
33 self._used_keys.add(key) | 36 self._used_keys.add(key) |
34 return key in self._map | 37 return key in self._map |
35 | 38 |
36 def __iter__(self): | 39 def __iter__(self): |
37 return self._map.__iter__() | 40 return self._map.__iter__() |
38 | 41 |
39 def get(self, key, default=None): | 42 def get(self, key, default=None): |
40 self._used_keys.add(key) | 43 self._used_keys.add(key) |
41 return self._map.get(key, default) | 44 return self._map.get(key, default) |
(...skipping 12 matching lines...) Expand all Loading... |
54 self._set = a_set | 57 self._set = a_set |
55 | 58 |
56 def __contains__(self, key): | 59 def __contains__(self, key): |
57 self._used_keys.add(key) | 60 self._used_keys.add(key) |
58 return key in self._set | 61 return key in self._set |
59 | 62 |
60 def CheckUsage(self): | 63 def CheckUsage(self): |
61 for v in sorted(self._set): | 64 for v in sorted(self._set): |
62 if v not in self._used_keys: | 65 if v not in self._used_keys: |
63 print "set '%s' has unused key '%s'" % (self.name, v) | 66 print "set '%s' has unused key '%s'" % (self.name, v) |
OLD | NEW |