Динамический анализатор - читать лексемы из отдельного файла

Question

Допустим, я хочу, чтобы разобрать мой новый язык, который выглядит следующим образом:

main.mylang

import "tags.mylang" 
cat dog bacon 

И есть еще один файл tags.mylang, который выглядит как это:

cat "meow" 
dog "woof" 
bacon "sizzle" 

Запуск main.mylang будет выводить

meow woof sizzle 

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

Возможно ли динамическое добавление этих тегов в грамматику по мере ее разбора? Я не хочу добавлять подстановочный код \w+ или что-то, потому что я хочу, чтобы это ошибка на непризнанных тегах.

Редактировать: Я пишу это с использованием jison, который основан на bison.

Answer 1

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

Answer 2

Я предполагаю, что теги соответствуют шаблону переменных, каков бы ни был шаблон. (\a\w*, может быть). Определить словарь, ключи которого являются тегами; значение может быть любым, что вы хотите связать с тегом. Насколько я понимаю, вы можете сделать этот словарь доступным как для синтаксического анализатора, так и для лексера, разместив его внутри объекта parser.yy.

Правило лексический переменных будет что-то вроде этого (я не знаю много о jison, так что это основано на бизонов + Flex):

{variable} if (yytext in yy.tags) { return TAG; } else { return VARIABLE; } 

Если вы хотите иметь различные типы маркеров для разные теги (возможно, потому, что теги являются псевдонимами для грамматических понятий или что-то в этом роде), вы можете сохранить тип токена в словаре тегов, чтобы вы могли вернуть его из lexer.

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