前言

之前的文章对于词法分析和语法分析规则进行了讲解,我们的目标 是解析代码并生成语法树，因此必须在识别出语句或表达式时添加生成语法树的代码.
为了达到上述目的,可以借助 action 功能,当 token 序列和语法规则匹配时就能够执行任意代码.
本文将对 action 的使用方法进行说明

action

可以通过在符号串内部添加{ }代码块,执行我们想要添加的一些特点操作,这些代码块被称为action,举例

 void defstruct(): {}
  {
      <STRUCT> name()
          {
          System.out.println(" 发现了结构体!"); }
      member_list()
          {
          System.out.println(" 发现了成员列表!"); }
      ";"
          {
          System.out.println(" 发现了分号!"); }
  }

非终端符号的规则定义

action的执行时机

终端符号被执行时,才会触发action,扫描终端符号不会触发action

需要注意“解析终端符号”和“扫描终端符号”是不同的.解析器会对 token 进行超前扫描，因此即便是写在 action 之后的 token,也完全有可能已经被扫描器读取进来了

例如下面的规则，在 action 执行时 <X> 和 <Y> 就已经被扫描进来了
LOOKAHEAD(2) { System.out.println("action executed"); } <X> <Y>

但解析器一定会在执行 action 之后再对 <X> 和 <Y> 进行解析

token类的属性

token类的属性

只需写“变量名 = 非终端符号”，就能获取终端符号和非终端符号的语义值

语义值

我们可以设置返回语义值的action

String name():
{
      Token tok; 
}
{
      tok=<IDENTIFIER> { return tok.image; }
}

action的执行次数

选择和action : 如果在所有选项的最后执行共通的action

  {
      Token x, y; 
  }
  {
      (x=<X> | y=<Y>)
          {
                if (x != null) {
                    System.out.println("X found.  image=" + x.image);
                }
                else {
                    System.out.println("Y found.  image=" + y.image);
                }
          }
   }

重复和action

每当发现 <X> 和 <Y>时都会执行

void iteration():
{
Token x, y; 
}
{
      (x=<X>  y=<Y>
          {
              System.out.println("x=" + x.image + "; y=" + y.image);
      } )*
}

只会执行一次

void iteration2():
{
Token x, y; 
}
{
      (x=<X>  y=<Y>)*
          {
              System.out.println("x=" + x.image + "; y=" + y.image);
          }
}

总结

上面介绍了action主要功能和获取语义值,本文的总结如下

• 使用 action 能够获取终端符号 / 非终端符号的语义值，还能够给非终端符号赋予语义值
• 终端符号的语义值为 Token 类的实例。从 Token 类的属性中可以取得 token 的字面量及其在源文件中的位置等信息
• 非终端符号的语义值取决于 action。通过在规则的开头添加语义值的类型，并从 action 返回值，就可以设置语义值
• 当解析到规则中写有 action 之处时，action 才会被执行。若在符号串的最后写有 action，那么在该符号串全部被发现后 action 才会被执行
• 组合使用选项和 action，能够编写只有在发现特定的选项时才被执行的 action
• 组合使用重复和 action，能够编写在每次重复时都会被执行的 action