DataViews/CodeMetrics.py

changeset 6187
2cc7e3629784
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
equal deleted inserted replaced
6186:83451f10f3eb 6187:2cc7e3629784
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