| 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 | |
| 7 """This module provides maps and sets that report unused elements.""" | 6 """This module provides maps and sets that report unused elements.""" |
| 8 | 7 |
| 9 _monitored_values = [] | 8 _monitored_values = [] |
| 10 | 9 |
| 11 | 10 |
| 12 def FinishMonitoring(includeDart2jsOnly, logger): | 11 def FinishMonitoring(includeDart2jsOnly): |
| 13 for value in _monitored_values: | 12 for value in _monitored_values: |
| 14 if value._dart2jsOnly and not includeDart2jsOnly: | 13 if value._dart2jsOnly and not includeDart2jsOnly: |
| 15 continue | 14 continue |
| 16 value.CheckUsage(logger) | 15 value.CheckUsage() |
| 17 | 16 |
| 18 class MonitoredCollection(object): | 17 class MonitoredCollection(object): |
| 19 def __init__(self, name, dart2jsOnly): | 18 def __init__(self, name, dart2jsOnly): |
| 20 self.name = name | 19 self.name = name |
| 21 self._used_keys = set() | 20 self._used_keys = set() |
| 22 self._dart2jsOnly = dart2jsOnly | 21 self._dart2jsOnly = dart2jsOnly |
| 23 _monitored_values.append(self) | 22 _monitored_values.append(self) |
| 24 | 23 |
| 25 class Dict(MonitoredCollection): | 24 class Dict(MonitoredCollection): |
| 26 """Wrapper for a dict that reports unused keys.""" | 25 """Wrapper for a dict that reports unused keys.""" |
| (...skipping 16 matching lines...) Expand all Loading... |
| 43 def __iter__(self): | 42 def __iter__(self): |
| 44 return self._map.__iter__() | 43 return self._map.__iter__() |
| 45 | 44 |
| 46 def get(self, key, default=None): | 45 def get(self, key, default=None): |
| 47 self._used_keys.add(key) | 46 self._used_keys.add(key) |
| 48 return self._map.get(key, default) | 47 return self._map.get(key, default) |
| 49 | 48 |
| 50 def keys(self): | 49 def keys(self): |
| 51 return self._map.keys() | 50 return self._map.keys() |
| 52 | 51 |
| 53 def CheckUsage(self, logger): | 52 def CheckUsage(self): |
| 54 for v in sorted(self._map.keys()): | 53 for v in sorted(self._map.keys()): |
| 55 if v not in self._used_keys: | 54 if v not in self._used_keys: |
| 56 logger.warn('dict \'%s\' has unused key \'%s\'' % (self.name, v)) | 55 print "dict '%s' has unused key '%s'" % (self.name, v) |
| 57 | 56 |
| 58 | 57 |
| 59 class Set(MonitoredCollection): | 58 class Set(MonitoredCollection): |
| 60 """Wrapper for a set that reports unused keys.""" | 59 """Wrapper for a set that reports unused keys.""" |
| 61 | 60 |
| 62 def __init__(self, name, a_set, dart2jsOnly=False): | 61 def __init__(self, name, a_set, dart2jsOnly=False): |
| 63 super(Set, self).__init__(name, dart2jsOnly) | 62 super(Set, self).__init__(name, dart2jsOnly) |
| 64 self._set = a_set | 63 self._set = a_set |
| 65 | 64 |
| 66 def __contains__(self, key): | 65 def __contains__(self, key): |
| 67 self._used_keys.add(key) | 66 self._used_keys.add(key) |
| 68 return key in self._set | 67 return key in self._set |
| 69 | 68 |
| 70 def __iter__(self): | 69 def __iter__(self): |
| 71 return self._set.__iter__() | 70 return self._set.__iter__() |
| 72 | 71 |
| 73 def add(self, key): | 72 def add(self, key): |
| 74 self._set += [key] | 73 self._set += [key] |
| 75 | 74 |
| 76 def CheckUsage(self, logger): | 75 def CheckUsage(self): |
| 77 for v in sorted(self._set): | 76 for v in sorted(self._set): |
| 78 if v not in self._used_keys: | 77 if v not in self._used_keys: |
| 79 logger.warn('set \'%s\' has unused key \'%s\'' % (self.name, v)) | 78 print "set '%s' has unused key '%s'" % (self.name, v) |
| OLD | NEW |