Seed7 - The extensible programming language
Seed7 FAQ Manual Screenshots Examples Libraries Algorithms Download Links
Libraries AES ARC4 Array ASN.1 Bigfile Bigint Bigrat Bin32 Bin64 Bitdata Bitmapfont Bitset Bitsetof Boolean Browser Bstring Bytedata Cards Category CC config Cgi Cgi dialog Char Charsets Cipher Clib_file Color CLI Commands Complex Console Crc32 Deflate DES Dialog Dir Draw Duration Echo Editline Enable_input Enable_io Enable_output Encoding Environment External_file File File system Float Font Forloop Ftp Getf Gethttp Gethttps Graph Graph_file Gzip Hash Hashsetof Hmac Html_ent Httpserv Idxarray Image Inflate Inflate file Inifile Integer Keybd Line Listener LZW Make Math Msgdigest Null_file Osfiles Picture utility Pixmap_file Pixmapfont PKCS #1 Poll Process Progs Propertyfile Rational Reference Ref_list Scanfile Scanstri Set Shell Smtp Sockbase Socket SQL base Stdio Strifile String Stritext Subrange Tar Text Time TLS/SSL Triple DES Unicode Utf16 Utf8 Vectorfont 3D Vector Window Wrinum X.509 Xmldom Xml_ent Zip
Libraries
Window Source Code
 previous   up   next 

Types
window_file
Text implementation type providing a rectangular area of text.

window_file

const type: window_file

Text implementation type providing a rectangular area of text. A window_file is based on an underlying text file. It provides access to an rectangular area of the underlying text file.


Function Summary
file
openWindow (ref text: out_fil, in integer: upper, in integer: left, in integer: height, in integer: width)
Creates a window_file at (left, upper) in out_fil.
integer
height (in window_file: out_fil)
Get the height of 'out_fil'.
integer
width (in window_file: out_fil)
Get the width of 'out_fil'.
integer
line (in window_file: out_fil)
Get the current line of out_fil.
integer
column (in window_file: out_fil)
Get the current column of out_fil.
void
flush (inout window_file: window_fil)
Forces that all buffered data of aFile is sent to its destination.
void
clear (inout window_file: window_fil, in integer: upper, in integer: left, in integer: lower, in integer: right)
Clear an area of window_fil with space characters.
void
clear (inout window_file: window_fil)
Clear the area of window_fil with space characters.
void
setPos (inout window_file: window_fil, in integer: line, in integer: column)
Set the current position of window_fil to line and column.
void
setLine (inout window_file: window_fil, in integer: line)
Set the line of the current position of window_fil.
void
setColumn (inout window_file: window_fil, in integer: column)
Set the column of the current position of window_fil.
void
write (inout window_file: window_fil, in string: stri)
Write a string to the current position of window_fil.
void
writeln (inout window_file: window_fil)
Write end-of-line to a window_fil.

Function Detail

openWindow

const func file: openWindow (ref text: out_fil, in integer: upper, in integer: left, in integer: height, in integer: width)

Creates a window_file at (left, upper) in out_fil. The window_file has the given height and width.

Returns:
the file opened.

height

const func integer: height (in window_file: out_fil)

Get the height of 'out_fil'.

Returns:
the height of 'out_fil'.

width

const func integer: width (in window_file: out_fil)

Get the width of 'out_fil'.

Returns:
the width of 'out_fil'.

line

const func integer: line (in window_file: out_fil)

Get the current line of out_fil.

Returns:
the current line of out_fil.

column

const func integer: column (in window_file: out_fil)

Get the current column of out_fil.

Returns:
the current column of out_fil.

flush

const proc: flush (inout window_file: window_fil)

Forces that all buffered data of aFile is sent to its destination. This causes data to be sent to the underlying text file.


clear

const proc: clear (inout window_file: window_fil, in integer: upper, in integer: left, in integer: lower, in integer: right)

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


clear

const proc: clear (inout window_file: window_fil)

Clear the area of window_fil with space characters.


setPos

const proc: setPos (inout window_file: window_fil, in integer: line, in integer: column)

Set the current position of window_fil to line and column.


setLine

const proc: setLine (inout window_file: window_fil, in integer: line)

Set the line of the current position of window_fil.


setColumn

const proc: setColumn (inout window_file: window_fil, in integer: column)

Set the column of the current position of window_fil.


write

const proc: write (inout window_file: window_fil, in string: stri)

Write a string to the current position of window_fil.


writeln

const proc: writeln (inout window_file: window_fil)

Write end-of-line to a window_fil. Set the current position to the beginning of the next line.



 previous   up   next