|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Benchmarkable
Resources that want to log their progress or results into a shared log centrally maintained by GATE, should implement this interface and use the java.util.Benchmark class to log their entries.
Method Summary | |
---|---|
String |
getBenchmarkId()
Returns the benchmark ID of this resource. |
void |
setBenchmarkId(String benchmarkId)
This method sets the benchmarkID for this resource. |
Method Detail |
---|
String getBenchmarkId()
void setBenchmarkId(String benchmarkId)
benchmarkId
- the benchmark ID, which must not contain spaces
as it is already used as a separator in the log, you can use
Benchmark.createBenchmarkId(String, String)
for it.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |