如何定義並檢出 `var_decl` (變數宣告) 的合法性(1)。 - benchen2001/matiec GitHub Wiki

%{
// C/C++ 宣告和 include 檔案
#include "iec_common.h" // 假設有共用定義
#include "symbol_table.h" // 假設有符號表處理
// ... 其他 include
%}

// Bison 宣告部分 (%token, %type, %start 等)
%token T_VAR T_END_VAR T_COLON T_SEMICOLON T_ASSIGN T_AT
%token T_IDENTIFIER // 由 Lexer 返回的標識符 token
%token T_BOOL T_INT T_REAL // ... 其他基本類型 token
// ... 其他 token 定義

%type <symbol> identifier // 假設 identifier 返回一個符號對象
%type <type_info> type_spec // 假設 type_spec 返回類型資訊
%type <expr_node> simple_spec_init // 假設返回表達式節點
// ... 其他 %type 定義

%% /* 語法規則開始 */

/* ... 其他規則 ... */

var_declarations_list:
      var_declaration
    | var_declarations_list var_declaration
    ;

var_declaration:
      identifier_list T_COLON type_spec location_spec simple_spec_init T_SEMICOLON
      {
          // 動作代碼 (Action Code): 當此規則成功匹配時執行
          // 這裡可以進行語義檢查、建立符號表條目、建構 AST 節點等
          printf("Parsed a variable declaration.\n");
          // 例如: process_variable_declaration($1, $3, $4, $5);
          // $1: identifier_list 的值
          // $3: type_spec 的值
          // $4: location_spec 的值 (可能是 NULL)
          // $5: simple_spec_init 的值 (可能是 NULL)
      }
    ;

identifier_list:
      identifier
      { $$ = create_identifier_list($1); } // 建立只包含一個標識符的列表
    | identifier_list T_COMMA identifier
      { $$ = add_to_identifier_list($1, $3); } // 將標識符添加到現有列表
    ;

// 類型說明符 (可能很複雜，包含基本類型、陣列、結構體、FB 等)
type_spec:
      simple_type_name
      { $$ = process_simple_type($1); }
    | array_spec
      { $$ = process_array_type($1); }
    /* | structured_type_spec */
    /* | function_block_type_name */
    /* ... 其他類型規則 ... */
    ;

// 可選的位置說明符
location_spec:
      /* empty */
      { $$ = NULL; } // 沒有 AT 子句
    | T_AT direct_variable
      { $$ = process_location($2); }
    ;

// 可選的初始化
simple_spec_init:
      /* empty */
      { $$ = NULL; } // 沒有初始化
    | T_ASSIGN constant_expression // 或更通用的 expression
      { $$ = process_initialization($2); }
    ;

/* ... 其他規則，例如 simple_type_name, array_spec, direct_variable, constant_expression 等 ... */

%% /* 語法規則結束 */

// C/C++ 輔助函數
// ... process_variable_declaration, create_identifier_list, 等函數的實作 ...