public interface Benchmarkable
|Modifier and Type||Method and Description|
Returns the benchmark ID of this resource.
This method sets the benchmarkID for this resource.
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 © 2023 GATE. All rights reserved.