|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface ProfileOperation
An operation which has occurred.
Profile operations are created with calls to ProfileConsumer.createOperation. An
operations's name includes both the name supplied to
createOperation and the value of ProfileConsumer.getName().
| Method Summary | |
|---|---|
String |
getName()
Returns the name of this operation. |
void |
report()
Tells this operation to report that it is happening. |
| Method Detail |
|---|
String getName()
void report()
|
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 | |||||||||