NullExecutionContext
public interface PipelineExecutionContext
Modifier and Type | Method | Description |
---|---|---|
java.io.Writer |
getMetaWriter() |
The destination for any meta information obtained during execution.
|
default void |
printMeta(java.lang.String line) |
java.io.Writer getMetaWriter()
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.
default void printMeta(java.lang.String line)