TextWriterLogger.WriteLine method (1 of 10)
Writes an informational string to the log.
public void WriteLine(string value)
| parameter | description |
|---|---|
| value | The string to write. |
See Also
- class TextWriterLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (2 of 10)
Writes a string followed by a line terminator to the text string or stream with the specified verbosity level.
public void WriteLine(LogSeverity severity, string value)
| parameter | description |
|---|---|
| severity | The severity of the message being logged. |
| value | The string to write. |
See Also
- enum LogSeverity
- class TextWriterLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (3 of 10)
Writes an informational string to the log.
public void WriteLine(string format, object arg0)
| parameter | description |
|---|---|
| format | The string format to write. |
| arg0 | The first object to format and write. |
See Also
- class TextWriterLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (4 of 10)
Writes an informational string to the log.
public 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.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (5 of 10)
Writes an informational string to the log.
public void WriteLine(LogSeverity severity, string format, object arg0)
| parameter | description |
|---|---|
| severity | The severity of the message being logged. |
| format | The string format to write. |
| arg0 | The first object to format and write. |
See Also
- enum LogSeverity
- class TextWriterLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (6 of 10)
Writes a string followed by a line terminator to the text string or stream with the specified verbosity level.
public void WriteLine(LogSeverity severity, string format, params object[] args)
| parameter | description |
|---|---|
| severity | The severity of the message 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.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (7 of 10)
Writes an informational string to the log.
public void WriteLine(string format, object arg0, object arg1)
| parameter | description |
|---|---|
| format | The string format to write. |
| arg0 | The first object to format and write. |
| arg1 | The second object to format and write. |
See Also
- class TextWriterLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (8 of 10)
Writes an informational string to the log.
public void WriteLine(LogSeverity severity, string format, object arg0, object arg1)
| parameter | description |
|---|---|
| severity | The severity of the message being logged. |
| format | The string format to write. |
| arg0 | The first object to format and write. |
| arg1 | The second object to format and write. |
See Also
- enum LogSeverity
- class TextWriterLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (9 of 10)
Writes an informational string to the log.
public void WriteLine(string format, object arg0, object arg1, object arg2)
| parameter | description |
|---|---|
| format | The string format to write. |
| arg0 | The first object to format and write. |
| arg1 | The second object to format and write. |
| arg2 | The third object to format and write. |
See Also
- class TextWriterLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote
TextWriterLogger.WriteLine method (10 of 10)
Writes an informational string to the log.
public void WriteLine(LogSeverity severity, string format, object arg0, object arg1, object arg2)
| parameter | description |
|---|---|
| severity | The severity of the message being logged. |
| format | The string format to write. |
| arg0 | The first object to format and write. |
| arg1 | The second object to format and write. |
| arg2 | The third object to format and write. |
See Also
- enum LogSeverity
- class TextWriterLogger
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote