Flex 和 Bison 的词汇搭配

Question

我一直在寻找一种不适合一般 Flex/Bison 范式的语言。根据语义上下文，它具有完全不同的标记规则。例如：

main() {
    batchblock
    {
echo Hello World!
set batchvar=Something
echo %batchvar%
    }
}

Bison 显然支持识别这些类型的语法，但它需要“词汇搭配”来有效地支持它们。它提供了一个执行此操作的接口 - 但我很困惑如何根据上下文提供不同的 Flex 正则表达式 - 如果这可能的话。

提前致谢 ：）

Answer 1

我很困惑如何根据上下文提供不同的 Flex 正则表达式

Flex 有一个状态机制，您可以通过它在不同的正则表达式集之间切换。其语法位于

%x name_of_state

文件顶部（在 %} 之后）和匹配规则中（在第一个 %% 之后），

<name_of_state> *regex goes here*

则此正则表达式仅在以下情况下匹配在那种状态下。还有一个全局状态 <*> 可用于匹配任何状态中的任何内容。

改变状态的方法不止一种。例如，如果您想保留状态堆栈，则使用 yy_pop_state 和 yy_push_state。或者，您可以使用BEGIN(name_of_state)。要返回到初始状态，请使用 BEGIN(INITIAL)。

Answer 2

具体而言，如果您的特殊块始终由“batchblock {”发出信号，则可以完全在 Flex 内部处理 - 在 Bison（或 byacc，如果您想让您的生活至少更轻松一点）方面，您只会看到标记更改为“BATCH_ECHO”之类的内容。

要在 Flex 内部处理它，您可以使用其启动条件功能：

%x batchblock
%%

"batchblock"{ws}\{   { BEGIN(batchblock); }


<batchblock>echo     { return BATCH_ECHO; }
<batchblock>set      { return BATCH_SET;  }
/* ... */
<batchblock>\}       { begin(INITIAL);    }

以 开头的模式只能在“batchblock”状态下匹配，该状态由 输入开始（批处理块）；。