public interface Benchmarkable
| Modifier and Type | Method and Description |
|---|---|
String |
getBenchmarkId()
Returns the benchmark ID of this resource.
|
void |
setBenchmarkId(String benchmarkId)
This method sets the benchmarkID for this resource.
|
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.Copyright © 2024 GATE. All rights reserved.