|
||||||||
| ОГЛАВЛЕНИЕ | ||||||||
| Обзор функций | |
Reader
|
newFileReader(String FileName)
Функция пытается открыть файл для чтения, и если это удается - создает новый входящий поток, который и является результатом работы функции |
Reader
|
newFileReader(String FileName, String Encoding)
Функция пытается открыть файл для чтения в кодировке, указанной в Encoding, и если это удается - создает новый входящий поток, который и является результатом работы функции |
String
|
read()
Читает строку из стандартного входного потока (консоли) |
String
|
read(Reader/String Input)
Если аргумент является входящим потоком (типа Reader), то из этого потока считывается очередной символ, код которого в виде целого числа и является результатом. Если функция возвращает -1, то это означает, что достигнут конец файла. Если Input является строкой, то функция интерпретирует его как имя файла для чтения. Она пытается открыть его, и если это удается, считывает содержимое файла в строку, которая и является результатом работы функции. |
String
|
readLine(Reader File)
Считывает очередную строку из файла. Если строку больше нет, функция возвращает null |
Writer
|
newFileWriter(String FileName)
Открывает файл с именем FileName для записи в кодировке символов, заданной по умолчанию, создает соответствующий выходной поток |
Writer
|
newFileWriter(String FileName, String Encoding)
Открывает файл для записи в кодировке символов Encoding. Создает соответствующий "писатель". |
Boolean
|
write(Object Expr)
Выводит значение своего аргумента в стандартный выходной поток (как правило, консоль) |
Boolean
|
write(Writer/String Output, Object Expr)
Выводит в выходной поток или файл значение выражения Expr. Если Output - строка, то она интерпретируется как имя файла. Функция пытается открыть файл с данным именем для записи и записать туда значение Expr в кодировке, принятой по умолчанию, после чего файл закрывается. Если Output является выходным потоком (тип Writer), то функция записывает значение Expr в буфер этого выходного потока. |
Term
|
readXML(String FileName)
Загружает xml-файл и конвертирует его в представление в виде XML-терма. Используется кодировка символов по умолчанию. |
Term
|
readXML(String FileName, String Encoding)
Загружает xml-файл, используя кодировку символов Encoding, и конвертирует его в представление в виде XML-терма. |
Boolean
|
writeXML(String FileName, Term XMLterm, String Encoding)
Записывает XML-документ, представленный в виде XML-терма в файл FileName, используя кодировку с именем Encoding |
Term
|
readHTML(String FileName)
Загружает HTML-файл и конвертирует его в представление в виде XML-терма. Используется кодировка символов по умолчанию. |
Term
|
readHTML(String FileName, String Encoding)
Загружает HTML-файл, используя кодировку символов Encoding, и конвертирует его в представление в виде XML-терма. |
Boolean
|
writeHTML(String FileName, Term XMLterm, String Encoding)
Записывает XML-документ, представленный в виде XML-терма в формате HTML-файла, используя кодировку с именем Encoding |
Boolean
|
close(Writer/Reader Stream)
Закрывает поток, открытый для чтения/записи |
Boolean
|
flush(Writer Writer)
Выбрасывает из буфера в выходной поток накопленные применением функции write/2 данные |
String
|
mkDir(String Path)
Создает директорию по относительному или абсолютному пути Path |
String
|
nl()
Возвращает строку с набором символов, определяющих в данной системе перевод строки |
String
|
defaultEnc(String Enc)
Задает, какая кодировка символов будет использоваться по умолчанию функциями ввода-вывода |
| Описание функций |
Reader newFileReader(String FileName)
FileName
-
имя файла, открываемого для чтения
Reader newFileReader(String FileName, String Encoding)
FileName
-
имя файла, открываемого для чтения
Encoding
-
имя кодировки символов файла
String read()
String read(Reader/String Input)
Input
-
входящий поток
String readLine(Reader File)
File
-
Указатель файла, из которого читается строка
Writer newFileWriter(String FileName)
FileName
-
имя файла, открываемого для записи
Writer newFileWriter(String FileName, String Encoding)
FileName
-
имя файла, открываемого для записи
Encoding
-
имя кодировки, в которой данные будут записываться в файл
Boolean write(Object Expr)
Expr
-
выражение, значение которого выводится в стандартный выходной поток (как правило - консоль)
Boolean write(Writer/String Output, Object Expr)
Output
-
выходной поток, куда выводится значение выражения
Expr
-
объект, выводимый в выходной поток, определяемый первым аргументом
Term readXML(String FileName)
FileName
-
имя загружаемого файла
Term readXML(String FileName, String Encoding)
FileName
-
имя загружаемого XML-файла
Encoding
-
имя кодировки, в которой находится файл
Boolean writeXML(String FileName, Term XMLterm, String Encoding)
FileName
-
имя файла, куда производится запись
XMLterm
-
записываемый XML-документ в виде XML-терма
Encoding
-
имя кодировки, в которой будет производится запись
Term readHTML(String FileName)
FileName
-
имя загружаемого файла
Term readHTML(String FileName, String Encoding)
FileName
-
имя загружаемого HTML-файла
Encoding
-
имя кодировки, в которой находится файл
Boolean writeHTML(String FileName, Term XMLterm, String Encoding)
FileName
-
имя файла, куда производится запись
XMLterm
-
записываемый XML-документ в виде XML-терма
Encoding
-
имя кодировки, в которой будет производится запись
Boolean close(Writer/Reader Stream)
Stream
-
закрываемый поток
Boolean flush(Writer Writer)
Writer
-
выходной поток
String mkDir(String Path)
Path
-
Путь создаваемой директории
String nl()
String defaultEnc(String Enc)
Enc
-
имя кодировки, задаваемой по умолчанию