Package owl.run

## Interface PipelineExecutionContext

-     public interface PipelineExecutionContext

  Holds information about an execution originating from a particular input.

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `Writer` | `metaWriter()` | The destination for any meta information obtained during execution.

- - ### Method Detail

    - #### metaWriter

          Writer metaWriter()

      The destination for any meta information obtained during execution. Note that this is different from logging: Logging should be used to gather information relevant for debugging or tracing the flow of the execution, while the meta stream is used to gather information of the pipeline results.

      For example, logging might include information about specific steps of a construction. This usually is not relevant to a user. On the other hand, the meta stream might be used to, e.g., output intermediate results or statistics, which can be helpful to compare different constructions or measure the effect of an optimization, see for example `OutputWriters.AutomatonStats`.

      This stream is managed by the coordinator and must only be closed by the coordinator. Modules are guaranteed to have exclusive access to this writer without further synchronization. IO exceptions on these writers may be silently ignored.