mirror of
https://github.com/dart-lang/sdk
synced 2024-10-03 08:33:32 +00:00
55f81f2210
- Add `.style.yapf` with configuration to use Google style. - Run `yapf` on all `.py` files in this repo. - Manually fix one trailing space in a doc string. - Run `git cl format runtime` to satisfy presubmit. Change-Id: I7e6bd11e91f07926b9188362599af398551eed79 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/111600 Commit-Queue: Nate Bosch <nbosch@google.com> Reviewed-by: Alexander Thomas <athom@google.com>
82 lines
2.3 KiB
Python
82 lines
2.3 KiB
Python
#!/usr/bin/python
|
|
# Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
|
|
# for details. All rights reserved. Use of this source code is governed by a
|
|
# BSD-style license that can be found in the LICENSE file.
|
|
"""This module provides maps and sets that report unused elements."""
|
|
|
|
_monitored_values = []
|
|
|
|
|
|
def FinishMonitoring(includeDart2jsOnly, logger):
|
|
for value in _monitored_values:
|
|
if value._dart2jsOnly and not includeDart2jsOnly:
|
|
continue
|
|
value.CheckUsage(logger)
|
|
|
|
|
|
class MonitoredCollection(object):
|
|
|
|
def __init__(self, name, dart2jsOnly):
|
|
self.name = name
|
|
self._used_keys = set()
|
|
self._dart2jsOnly = dart2jsOnly
|
|
_monitored_values.append(self)
|
|
|
|
|
|
class Dict(MonitoredCollection):
|
|
"""Wrapper for a dict that reports unused keys."""
|
|
|
|
def __init__(self, name, map, dart2jsOnly=False):
|
|
super(Dict, self).__init__(name, dart2jsOnly)
|
|
self._map = map
|
|
|
|
def __getitem__(self, key):
|
|
self._used_keys.add(key)
|
|
return self._map[key]
|
|
|
|
def __setitem__(self, key, value):
|
|
self._map[key] = value
|
|
|
|
def __contains__(self, key):
|
|
self._used_keys.add(key)
|
|
return key in self._map
|
|
|
|
def __iter__(self):
|
|
return self._map.__iter__()
|
|
|
|
def get(self, key, default=None):
|
|
self._used_keys.add(key)
|
|
return self._map.get(key, default)
|
|
|
|
def keys(self):
|
|
return self._map.keys()
|
|
|
|
def CheckUsage(self, logger):
|
|
for v in sorted(self._map.keys()):
|
|
if v not in self._used_keys:
|
|
logger.warn(
|
|
'dict \'%s\' has unused key \'%s\'' % (self.name, v))
|
|
|
|
|
|
class Set(MonitoredCollection):
|
|
"""Wrapper for a set that reports unused keys."""
|
|
|
|
def __init__(self, name, a_set, dart2jsOnly=False):
|
|
super(Set, self).__init__(name, dart2jsOnly)
|
|
self._set = a_set
|
|
|
|
def __contains__(self, key):
|
|
self._used_keys.add(key)
|
|
return key in self._set
|
|
|
|
def __iter__(self):
|
|
return self._set.__iter__()
|
|
|
|
def add(self, key):
|
|
self._set += [key]
|
|
|
|
def CheckUsage(self, logger):
|
|
for v in sorted(self._set):
|
|
if v not in self._used_keys:
|
|
logger.warn('set \'%s\' has unused key \'%s\'' % (self.name, v))
|