ConsoleLogger class
Logger that writes text to the console.
public sealed class ConsoleLogger : ILogger
Public Members
| name | description |
|---|---|
| ConsoleLogger(…) | Initializes a new instance of the ConsoleLogger 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