TextWriterLogger.WriteLine method (1 of 4)
Writes an informational string to the log.
public override void WriteLine(string message)
parameter | description |
---|---|
value | The string to write. |
See Also
- class TextWriterLogger
- namespace Microsoft.Coyote.IO
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (2 of 4)
Writes a string followed by a line terminator to the text string or stream.
public void WriteLine(LogSeverity severity, string value)
parameter | description |
---|---|
severity | The severity of the issue being logged. |
value | The string to write. |
See Also
- enum LogSeverity
- class TextWriterLogger
- namespace Microsoft.Coyote.IO
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (3 of 4)
Writes an informational string to the log.
public override void WriteLine(string format, params object[] args)
parameter | description |
---|---|
format | The string format to write. |
args | The arguments needed to format the string. |
See Also
- class TextWriterLogger
- namespace Microsoft.Coyote.IO
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (4 of 4)
Writes a string followed by a line terminator to the text string or stream.
public void WriteLine(LogSeverity severity, string format, params object[] args)
parameter | description |
---|---|
severity | The severity of the issue being logged. |
format | The string format to write. |
args | The arguments needed to format the string. |
See Also
- enum LogSeverity
- class TextWriterLogger
- namespace Microsoft.Coyote.IO
- assembly Microsoft.Coyote