()
| 1941 | } |
| 1942 | |
| 1943 | @Override |
| 1944 | public final void clearCounters() { |
| 1945 | if (counters.isEmpty()) { return; } |
| 1946 | boolean changed = counters.containsKey(CounterEnumType.MANABOND) || counters.keySet().stream().allMatch(CounterType::isKeywordCounter); |
| 1947 | |
| 1948 | counters.clear(); |
| 1949 | view.updateCounters(this); |
| 1950 | |
| 1951 | if (changed) { |
| 1952 | updateKeywords(); |
| 1953 | } |
| 1954 | } |
| 1955 | |
| 1956 | public final int sumAllCounters() { |
| 1957 | int count = 0; |
no test coverage detected