public class Counters
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static interface |
Counters.Counter |
| Constructor and Description |
|---|
Counters() |
| Modifier and Type | Method and Description |
|---|---|
Counters.Counter |
add(java.lang.String name) |
void |
addTo(Counters sub) |
void |
count(java.lang.String name,
java.lang.Comparable value) |
Counters.Counter |
get(java.lang.String name) |
Counters |
makeSubCounters() |
void |
show(java.util.Formatter f) |
public Counters.Counter add(java.lang.String name)
public void show(java.util.Formatter f)
public Counters.Counter get(java.lang.String name)
public void count(java.lang.String name,
java.lang.Comparable value)
public void addTo(Counters sub)
public Counters makeSubCounters()