Модуль Разбора

symbol_start и Parsing.symbol_end должны вызываться только в части действия правила грамматики. Они возвращают смещение строки, соответствующей левой части правила: symbol_start() возвращает смещение первого символа; symbol_end() возвращает смещение после последнего символа. Первый символ в файле имеет смещение 0.

См. Parsing.symbol_start.

То же, что и Parsing.symbol_start и Parsing.symbol_end, но возвращают смещение строки, соответствующей n-му элементу в правой части правила, где n — целое число, являющееся параметром для rhs_start и rhs_end. n равно 1 для левого элемента.

См. Parsing.rhs_start.

То же, что и symbol_start, но возвращает position вместо смещения.

То же, что и symbol_end, но возвращает position вместо смещения.

То же, что и rhs_start, но возвращает position вместо смещения.

То же, что и rhs_end, но возвращает position вместо смещения.

Очищает стек парсера. Вызывается сразу после возврата функции парсинга, чтобы удалить все указатели из стека парсера на структуры, которые были созданы семантическими действиями во время парсинга. Это необязательно, но снижает потребность в памяти программ.

Возникает, когда парсер встречает синтаксическую ошибку. Также может быть поднято из части действия правила грамматики для начала восстановления от ошибки.

Управление отладкой поддержки для ocamlyacc-сгенерированных парсеров. После Parsing.set_trace true, автомат с магазинной памятью, который выполняет парсеры, выводит трассировку своих действий (чтение токена, перемещение в состояние, сокращение по правилу) в стандартный вывод. Parsing.set_trace false отключает эту трассировку отладки. Возвращаемый булевый результат — предыдущее состояние флага трассировки.