ILogger interface
A logger is used to capture messages, warnings and errors.
public interface ILogger : IDisposable
Members
| name | description |
|---|---|
| TextWriter { get; } | This property provides a TextWriter that implements ILogger which is handy if you have existing code that requires a TextWriter. |
| Write(…) | Writes an informational string to the log. (4 methods) |
| WriteLine(…) | Writes an informational string to the log. (4 methods) |
See Also
- namespace Microsoft.Coyote.IO
- assembly Microsoft.Coyote