C# Класс Microsoft.PSharp.IO.Output

Static class implementing output methods.
Показать файл Открыть проект

Открытые методы

Метод Описание
Write ( string value ) : void

Writes the specified string value to the output stream.
WriteLine ( string value ) : void

Writes the specified string value, followed by the current line terminator, to the output stream.

Описание методов

Write() публичный статический Метод

Writes the specified string value to the output stream.
public static Write ( string value ) : void
value string
Результат void

WriteLine() публичный статический Метод

Writes the specified string value, followed by the current line terminator, to the output stream.
public static WriteLine ( string value ) : void
value string
Результат void