|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface ProfileCounter
A counter used in profiling. All counters have a name associated with them, and start at zero. Counters can only be incremented.
Profile counters are created with calls to
ProfileConsumer.createCounter.
A counter's name includes both the name supplied to
createCounter and the value of ProfileConsumer.getName().
| Method Summary | |
|---|---|
String |
getName()
Returns the name of this counter. |
void |
incrementCount()
Increments the counter by 1. |
void |
incrementCount(long value)
Increments the counter by the given non-negative value. |
| Method Detail |
|---|
String getName()
void incrementCount()
1.
void incrementCount(long value)
value - the amount to increment the counter
IllegalArgumentException - if value is negative
|
RedDwarf, Version 0.10.1 2010-03-14 10:56:12 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||