Class RecordedExecutionTimes

Object
RecordedExecutionTimes

public class RecordedExecutionTimes extends Object
Recorded execution-times for operations.
Author:
Owen Feehan
  • Constructor Details

    • RecordedExecutionTimes

      public RecordedExecutionTimes(Stream<RecordedExecutionTimes.RecordedOperation> runningTimes)
      Create with the running-times.
      Parameters:
      runningTimes - a set of each operation-identifiers and corresponding execution-times.
  • Method Details

    • forEach

      public void forEach(Consumer<RecordedExecutionTimes.RecordedOperation> consumer)
      For each unique operation with a recorded-time, call consumer.
      Parameters:
      consumer - called for each unique operation that has been recorded.
    • isEmpty

      public boolean isEmpty()
      Are there no recorded operations?
      Returns:
      yes, iff no recorded operations exist.