Files
sdk/tools/dom/scripts/monitored.py
Alexander Thomas b5c63ce757 [infra] Migrate scripts to python3
* Migrate to python3; drop python support.
* Update Windows toolchain support.
* Remove some unused methods.
* Python 2.7 is still needed on Windows.
* Update gsutil to a version that supports python3.

Fixes: https://github.com/dart-lang/sdk/issues/28793

TEST=Manually tested common user journeys.

Change-Id: I663a22b237a548bb82dc2e601e399e3bc3649211
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/192182
Reviewed-by: William Hesse <whesse@google.com>
Reviewed-by: Alexander Aprelev <aam@google.com>
2021-04-15 10:10:20 +00:00

82 lines
2.3 KiB
Python

#!/usr/bin/env python3
# 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))