monitored.py

Go to the documentation of this file.

#!/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.namename, 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.namename, v))