ConsoleLogger.Write method (1 of 10)

Writes an informational string to the log.

public void Write(string value)

parameter	description
value	The string to write.

See Also

• class ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (2 of 10)

Writes a string to the log with the specified verbosity level.

public void Write(LogSeverity severity, string value)

parameter	description
severity	The severity of the message being logged.
value	The string to write.

See Also

• enum LogSeverity
• class ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (3 of 10)

Writes an informational string to the log.

public void Write(string format, object arg0)

parameter	description
format	The string format to write.
arg0	The first object to format and write.

See Also

• class ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (4 of 10)

Writes an informational string to the log.

public void Write(string format, params object[] args)

parameter	description
format	The string format to write.
args	The arguments needed to format the string.

See Also

• class ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (5 of 10)

Writes an informational string to the log.

public void Write(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 ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (6 of 10)

Writes a string to the log with the specified verbosity level.

public void Write(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 ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (7 of 10)

Writes an informational string to the log.

public void Write(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 ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (8 of 10)

Writes an informational string to the log.

public void Write(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 ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (9 of 10)

Writes an informational string to the log.

public void Write(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 ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote

---

ConsoleLogger.Write method (10 of 10)

Writes an informational string to the log.

public void Write(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 ConsoleLogger
• namespace Microsoft.Coyote.Logging
• assembly Microsoft.Coyote