Seed7 FAQ Manual Demo Screenshots Examples Libraries Algorithms Benchmarks Index Download GitHub Build Seed7 Links
Libraries AES AES GCM Ar ARC4 Archive base Array ASN.1 Base idx array Bigfile Bigint Bigrat Bin32 Bin64 Bitdata Bitmapfont Bitset Bitsetof Blowfish BMP Boolean Browser Bstring Bytedata Cards Category CC config CCITT Fax Cgi Cgi dialog Char Charsets Cipher Clib_file Color CLI commands Complex Compress Console Cpio Crc32 Csv DB properties Deflate DES Dialog Dir Draw Duration Echo Editline ELF Elliptic Enable_io Encoding Enumeration Environment Exif External_file File File system File utilities Fixed size array Float Font Forloop Ftp Getf Gethttp Gethttps GIF Graph Graph_file Gzip Hash Hashsetof Hmac HTML Html_ent Htmldom Httpserv Http response Huffman ICO format Idxarray Image Image file Inflate Inifile Integer I/O Buffer JPEG JSON Keybd Key descriptions Line LEB128 Listener Log file Lower case filter LZMA LZW Magic numbers Make Make data Math Mixed arithmetic More filter Msgdigest Null_file Osfiles PEM Picture utility Pixel image Pixmap_file Pixmapfont PKCS #1 PNG Poll PBM PGM PPM Process Progs Propertyfile Rational Reference Ref_list Rpm Rpm extension Scanfile Scan JSON Scanstri Set Shell Show TLS Smtp Sockbase Socket SQL base Stars Stdio Strifile String Stritext Sub file Subrange Tar Tar commands Tee file Text Tiff Time TLS/SSL Triple DES Unicode Upper case filter Utf16 Utf8 Vectorfont 3D Vector Wildcard Window Wrinum X.509 Xmldom Xml_ent XZ Zip Zstandard
Libraries
Console Source Code
 previous   up   next 

Types
console_file
Text implementation type for text console/window.

console_file

const type: console_file

Text implementation type for text console/window. This type allows writing to text terminals, terminal emulations and console windows.


Variable Summary
console_file
STD_CONSOLE
Standard console file of the current process.

Function Summary
console_file
open (CONSOLE)
Creates a console_file at the upper left corner of the console/window.
void
flush (in console_file: aFile)
Forces that all buffered data of aFile is sent to its destination.
integer
height (in console_file: aConsoleFile)
Get the height of 'aConsoleFile'.
integer
width (in console_file: aConsoleFile)
Get the width of 'aConsoleFile'.
void
setPos (in console_file: aConsoleFile, in integer: line, in integer: column)
Set the current position of 'aConsoleFile' to 'line' and 'column'.
integer
column (in console_file: aConsoleFile)
Get the cursor column of 'aConsoleFile'.
integer
line (in console_file: aConsoleFile)
Get the cursor line of 'aConsoleFile'.
void
clear (in console_file: aConsoleFile, in integer: upper, in integer: left, in integer: lower, in integer: right)
Clear an area of aConsoleFile with space characters.
void
clear (in console_file: aConsoleFile)
Clear 'aConsoleFile' with space characters.
void
write (in console_file: aConsoleFile, in string: stri)
Write a string to the current position of 'aConsoleFile'.

Variable Detail

STD_CONSOLE

var console_file: STD_CONSOLE

Standard console file of the current process. When characters are written to STD_CONSOLE they are displayed on the console/terminal (if it exists and is able to display them). Unlike the byte file STD_OUT STD_CONSOLE accepts also Unicode characters. Unicode characters are written with the encoding of the operating system. If the standard output file of the operating system has been redirected UTF-8 encoded characters are written to the redirected file.


Function Detail

open

const func console_file: open (CONSOLE)

Creates a console_file at the upper left corner of the console/window. The console_file extends over the whole text console/window.

Returns:
the file opened.

flush

const proc: flush (in console_file: aFile)

Forces that all buffered data of aFile is sent to its destination. This causes data to be sent to the text console/window of the OS.

height

const func integer: height (in console_file: aConsoleFile)

Get the height of 'aConsoleFile'.

Returns:
the height of 'aConsoleFile'.

width

const func integer: width (in console_file: aConsoleFile)

Get the width of 'aConsoleFile'.

Returns:
the width of 'aConsoleFile'.

setPos

const proc: setPos (in console_file: aConsoleFile, in integer: line, in integer: column)

Set the current position of 'aConsoleFile' to 'line' and 'column'.

column

const func integer: column (in console_file: aConsoleFile)

Get the cursor column of 'aConsoleFile'.

Returns:
the cursor column of 'aConsoleFile'.

line

const func integer: line (in console_file: aConsoleFile)

Get the cursor line of 'aConsoleFile'.

Returns:
the cursor line of 'aConsoleFile'.

clear

const proc: clear (in console_file: aConsoleFile, in integer: upper, in integer: left, in integer: lower, in integer: right)

Clear an area of aConsoleFile with space characters. The area is specified in (line, column) coordinates and is between the (upper, left) and (lower, right).

clear

const proc: clear (in console_file: aConsoleFile)

Clear 'aConsoleFile' with space characters.

write

const proc: write (in console_file: aConsoleFile, in string: stri)

Write a string to the current position of 'aConsoleFile'. Unicode characters are written with the encoding of the operating system. The cursor position is changed, if one of the characters '\n', '\r' and '\b' is written. If the standard output file of the operating system has been redirected UTF-8 encoded characters are written to the redirected file.


 previous   up   next