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()