C# Class Microsoft.PSharp.IO.Output

Static class implementing output methods.
Datei anzeigen Open project: p-org/PSharp

Public Methods

Method Description
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.

Method Details

Write() public static method

Writes the specified string value to the output stream.
public static Write ( string value ) : void
value string
return void

WriteLine() public static method

Writes the specified string value, followed by the current line terminator, to the output stream.
public static WriteLine ( string value ) : void
value string
return void