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.