Package | Description |
---|---|
org.anchoranalysis.core.time |
Recording the execution-time of operations for profiling.
|
Modifier and Type | Method and Description |
---|---|
void |
RecordedExecutionTimes.forEach(java.util.function.Consumer<RecordedExecutionTimes.RecordedOperation> consumer)
For each unique operation with a recorded-time, call
consumer . |
Constructor and Description |
---|
RecordedExecutionTimes(java.util.stream.Stream<RecordedExecutionTimes.RecordedOperation> runningTimes)
Create with the running-times.
|
Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.