TestOutputLogger.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 TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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
- class TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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 TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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 TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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
- class TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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
- class TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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 TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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
- class TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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 TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test
TestOutputLogger.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
- class TestOutputLogger
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test