public class ExecutionTimeRecorderFactory extends Object
ExecutionTimeRecorder
depending in what outputs are enabled.Modifier and Type | Method and Description |
---|---|
static ExecutionTimeRecorder |
create(boolean executionTimeOutputsEnabled)
Creates either a
ExecutionTimeRecorder that records times, or ignores the recording
depending on whether any output is enabled that needs the execution-time. |
public static ExecutionTimeRecorder create(boolean executionTimeOutputsEnabled)
ExecutionTimeRecorder
that records times, or ignores the recording
depending on whether any output is enabled that needs the execution-time.executionTimeOutputsEnabled
- whether any relevant output is enabled for the
execution-times.ExecutionTimeRecorder
, newly created if executionTimeOutputsEnabled==true
.Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.