Блог

Я смотрю на пример Exp в руководстве.

Можно ли управлять компоновкой условно? Рассмотрим, например, выражения Python:

• Новые строки не имеют значения, находясь внутри выражения, заключенного в скобки
• В противном случае новая строка является терминатором оператора / выражения

Например: (1 n 3)

является допустимым выражением, но 1 n 3

нет.

Если нет, то каков был бы самый простой способ добиться того же результата, если не добавлять новые строки в мою грамматику?

Да, это возможно:

• если вы используете layout нетерминал L в syntax правиле между двумя обычными символами A и B примерно так: syntax NY = «foo» A L B «bar», тогда Rascal не добавит больше нетерминалов разметки между A и L или между L и B
• вы можете добавить в свою грамматику нетерминалы компоновки, которые не вставляются автоматически все время (для использования в первом пункте), например: layout NoNewLineLayout = @manual [t ]*;

Таким образом, для этого требуется разбрызгивать экземпляры символов NoNewLineLayout в вашей грамматике, а не разбрызгивать новые строки. Обычно я использую короткое имя, например NNL, чтобы сделать это менее навязчивым. Мы использовали этот обходной путь для экспериментов с грамматиками Javascript и другими языками, чувствительными к разметке. В целом, хотя это не идеально, и мы работаем над более элегантными решениями, см. http://dl.acm.org/citation.cfm?id=2814242 для предварительного просмотра.

Второе, менее гибкое решение — использовать область layout определений (которая ограничена модулем). Определение компоновки в текущем модуле имеет приоритет над любыми импортированными определениями компоновки. Таким образом, можно влиять на то, какая нетерминальная компоновка вплетена в какие правила. Это в основном удобно при встраивании языков в другие языки, которые могут иметь разные соглашения о комментариях и тому подобное; для текущего варианта использования я бы этого не советовал.