gui-cs.Terminal.Gui/Terminal.Gui/ConsoleDrivers/FakeDriver/FakeConsole.cs

//
// FakeConsole.cs: A fake .NET Windows Console API implementation for unit tests.
//
// Authors:
//   Charlie Kindel (github.com/tig)
//
using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace Terminal.Gui {

#pragma warning disable RCS1138 // Add summary to documentation comment.
	/// <summary>
	/// 
	/// </summary>
	public static class FakeConsole {
#pragma warning restore RCS1138 // Add summary to documentation comment.

		//
		// Summary:
		//     Gets or sets the width of the console window.
		//
		// Returns:
		//     The width of the console window measured in columns.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     The value of the System.Console.WindowWidth property or the value of the System.Console.WindowHeight
		//     property is less than or equal to 0.-or-The value of the System.Console.WindowHeight
		//     property plus the value of the System.Console.WindowTop property is greater than
		//     or equal to System.Int16.MaxValue.-or-The value of the System.Console.WindowWidth
		//     property or the value of the System.Console.WindowHeight property is greater
		//     than the largest possible window width or height for the current screen resolution
		//     and console font.
		//
		//   T:System.IO.IOException:
		//     Error reading or writing information.
#pragma warning disable RCS1138 // Add summary to documentation comment.

		/// <summary>
		/// Specifies the initial console width.
		/// </summary>
		public const int WIDTH = 80;

		/// <summary>
		/// Specifies the initial console height.
		/// </summary>
		public const int HEIGHT = 25;

		/// <summary>
		/// 
		/// </summary>
		public static int WindowWidth { get; set; } = WIDTH;
		//
		// Summary:
		//     Gets a value that indicates whether output has been redirected from the standard
		//     output stream.
		//
		// Returns:
		//     true if output is redirected; otherwise, false.
		/// <summary>
		/// 
		/// </summary>
		public static bool IsOutputRedirected { get; }
		//
		// Summary:
		//     Gets a value that indicates whether the error output stream has been redirected
		//     from the standard error stream.
		//
		// Returns:
		//     true if error output is redirected; otherwise, false.
		/// <summary>
		/// 
		/// </summary>
		public static bool IsErrorRedirected { get; }
		//
		// Summary:
		//     Gets the standard input stream.
		//
		// Returns:
		//     A System.IO.TextReader that represents the standard input stream.
		/// <summary>
		/// 
		/// </summary>
		public static TextReader In { get; }
		//
		// Summary:
		//     Gets the standard output stream.
		//
		// Returns:
		//     A System.IO.TextWriter that represents the standard output stream.
		/// <summary>
		/// 
		/// </summary>
		public static TextWriter Out { get; }
		//
		// Summary:
		//     Gets the standard error output stream.
		//
		// Returns:
		//     A System.IO.TextWriter that represents the standard error output stream.
		/// <summary>
		/// 
		/// </summary>
		public static TextWriter Error { get; }
		//
		// Summary:
		//     Gets or sets the encoding the console uses to read input.
		//
		// Returns:
		//     The encoding used to read console input.
		//
		// Exceptions:
		//   T:System.ArgumentNullException:
		//     The property value in a set operation is null.
		//
		//   T:System.IO.IOException:
		//     An error occurred during the execution of this operation.
		//
		//   T:System.Security.SecurityException:
		//     Your application does not have permission to perform this operation.
		/// <summary>
		/// 
		/// </summary>
		public static Encoding InputEncoding { get; set; }
		//
		// Summary:
		//     Gets or sets the encoding the console uses to write output.
		//
		// Returns:
		//     The encoding used to write console output.
		//
		// Exceptions:
		//   T:System.ArgumentNullException:
		//     The property value in a set operation is null.
		//
		//   T:System.IO.IOException:
		//     An error occurred during the execution of this operation.
		//
		//   T:System.Security.SecurityException:
		//     Your application does not have permission to perform this operation.
		/// <summary>
		/// 
		/// </summary>
		public static Encoding OutputEncoding { get; set; }
		//
		// Summary:
		//     Gets or sets the background color of the console.
		//
		// Returns:
		//     A value that specifies the background color of the console; that is, the color
		//     that appears behind each character. The default is black.
		//
		// Exceptions:
		//   T:System.ArgumentException:
		//     The color specified in a set operation is not a valid member of System.ConsoleColor.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static ConsoleColor BackgroundColor { get; set; } = _defaultBackgroundColor;
		static ConsoleColor _defaultBackgroundColor = ConsoleColor.Black;

		//
		// Summary:
		//     Gets or sets the foreground color of the console.
		//
		// Returns:
		//     A System.ConsoleColor that specifies the foreground color of the console; that
		//     is, the color of each character that is displayed. The default is gray.
		//
		// Exceptions:
		//   T:System.ArgumentException:
		//     The color specified in a set operation is not a valid member of System.ConsoleColor.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static ConsoleColor ForegroundColor { get; set; } = _defaultForegroundColor;
		static ConsoleColor _defaultForegroundColor = ConsoleColor.Gray;
		//
		// Summary:
		//     Gets or sets the height of the buffer area.
		//
		// Returns:
		//     The current height, in rows, of the buffer area.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     The value in a set operation is less than or equal to zero.-or- The value in
		//     a set operation is greater than or equal to System.Int16.MaxValue.-or- The value
		//     in a set operation is less than System.Console.WindowTop + System.Console.WindowHeight.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static int BufferHeight { get; set; } = HEIGHT;
		//
		// Summary:
		//     Gets or sets the width of the buffer area.
		//
		// Returns:
		//     The current width, in columns, of the buffer area.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     The value in a set operation is less than or equal to zero.-or- The value in
		//     a set operation is greater than or equal to System.Int16.MaxValue.-or- The value
		//     in a set operation is less than System.Console.WindowLeft + System.Console.WindowWidth.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static int BufferWidth { get; set; } = WIDTH;
		//
		// Summary:
		//     Gets or sets the height of the console window area.
		//
		// Returns:
		//     The height of the console window measured in rows.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     The value of the System.Console.WindowWidth property or the value of the System.Console.WindowHeight
		//     property is less than or equal to 0.-or-The value of the System.Console.WindowHeight
		//     property plus the value of the System.Console.WindowTop property is greater than
		//     or equal to System.Int16.MaxValue.-or-The value of the System.Console.WindowWidth
		//     property or the value of the System.Console.WindowHeight property is greater
		//     than the largest possible window width or height for the current screen resolution
		//     and console font.
		//
		//   T:System.IO.IOException:
		//     Error reading or writing information.
		/// <summary>
		/// 
		/// </summary>
		public static int WindowHeight { get; set; } = HEIGHT;
		//
		// Summary:
		//     Gets or sets a value indicating whether the combination of the System.ConsoleModifiers.Control
		//     modifier key and System.ConsoleKey.C console key (Ctrl+C) is treated as ordinary
		//     input or as an interruption that is handled by the operating system.
		//
		// Returns:
		//     true if Ctrl+C is treated as ordinary input; otherwise, false.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     Unable to get or set the input mode of the console input buffer.
		/// <summary>
		/// 
		/// </summary>
		public static bool TreatControlCAsInput { get; set; }
		//
		// Summary:
		//     Gets the largest possible number of console window columns, based on the current
		//     font and screen resolution.
		//
		// Returns:
		//     The width of the largest possible console window measured in columns.
		/// <summary>
		/// 
		/// </summary>
		public static int LargestWindowWidth { get; }
		//
		// Summary:
		//     Gets the largest possible number of console window rows, based on the current
		//     font and screen resolution.
		//
		// Returns:
		//     The height of the largest possible console window measured in rows.
		/// <summary>
		/// 
		/// </summary>
		public static int LargestWindowHeight { get; }
		//
		// Summary:
		//     Gets or sets the leftmost position of the console window area relative to the
		//     screen buffer.
		//
		// Returns:
		//     The leftmost console window position measured in columns.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     In a set operation, the value to be assigned is less than zero.-or-As a result
		//     of the assignment, System.Console.WindowLeft plus System.Console.WindowWidth
		//     would exceed System.Console.BufferWidth.
		//
		//   T:System.IO.IOException:
		//     Error reading or writing information.
		/// <summary>
		/// 
		/// </summary>
		public static int WindowLeft { get; set; }
		//
		// Summary:
		//     Gets or sets the top position of the console window area relative to the screen
		//     buffer.
		//
		// Returns:
		//     The uppermost console window position measured in rows.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     In a set operation, the value to be assigned is less than zero.-or-As a result
		//     of the assignment, System.Console.WindowTop plus System.Console.WindowHeight
		//     would exceed System.Console.BufferHeight.
		//
		//   T:System.IO.IOException:
		//     Error reading or writing information.
		/// <summary>
		/// 
		/// </summary>
		public static int WindowTop { get; set; }
		//
		// Summary:
		//     Gets or sets the column position of the cursor within the buffer area.
		//
		// Returns:
		//     The current position, in columns, of the cursor.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     The value in a set operation is less than zero.-or- The value in a set operation
		//     is greater than or equal to System.Console.BufferWidth.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static int CursorLeft { get; set; }
		//
		// Summary:
		//     Gets or sets the row position of the cursor within the buffer area.
		//
		// Returns:
		//     The current position, in rows, of the cursor.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     The value in a set operation is less than zero.-or- The value in a set operation
		//     is greater than or equal to System.Console.BufferHeight.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static int CursorTop { get; set; }
		//
		// Summary:
		//     Gets or sets the height of the cursor within a character cell.
		//
		// Returns:
		//     The size of the cursor expressed as a percentage of the height of a character
		//     cell. The property value ranges from 1 to 100.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     The value specified in a set operation is less than 1 or greater than 100.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static int CursorSize { get; set; }
		//
		// Summary:
		//     Gets or sets a value indicating whether the cursor is visible.
		//
		// Returns:
		//     true if the cursor is visible; otherwise, false.
		//
		// Exceptions:
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static bool CursorVisible { get; set; }
		//
		// Summary:
		//     Gets or sets the title to display in the console title bar.
		//
		// Returns:
		//     The string to be displayed in the title bar of the console. The maximum length
		//     of the title string is 24500 characters.
		//
		// Exceptions:
		//   T:System.InvalidOperationException:
		//     In a get operation, the retrieved title is longer than 24500 characters.
		//
		//   T:System.ArgumentOutOfRangeException:
		//     In a set operation, the specified title is longer than 24500 characters.
		//
		//   T:System.ArgumentNullException:
		//     In a set operation, the specified title is null.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static string Title { get; set; }
		//
		// Summary:
		//     Gets a value indicating whether a key press is available in the input stream.
		//
		// Returns:
		//     true if a key press is available; otherwise, false.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.InvalidOperationException:
		//     Standard input is redirected to a file instead of the keyboard.
		/// <summary>
		/// 
		/// </summary>
		public static bool KeyAvailable { get; }
		//
		// Summary:
		//     Gets a value indicating whether the NUM LOCK keyboard toggle is turned on or
		//     turned off.
		//
		// Returns:
		//     true if NUM LOCK is turned on; false if NUM LOCK is turned off.
		/// <summary>
		/// 
		/// </summary>
		public static bool NumberLock { get; }
		//
		// Summary:
		//     Gets a value indicating whether the CAPS LOCK keyboard toggle is turned on or
		//     turned off.
		//
		// Returns:
		//     true if CAPS LOCK is turned on; false if CAPS LOCK is turned off.
		/// <summary>
		/// 
		/// </summary>
		public static bool CapsLock { get; }
		//
		// Summary:
		//     Gets a value that indicates whether input has been redirected from the standard
		//     input stream.
		//
		// Returns:
		//     true if input is redirected; otherwise, false.
		/// <summary>
		/// 
		/// </summary>
		public static bool IsInputRedirected { get; }

		//
		// Summary:
		//     Plays the sound of a beep through the console speaker.
		//
		// Exceptions:
		//   T:System.Security.HostProtectionException:
		//     This method was executed on a server, such as SQL Server, that does not permit
		//     access to a user interface.
		/// <summary>
		/// 
		/// </summary>
		public static void Beep ()
		{
			throw new NotImplementedException ();
		}
		//
		// Summary:
		//     Plays the sound of a beep of a specified frequency and duration through the console
		//     speaker.
		//
		// Parameters:
		//   frequency:
		//     The frequency of the beep, ranging from 37 to 32767 hertz.
		//
		//   duration:
		//     The duration of the beep measured in milliseconds.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     frequency is less than 37 or more than 32767 hertz.-or- duration is less than
		//     or equal to zero.
		//
		//   T:System.Security.HostProtectionException:
		//     This method was executed on a server, such as SQL Server, that does not permit
		//     access to the console.
		/// <summary>
		/// 
		/// </summary>
		public static void Beep (int frequency, int duration)
		{
			throw new NotImplementedException ();
		}
		//
		// Summary:
		//     Clears the console buffer and corresponding console window of display information.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static void Clear ()
		{
			_buffer = new char [BufferWidth, BufferHeight];
			SetCursorPosition (0, 0);
		}

		static char [,] _buffer = new char [WindowWidth, WindowHeight];

		//
		// Summary:
		//     Copies a specified source area of the screen buffer to a specified destination
		//     area.
		//
		// Parameters:
		//   sourceLeft:
		//     The leftmost column of the source area.
		//
		//   sourceTop:
		//     The topmost row of the source area.
		//
		//   sourceWidth:
		//     The number of columns in the source area.
		//
		//   sourceHeight:
		//     The number of rows in the source area.
		//
		//   targetLeft:
		//     The leftmost column of the destination area.
		//
		//   targetTop:
		//     The topmost row of the destination area.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     One or more of the parameters is less than zero.-or- sourceLeft or targetLeft
		//     is greater than or equal to System.Console.BufferWidth.-or- sourceTop or targetTop
		//     is greater than or equal to System.Console.BufferHeight.-or- sourceTop + sourceHeight
		//     is greater than or equal to System.Console.BufferHeight.-or- sourceLeft + sourceWidth
		//     is greater than or equal to System.Console.BufferWidth.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static void MoveBufferArea (int sourceLeft, int sourceTop, int sourceWidth, int sourceHeight, int targetLeft, int targetTop)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Copies a specified source area of the screen buffer to a specified destination
		//     area.
		//
		// Parameters:
		//   sourceLeft:
		//     The leftmost column of the source area.
		//
		//   sourceTop:
		//     The topmost row of the source area.
		//
		//   sourceWidth:
		//     The number of columns in the source area.
		//
		//   sourceHeight:
		//     The number of rows in the source area.
		//
		//   targetLeft:
		//     The leftmost column of the destination area.
		//
		//   targetTop:
		//     The topmost row of the destination area.
		//
		//   sourceChar:
		//     The character used to fill the source area.
		//
		//   sourceForeColor:
		//     The foreground color used to fill the source area.
		//
		//   sourceBackColor:
		//     The background color used to fill the source area.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     One or more of the parameters is less than zero.-or- sourceLeft or targetLeft
		//     is greater than or equal to System.Console.BufferWidth.-or- sourceTop or targetTop
		//     is greater than or equal to System.Console.BufferHeight.-or- sourceTop + sourceHeight
		//     is greater than or equal to System.Console.BufferHeight.-or- sourceLeft + sourceWidth
		//     is greater than or equal to System.Console.BufferWidth.
		//
		//   T:System.ArgumentException:
		//     One or both of the color parameters is not a member of the System.ConsoleColor
		//     enumeration.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		public static void MoveBufferArea (int sourceLeft, int sourceTop, int sourceWidth, int sourceHeight, int targetLeft, int targetTop, char sourceChar, ConsoleColor sourceForeColor, ConsoleColor sourceBackColor)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Acquires the standard error stream.
		//
		// Returns:
		//     The standard error stream.
		/// <summary>
		/// 
		/// </summary>
		public static Stream OpenStandardError ()
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Acquires the standard error stream, which is set to a specified buffer size.
		//
		// Parameters:
		//   bufferSize:
		//     The internal stream buffer size.
		//
		// Returns:
		//     The standard error stream.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     bufferSize is less than or equal to zero.
		/// <summary>
		/// 
		/// </summary>
		public static Stream OpenStandardError (int bufferSize)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Acquires the standard input stream, which is set to a specified buffer size.
		//
		// Parameters:
		//   bufferSize:
		//     The internal stream buffer size.
		//
		// Returns:
		//     The standard input stream.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     bufferSize is less than or equal to zero.
		/// <summary>
		/// 
		/// </summary>
		public static Stream OpenStandardInput (int bufferSize)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Acquires the standard input stream.
		//
		// Returns:
		//     The standard input stream.
		/// <summary>
		/// 
		/// </summary>
		public static Stream OpenStandardInput ()
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Acquires the standard output stream, which is set to a specified buffer size.
		//
		// Parameters:
		//   bufferSize:
		//     The internal stream buffer size.
		//
		// Returns:
		//     The standard output stream.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     bufferSize is less than or equal to zero.
		/// <summary>
		/// 
		/// </summary>
		public static Stream OpenStandardOutput (int bufferSize)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Acquires the standard output stream.
		//
		// Returns:
		//     The standard output stream.
		/// <summary>
		/// 
		/// </summary>
		public static Stream OpenStandardOutput ()
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Reads the next character from the standard input stream.
		//
		// Returns:
		//     The next character from the input stream, or negative one (-1) if there are currently
		//     no more characters to be read.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static int Read ()
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Obtains the next character or function key pressed by the user. The pressed key
		//     is optionally displayed in the console window.
		//
		// Parameters:
		//   intercept:
		//     Determines whether to display the pressed key in the console window. true to
		//     not display the pressed key; otherwise, false.
		//
		// Returns:
		//     An object that describes the System.ConsoleKey constant and Unicode character,
		//     if any, that correspond to the pressed console key. The System.ConsoleKeyInfo
		//     object also describes, in a bitwise combination of System.ConsoleModifiers values,
		//     whether one or more Shift, Alt, or Ctrl modifier keys was pressed simultaneously
		//     with the console key.
		//
		// Exceptions:
		//   T:System.InvalidOperationException:
		//     The System.Console.In property is redirected from some stream other than the
		//     console.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		public static ConsoleKeyInfo ReadKey (bool intercept)
		{
			if (MockKeyPresses.Count > 0) {
				return MockKeyPresses.Pop();
			} else {
				return new ConsoleKeyInfo ('\0', (ConsoleKey)'\0', false,false,false);
			}
		}

		/// <summary>
		/// 
		/// </summary>
		public static Stack<ConsoleKeyInfo> MockKeyPresses = new Stack<ConsoleKeyInfo> ();

		//
		// Summary:
		//     Obtains the next character or function key pressed by the user. The pressed key
		//     is displayed in the console window.
		//
		// Returns:
		//     An object that describes the System.ConsoleKey constant and Unicode character,
		//     if any, that correspond to the pressed console key. The System.ConsoleKeyInfo
		//     object also describes, in a bitwise combination of System.ConsoleModifiers values,
		//     whether one or more Shift, Alt, or Ctrl modifier keys was pressed simultaneously
		//     with the console key.
		//
		// Exceptions:
		//   T:System.InvalidOperationException:
		//     The System.Console.In property is redirected from some stream other than the
		//     console.
		/// <summary>
		/// 
		/// </summary>
		public static ConsoleKeyInfo ReadKey ()
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Reads the next line of characters from the standard input stream.
		//
		// Returns:
		//     The next line of characters from the input stream, or null if no more lines are
		//     available.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.OutOfMemoryException:
		//     There is insufficient memory to allocate a buffer for the returned string.
		//
		//   T:System.ArgumentOutOfRangeException:
		//     The number of characters in the next line of characters is greater than System.Int32.MaxValue.
		/// <summary>
		/// 
		/// </summary>
		public static string ReadLine ()
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Sets the foreground and background console colors to their defaults.
		//
		// Exceptions:
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		public static void ResetColor ()
		{
			BackgroundColor = _defaultBackgroundColor;
			ForegroundColor = _defaultForegroundColor;
		}

		//
		// Summary:
		//     Sets the height and width of the screen buffer area to the specified values.
		//
		// Parameters:
		//   width:
		//     The width of the buffer area measured in columns.
		//
		//   height:
		//     The height of the buffer area measured in rows.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     height or width is less than or equal to zero.-or- height or width is greater
		//     than or equal to System.Int16.MaxValue.-or- width is less than System.Console.WindowLeft
		//     + System.Console.WindowWidth.-or- height is less than System.Console.WindowTop
		//     + System.Console.WindowHeight.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		public static void SetBufferSize (int width, int height)
		{
			BufferWidth = width;
			BufferHeight = height;
		}

		//
		// Summary:
		//     Sets the position of the cursor.
		//
		// Parameters:
		//   left:
		//     The column position of the cursor. Columns are numbered from left to right starting
		//     at 0.
		//
		//   top:
		//     The row position of the cursor. Rows are numbered from top to bottom starting
		//     at 0.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     left or top is less than zero.-or- left is greater than or equal to System.Console.BufferWidth.-or-
		//     top is greater than or equal to System.Console.BufferHeight.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		public static void SetCursorPosition (int left, int top)
		{
			CursorLeft = left;
			CursorTop = top;
			WindowLeft = Math.Max (Math.Min (left, BufferWidth - WindowWidth), 0);
			WindowTop = Math.Max (Math.Min (top, BufferHeight - WindowHeight), 0);
		}

		//
		// Summary:
		//     Sets the System.Console.Error property to the specified System.IO.TextWriter
		//     object.
		//
		// Parameters:
		//   newError:
		//     A stream that is the new standard error output.
		//
		// Exceptions:
		//   T:System.ArgumentNullException:
		//     newError is null.
		//
		//   T:System.Security.SecurityException:
		//     The caller does not have the required permission.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		public static void SetError (TextWriter newError)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Sets the System.Console.In property to the specified System.IO.TextReader object.
		//
		// Parameters:
		//   newIn:
		//     A stream that is the new standard input.
		//
		// Exceptions:
		//   T:System.ArgumentNullException:
		//     newIn is null.
		//
		//   T:System.Security.SecurityException:
		//     The caller does not have the required permission.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		public static void SetIn (TextReader newIn)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Sets the System.Console.Out property to the specified System.IO.TextWriter object.
		//
		// Parameters:
		//   newOut:
		//     A stream that is the new standard output.
		//
		// Exceptions:
		//   T:System.ArgumentNullException:
		//     newOut is null.
		//
		//   T:System.Security.SecurityException:
		//     The caller does not have the required permission.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="newOut"></param>
		public static void SetOut (TextWriter newOut)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Sets the position of the console window relative to the screen buffer.
		//
		// Parameters:
		//   left:
		//     The column position of the upper left corner of the console window.
		//
		//   top:
		//     The row position of the upper left corner of the console window.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     left or top is less than zero.-or- left + System.Console.WindowWidth is greater
		//     than System.Console.BufferWidth.-or- top + System.Console.WindowHeight is greater
		//     than System.Console.BufferHeight.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="left"></param>
		/// <param name="top"></param>
		public static void SetWindowPosition (int left, int top)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Sets the height and width of the console window to the specified values.
		//
		// Parameters:
		//   width:
		//     The width of the console window measured in columns.
		//
		//   height:
		//     The height of the console window measured in rows.
		//
		// Exceptions:
		//   T:System.ArgumentOutOfRangeException:
		//     width or height is less than or equal to zero.-or- width plus System.Console.WindowLeft
		//     or height plus System.Console.WindowTop is greater than or equal to System.Int16.MaxValue.
		//     -or- width or height is greater than the largest possible window width or height
		//     for the current screen resolution and console font.
		//
		//   T:System.Security.SecurityException:
		//     The user does not have permission to perform this action.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[SecuritySafeCritical]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="width"></param>
		/// <param name="height"></param>
		public static void SetWindowSize (int width, int height)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the specified string value to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (string value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified object to the standard output
		//     stream.
		//
		// Parameters:
		//   value:
		//     The value to write, or null.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (object value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified 64-bit unsigned integer value
		//     to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[CLSCompliant (false)]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (ulong value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified 64-bit signed integer value to
		//     the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (long value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified objects to the standard output
		//     stream using the specified format information.
		//
		// Parameters:
		//   format:
		//     A composite format string (see Remarks).
		//
		//   arg0:
		//     The first object to write using format.
		//
		//   arg1:
		//     The second object to write using format.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.ArgumentNullException:
		//     format is null.
		//
		//   T:System.FormatException:
		//     The format specification in format is invalid.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg0"></param>
		/// <param name="arg1"></param>
		public static void Write (string format, object arg0, object arg1)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified 32-bit signed integer value to
		//     the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (int value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified object to the standard output
		//     stream using the specified format information.
		//
		// Parameters:
		//   format:
		//     A composite format string (see Remarks).
		//
		//   arg0:
		//     An object to write using format.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.ArgumentNullException:
		//     format is null.
		//
		//   T:System.FormatException:
		//     The format specification in format is invalid.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg0"></param>
		public static void Write (string format, object arg0)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified 32-bit unsigned integer value
		//     to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[CLSCompliant (false)]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (uint value)
		{
			throw new NotImplementedException ();
		}

		//[CLSCompliant (false)]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg0"></param>
		/// <param name="arg1"></param>
		/// <param name="arg2"></param>
		/// <param name="arg3"></param>
		public static void Write (string format, object arg0, object arg1, object arg2, object arg3)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified array of objects to the standard
		//     output stream using the specified format information.
		//
		// Parameters:
		//   format:
		//     A composite format string (see Remarks).
		//
		//   arg:
		//     An array of objects to write using format.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.ArgumentNullException:
		//     format or arg is null.
		//
		//   T:System.FormatException:
		//     The format specification in format is invalid.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg"></param>
		public static void Write (string format, params object [] arg)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified Boolean value to the standard
		//     output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (bool value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the specified Unicode character value to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (char value)
		{
			_buffer [CursorLeft, CursorTop] = value;
		}

		//
		// Summary:
		//     Writes the specified array of Unicode characters to the standard output stream.
		//
		// Parameters:
		//   buffer:
		//     A Unicode character array.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="buffer"></param>
		public static void Write (char [] buffer)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the specified subarray of Unicode characters to the standard output stream.
		//
		// Parameters:
		//   buffer:
		//     An array of Unicode characters.
		//
		//   index:
		//     The starting position in buffer.
		//
		//   count:
		//     The number of characters to write.
		//
		// Exceptions:
		//   T:System.ArgumentNullException:
		//     buffer is null.
		//
		//   T:System.ArgumentOutOfRangeException:
		//     index or count is less than zero.
		//
		//   T:System.ArgumentException:
		//     index plus count specify a position that is not within buffer.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="buffer"></param>
		/// <param name="index"></param>
		/// <param name="count"></param>
		public static void Write (char [] buffer, int index, int count)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified objects to the standard output
		//     stream using the specified format information.
		//
		// Parameters:
		//   format:
		//     A composite format string (see Remarks).
		//
		//   arg0:
		//     The first object to write using format.
		//
		//   arg1:
		//     The second object to write using format.
		//
		//   arg2:
		//     The third object to write using format.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.ArgumentNullException:
		//     format is null.
		//
		//   T:System.FormatException:
		//     The format specification in format is invalid.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg0"></param>
		/// <param name="arg1"></param>
		/// <param name="arg2"></param>
		public static void Write (string format, object arg0, object arg1, object arg2)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified System.Decimal value to the standard
		//     output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (decimal value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified single-precision floating-point
		//     value to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (float value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified double-precision floating-point
		//     value to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void Write (double value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the current line terminator to the standard output stream.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		public static void WriteLine ()
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified single-precision floating-point
		//     value, followed by the current line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (float value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified 32-bit signed integer value,
		//     followed by the current line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (int value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified 32-bit unsigned integer value,
		//     followed by the current line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[CLSCompliant (false)]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (uint value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified 64-bit signed integer value,
		//     followed by the current line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (long value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified 64-bit unsigned integer value,
		//     followed by the current line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//[CLSCompliant (false)]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (ulong value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified object, followed by the current
		//     line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (object value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the specified string value, followed by the current line terminator, to
		//     the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (string value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified object, followed by the current
		//     line terminator, to the standard output stream using the specified format information.
		//
		// Parameters:
		//   format:
		//     A composite format string (see Remarks).
		//
		//   arg0:
		//     An object to write using format.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.ArgumentNullException:
		//     format is null.
		//
		//   T:System.FormatException:
		//     The format specification in format is invalid.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg0"></param>
		public static void WriteLine (string format, object arg0)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified objects, followed by the current
		//     line terminator, to the standard output stream using the specified format information.
		//
		// Parameters:
		//   format:
		//     A composite format string (see Remarks).
		//
		//   arg0:
		//     The first object to write using format.
		//
		//   arg1:
		//     The second object to write using format.
		//
		//   arg2:
		//     The third object to write using format.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.ArgumentNullException:
		//     format is null.
		//
		//   T:System.FormatException:
		//     The format specification in format is invalid.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg0"></param>
		/// <param name="arg1"></param>
		/// <param name="arg2"></param>
		public static void WriteLine (string format, object arg0, object arg1, object arg2)
		{
			throw new NotImplementedException ();
		}

		//[CLSCompliant (false)]
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg0"></param>
		/// <param name="arg1"></param>
		/// <param name="arg2"></param>
		/// <param name="arg3"></param>
		public static void WriteLine (string format, object arg0, object arg1, object arg2, object arg3)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified array of objects, followed by
		//     the current line terminator, to the standard output stream using the specified
		//     format information.
		//
		// Parameters:
		//   format:
		//     A composite format string (see Remarks).
		//
		//   arg:
		//     An array of objects to write using format.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.ArgumentNullException:
		//     format or arg is null.
		//
		//   T:System.FormatException:
		//     The format specification in format is invalid.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg"></param>
		public static void WriteLine (string format, params object [] arg)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the specified subarray of Unicode characters, followed by the current
		//     line terminator, to the standard output stream.
		//
		// Parameters:
		//   buffer:
		//     An array of Unicode characters.
		//
		//   index:
		//     The starting position in buffer.
		//
		//   count:
		//     The number of characters to write.
		//
		// Exceptions:
		//   T:System.ArgumentNullException:
		//     buffer is null.
		//
		//   T:System.ArgumentOutOfRangeException:
		//     index or count is less than zero.
		//
		//   T:System.ArgumentException:
		//     index plus count specify a position that is not within buffer.
		//
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="buffer"></param>
		/// <param name="index"></param>
		/// <param name="count"></param>
		public static void WriteLine (char [] buffer, int index, int count)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified System.Decimal value, followed
		//     by the current line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (decimal value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the specified array of Unicode characters, followed by the current line
		//     terminator, to the standard output stream.
		//
		// Parameters:
		//   buffer:
		//     A Unicode character array.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="buffer"></param>
		public static void WriteLine (char [] buffer)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the specified Unicode character, followed by the current line terminator,
		//     value to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (char value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified Boolean value, followed by the
		//     current line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (bool value)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified objects, followed by the current
		//     line terminator, to the standard output stream using the specified format information.
		//
		// Parameters:
		//   format:
		//     A composite format string (see Remarks).
		//
		//   arg0:
		//     The first object to write using format.
		//
		//   arg1:
		//     The second object to write using format.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		//
		//   T:System.ArgumentNullException:
		//     format is null.
		//
		//   T:System.FormatException:
		//     The format specification in format is invalid.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="format"></param>
		/// <param name="arg0"></param>
		/// <param name="arg1"></param>
		public static void WriteLine (string format, object arg0, object arg1)
		{
			throw new NotImplementedException ();
		}

		//
		// Summary:
		//     Writes the text representation of the specified double-precision floating-point
		//     value, followed by the current line terminator, to the standard output stream.
		//
		// Parameters:
		//   value:
		//     The value to write.
		//
		// Exceptions:
		//   T:System.IO.IOException:
		//     An I/O error occurred.
		/// <summary>
		/// 
		/// </summary>
		/// <param name="value"></param>
		public static void WriteLine (double value)
		{
			throw new NotImplementedException ();
		}

	}
}