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 Wildcard Window Wrinum X.509 Xmldom Xml_ent Zip
Libraries
Inifile Source Code
 previous   up   next 

Function Summary
string
getParamValue (in iniDataType: iniData, in string: sectionName, in string: propertyName)
Returns a property value whose section and property name were given.
iniDataType
readIniFile (inout file: inFile)
Reads from the open INI file 'inFile' and returns its iniDataType value.
iniDataType
readIniFile (in string: fileName)
Reads an INI file with the given name and returns its iniDataType value.

Function Detail

getParamValue

const func string: getParamValue (in iniDataType: iniData, in string: sectionName, in string: propertyName)

Returns a property value whose section and property name were given. Returns "" when the section or the property name do not exist.

Returns:
a property value or "", when section or property don't exist.

readIniFile

const func iniDataType: readIniFile (inout file: inFile)

Reads from the open INI file 'inFile' and returns its iniDataType value.


readIniFile

const func iniDataType: readIniFile (in string: fileName)

Reads an INI file with the given name and returns its iniDataType value.



 previous   up   next