DataViews/CodeMetrics.py

branch
maintenance
changeset 6206
a02b03b7bfec
parent 6187
2cc7e3629784
child 6645
ad476851d7e0
equal deleted inserted replaced
6205:ad8ed15f90e5 6206:a02b03b7bfec
169 Public method used to increment the value of a key. 169 Public method used to increment the value of a key.
170 170
171 @param key the key to be incremented 171 @param key the key to be incremented
172 @param value the increment (int) 172 @param value the increment (int)
173 """ 173 """
174 for counterId, level, row in self.active: 174 for counterId, _level, _row in self.active:
175 counters = self.counters.setdefault(counterId, {}) 175 counters = self.counters.setdefault(counterId, {})
176 counters[key] = counters.setdefault(key, 0) + value 176 counters[key] = counters.setdefault(key, 0) + value
177 177
178 def getCounter(self, counterId, key): 178 def getCounter(self, counterId, key):
179 """ 179 """

eric ide

mercurial