public class RecordedExecutionTimes extends Object
Modifier and Type | Class and Description |
---|---|
static class |
RecordedExecutionTimes.RecordedOperation
A particular type of operation that has been recorded (en aggregate).
|
Constructor and Description |
---|
RecordedExecutionTimes(java.util.stream.Stream<RecordedExecutionTimes.RecordedOperation> runningTimes)
Create with the running-times.
|
Modifier and Type | Method and Description |
---|---|
void |
forEach(java.util.function.Consumer<RecordedExecutionTimes.RecordedOperation> consumer)
For each unique operation with a recorded-time, call
consumer . |
boolean |
isEmpty()
Are there no recorded operations?
|
public RecordedExecutionTimes(java.util.stream.Stream<RecordedExecutionTimes.RecordedOperation> runningTimes)
runningTimes
- a set of each operation-identifiers and corresponding execution-times.public void forEach(java.util.function.Consumer<RecordedExecutionTimes.RecordedOperation> consumer)
consumer
.consumer
- called for each unique operation that has been recorded.public boolean isEmpty()
Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.