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
Echo Source Code
 previous   up   next 

Types
echo_file
File implementation type which generates an echo of the input.

echo_file

const type: echo_file

File implementation type which generates an echo of the input.


Function Summary
file
openEcho (in file: in_fil, in file: out_fil)
Open an echo_file.
char
getc (inout echo_file: echo_fil)
Read a character from an echo_file.
string
gets (inout echo_file: echo_fil, in integer: maxLength)
Read a string with a maximum length from an echo_file.

Function Detail

openEcho

const func file: openEcho (in file: in_fil, in file: out_fil)

Open an echo_file.

Returns:
the file opened.

getc

const func char: getc (inout echo_file: echo_fil)

Read a character from an echo_file. The request is forwarded to in_file. The character read from in_file is written (echoed) to out_file. Ctrl-C and ctrl-T are handled special, as they can be used to terminate the program. The user is asked for confirmation before the program is terminated.

Returns:
the character read, or EOF at the end of the file.

gets

const func string: gets (inout echo_file: echo_fil, in integer: maxLength)

Read a string with a maximum length from an echo_file.

Returns:
the string read.


 previous   up   next