public interface ReplaceOutputManager
OutputManager
can be replaced.Modifier and Type | Method and Description |
---|---|
void |
replaceOutputManager(OutputManager output)
Replace the currently-assigned
OutputManager with another. |
void replaceOutputManager(OutputManager output) throws OperationFailedException
OutputManager
with another.output
- the task to replace.OperationFailedException
- if the task cannot be successfully replaced.Copyright © 2010–2023 Owen Feehan, ETH Zurich, University of Zurich, Hoffmann-La Roche. All rights reserved.