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

Types
line_file
File implementation type which reads baseFile linewise.

line_file

const type: line_file

File implementation type which reads baseFile linewise.


Function Summary
file
openLine (in file: aFile)
Open a line_file to filter aFile linewise.
void
write (inout line_file: line_fil, in string: stri)
Write a string to a line_file.
void
writeln (inout line_file: line_fil)
Write end-of-line to a line_file.
string
getln (inout line_file: line_fil)
Read a line from a line_file.
char
getc (inout line_file: line_fil)
Read a character from a line_file.
string
gets (inout line_file: line_fil, in integer: maxLength)
Read a string with a maximum length from a line_file.

Function Detail

openLine

const func file: openLine (in file: aFile)

Open a line_file to filter aFile linewise.

Returns:
the file opened.

write

const proc: write (inout line_file: line_fil, in string: stri)

Write a string to a line_file.


writeln

const proc: writeln (inout line_file: line_fil)

Write end-of-line to a line_file.


getln

const func string: getln (inout line_file: line_fil)

Read a line from a line_file. The function accepts lines ending with "\n" or EOF. The line ending characters are not copied into the string. When the function is left the line_file.bufferChar contains '\n' or EOF.

Returns:
the line read.

getc

const func char: getc (inout line_file: line_fil)

Read a character from a line_file.

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

gets

const func string: gets (inout line_file: line_fil, in integer: maxLength)

Read a string with a maximum length from a line_file.

Returns:
the string read.


 previous   up   next