TextWriterLogger class
Logger that writes to the specified TextWriter.
public sealed class TextWriterLogger : ILogger
Public Members
| name | description |
|---|---|
| TextWriterLogger(…) | Initializes a new instance of the TextWriterLogger class. |
| Dispose() | Releases any resources held by the logger. |
| Write(…) | Writes an informational string to the log. (10 methods) |
| WriteLine(…) | Writes an informational string to the log. (10 methods) |
See Also
- interface ILogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote