TextWriterLogger class
Bridges custom user provided TextWriter logger so it can be passed into Coyote via the ILogger
interface.
public class TextWriterLogger : TextWriter, ILogger
Public Members
name | description |
---|---|
TextWriterLogger(…) | Initializes a new instance of the TextWriterLogger class. |
override Encoding { get; } | |
TextWriter { get; } | This property provides a TextWriter that implements ILogger which is handy if you have existing code that requires a TextWriter. |
override Write(…) | Writes an informational string to the log. (2 methods) |
Write(…) | Writes a string to the log. (2 methods) |
override WriteLine(…) | Writes an informational string to the log. (2 methods) |
WriteLine(…) | Writes a string followed by a line terminator to the text string or stream. (2 methods) |
See Also
- interface ILogger
- namespace Microsoft.Coyote.IO
- assembly Microsoft.Coyote