p4 language learning :Part 1（学习笔记）

p4 language learning :Part 1

1.1 Syntax and semantics

P416的完整语法在附录E中给出，使用Yacc / Bison语法描述语言。 该文本基于相同的语法。 提供语法摘录时，我们采用了几种标准约定：

大写符号表示语法中的终端。
语法节选以BNF表示法如下：

p4program
  : /* empty */
  | p4program declaration
  | p4program ';'
  ;

注：附录E可以在文章末尾所给的链接中找到

伪代码（Pseudo-code）（主要用于描述各种P4构造的语义）以固定大小的字体显示，如以下示例所示：

ParserModel.verify(bool condition, error err) {
   
    if (condition == false) {
   
        ParserModel.parserError = err;
        goto reject