| 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 |