Module Scanf.Scanning

Понятие входного канала для модуля Scanf: эти каналы предоставляют все необходимые средства для чтения из любого источника символов, включая значение in_channel. Значение Scanf.Scanning.in_channel также называется каналом форматированного ввода или, что равнозначно, буфером сканирования. Тип Scanf.Scanning.scanbuf ниже является псевдонимом для Scanning.in_channel. Обратите внимание, что Scanning.in_channel не является безопасным для конкурентного доступа: его конкурентное использование может привести к произвольным значениям или исключениям.

Тип буферов сканирования. Буфер сканирования — это источник, из которого функция форматированного ввода получает символы. Буфер сканирования хранит текущее состояние сканирования, а также функцию для получения следующего символа из ввода и буфер токенов для хранения строки, сопоставленной на данный момент.

Примечание: действие сканирования часто требует предварительно проверить один символ; если этот символ «заглядывания вперёд» не входит в прочитанный токен, он помещается обратно в буфер сканирования и становится следующим символом, который предстоит прочитать.

Понятие стандартного ввода для модуля Scanf. Scanning.stdin — это канал форматированного ввода Scanf.Scanning.in_channel, связанный с stdin.

Примечание: в интерактивной системе, когда ввод считывается из stdin, символ новой строки, запускающий вычисление, является частью ввода; поэтому спецификации сканирования должны корректно пропускать этот дополнительный символ новой строки (например, просто добавьте '\n' в качестве последнего символа строки формата).

Удобный псевдоним для обозначения имени файла.

Scanning.open_in fname возвращает канал форматированного ввода Scanf.Scanning.in_channel для буферизированного чтения файла fname в текстовом режиме.

Примечание: open_in возвращает канал форматированного ввода, эффективно считывающий символы крупными блоками; напротив, from_channel ниже возвращает каналы форматированного ввода, которые считывают по одному символу за раз, что значительно замедляет сканирование.

Scanning.open_in_bin fname возвращает канал форматированного ввода Scanf.Scanning.in_channel для буферизированного чтения файла fname в двоичном режиме.

Закрывает in_channel, связанный с заданным каналом форматированного ввода Scanf.Scanning.in_channel.

Псевдоним для описанной выше Scanf.Scanning.open_in.

Псевдоним для описанной выше Scanf.Scanning.open_in_bin.

Scanning.from_string s возвращает канал форматированного ввода Scanf.Scanning.in_channel, считывающий данные из заданной строки. Чтение начинается с первого символа строки. Условие конца ввода устанавливается при достижении конца строки.

Scanning.from_function f возвращает канал форматированного ввода Scanf.Scanning.in_channel, использующий заданную функцию для чтения.

Когда сканированию требуется ещё один символ, вызывается заданная функция.

Когда функция больше не может предоставить символы, она обязана сигнализировать об условии конца ввода, вызвав исключение End_of_file.

Scanning.from_channel ic возвращает канал форматированного ввода Scanf.Scanning.in_channel, считывающий данные из обычного входного канала in_channel, переданного в качестве аргумента ic. Чтение начинается с текущей позиции чтения в ic.

Scanning.end_of_input ic проверяет условие конца ввода для заданного канала форматированного ввода Scanf.Scanning.in_channel.

Scanning.beginning_of_input ic проверяет условие начала ввода для заданного канала форматированного ввода Scanf.Scanning.in_channel.

Scanning.name_of_input ic возвращает имя источника символов для заданного канала форматированного ввода Scanf.Scanning.in_channel.