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.

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

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

Returns:

the file opened.

const func integer: height (in window_file: outText)

Get the height of 'outText'.

Returns:

the height of 'outText'.

const func integer: width (in window_file: outText)

Get the width of 'outText'.

Returns:

the width of 'outText'.

const func integer: line (in window_file: outText)

Get the current line of outText.

Returns:

the current line of outText.

const func integer: column (in window_file: outText)

Get the current column of outText.

Returns:

the current column of outText.

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.

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).

const proc: clear (inout window_file: window_fil)

Clear the area of window_fil with space characters.

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.

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

Set the line of the current position of window_fil.

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

Set the column of the current position of window_fil.

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

Write a string to the current position of window_fil.

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.