Файл

[Исходный код]

Операции с файлом.

class ref File

Конструкторы

create

[Исходный код]

Попытка открыть для чтения/записи, создавая файл, если он не существует, сохраняя содержимое, если оно существует. Устанавливает errno в соответствии с результатом.

new ref create(
  from: FilePath val)
: File ref^

Параметры

• from: ПутьКФайлу значение

Возвращаемое значение

• Файл ссылка^

open

[Исходный код]

Открыть для только чтения. Устанавливает _errno в соответствии с результатом.

new ref open(
  from: FilePath val)
: File ref^

Параметры

• from: ПутьКФайлу значение

Возвращаемое значение

• Файл ссылка^

Публичные поля

let path: ПутьКФайлу значение

[Исходный код]

Это путь к файлу в файловой системе и объект, предоставляющий доступ для работы с этим файлом.

let writeable: Булево значение

[Исходный код]

true если базовый дескриптор файла был открыт для записи.

Публичные функции

errno

[Исходный код]

Возвращает последний код ошибки, установленный для этого файла.

fun box errno()
: (FileOK val | FileError val | FileEOF val | 
    FileBadFileNumber val | FileExists val | FilePermissionDenied val)

Возвращаемое значение

• (FileOK значение | ОшибкаФайла значение | КонецФайла значение | НеверныйНомерФайла значение | ФайлСуществует значение | ДоступЗапрещен значение)

clear_errno

[Исходный код]

Очищает последний код ошибки, установленный для этого файла. Очищает индикатор ошибки для потока.

fun ref clear_errno()
: None val

Возвращаемое значение

• None значение

valid

[Исходный код]

Возвращает true, если файл в данный момент открыт.

fun box valid()
: Bool val

Возвращаемое значение

• Булево значение

read

[Исходный код]

Возвращает не более len байтов.

fun ref read(
  len: USize val)
: Array[U8 val] iso^

Параметры

• len: USize значение

Возвращаемое значение

• Массив[U8 значение] iso^

read_string

[Исходный код]

Возвращает не более len байтов. Результирующая строка может содержать внутренние нулевые символы.

fun ref read_string(
  len: USize val)
: String iso^

Параметры

• len: USize значение

Возвращаемое значение

• Строка iso^

print

[Исходный код]

То же, что и write, но добавляет новую строку.

fun ref print(
  data: (String box | Array[U8 val] box))
: Bool val

Параметры

• data: (Строка коробка | Массив[U8 значение] коробка)

Возвращаемое значение

• Булево значение

printv

[Исходный код]

Вывести итерируемую коллекцию последовательностей байтов.

fun ref printv(
  data: ByteSeqIter box)
: Bool val

Параметры

• data: ИтераторПоследовательностейБайтов коробка

Возвращаемое значение

• Булево значение

write

[Исходный код]

Возвращает false, если файл не был открыт для записи. Возвращает false и закрывает файл, если не все байты были записаны.

fun ref write(
  data: (String box | Array[U8 val] box))
: Bool val

Параметры

• data: (Строка коробка | Массив[U8 значение] коробка)

Возвращаемое значение

• Булево значение

writev

[Исходный код]

Записать итерируемую коллекцию последовательностей байтов.

fun ref writev(
  data: ByteSeqIter box)
: Bool val

Параметры

• data: ИтераторПоследовательностейБайтов коробка

Возвращаемое значение

• Булево значение

queue

[Исходный код]

Поместить данные в очередь для записи ПРИМЕЧАНИЕ: Данные в очереди всегда будут записаны до обычных запросов print/write.

fun ref queue(
  data: (String box | Array[U8 val] box))
: None val

Параметры

• data: (Строка коробка | Массив[U8 значение] коробка)

Возвращаемое значение

• None значение

queuev

[Исходный код]

Поместить итерируемую коллекцию последовательностей байтов в очередь для записи ПРИМЕЧАНИЕ: Данные в очереди всегда будут записаны до обычных запросов print/write.

fun ref queuev(
  data: ByteSeqIter box)
: None val

Параметры

• data: ИтераторПоследовательностейБайтов коробка

Возвращаемое значение

• None значение

flush

[Исходный код]

Очистить все данные в очереди.

fun ref flush()
: Bool val

Возвращаемое значение

• Булево значение

position

[Исходный код]

Возвращает текущую позицию курсора в файле.

fun ref position()
: USize val

Возвращаемое значение

• USize значение

size

[Исходный код]

Возвращает общую длину файла.

fun ref size()
: USize val

Возвращаемое значение

• USize значение

seek_start

[Исходный код]

Установить позицию курсора относительно начала файла.

fun ref seek_start(
  offset: USize val)
: None val

Параметры

• offset: USize значение

Возвращаемое значение

• None значение

seek_end

[Исходный код]

Установить позицию курсора относительно конца файла.

fun ref seek_end(
  offset: USize val)
: None val

Параметры

• offset: USize значение

Возвращаемое значение

• None значение

seek

[Исходный код]

Переместить позицию курсора.

fun ref seek(
  offset: ISize val)
: None val

Параметры

• offset: ISize значение

Возвращаемое значение

• None значение

sync

[Исходный код]

Синхронизировать содержимое файла с физическим хранилищем.

fun ref sync()
: None val

Возвращаемое значение

• None значение

datasync

[Исходный код]

Синхронизировать содержимое файла с физическим хранилищем.

fun ref datasync()
: None val

Возвращаемое значение

• None значение

set_length

[Исходный код]

Изменить размер файла. Если он увеличивается, новое содержимое неопределенно.

fun ref set_length(
  len: USize val)
: Bool val

Параметры

• len: USize значение

Возвращаемое значение

• Булево значение

info

[Исходный код]

Возвращает FileInfo для этого каталога. Вызывает ошибку, если fd недействителен или у нас нет разрешения FileStat.

fun box info()
: FileInfo val ?

Возвращаемое значение

• FileInfo значение ?

chmod

[Исходный код]

Установить FileMode для этого каталога.

fun box chmod(
  mode: FileMode box)
: Bool val

Параметры

• mode: FileMode коробка

Возвращаемое значение

• Булево значение

chown

[Исходный код]

Установить владельца и группу для этого каталога. Ничего не делает в Windows.

fun box chown(
  uid: U32 val,
  gid: U32 val)
: Bool val

Параметры

• uid: U32 значение
• gid: U32 значение

Возвращаемое значение

• Булево значение

touch

[Исходный код]

Установить время последнего доступа и изменения каталога на текущее время.

fun box touch()
: Bool val

Возвращаемое значение

• Булево значение

set_time

[Исходный код]

Установить время последнего доступа и изменения каталога на заданные значения.

fun box set_time(
  atime: (I64 val , I64 val),
  mtime: (I64 val , I64 val))
: Bool val

Параметры

• atime: (I64 значение , I64 значение)
• mtime: (I64 значение , I64 значение)

Возвращаемое значение

• Bool значение

строки

[Исходный код]

Возвращает итератор для чтения строк из файла.

fun ref lines()
: FileLines ref

Возвращаемое значение

• FileLines ссылка

удаление

[Исходный код]

Закрывает файл. Будущие операции ничего не сделают.

fun ref dispose()
: None val

Возвращаемое значение

• None значение