2

私はジソンのコツをつかもうとしています。ちょっと困りますけどね。次のパーサーは、何を指定しても常に [] を返します。

%lex
%%

"data"\s*             return 'DATA'
[A-Za-z][A-Za-z0-9_]* return 'IDENTIFIER'
[0-9]+("."[0-9]+)?\b  return 'NUMBER'
"="                   return 'ASSIGN'
("<-"|"<+-")          return 'REACT'
"+"                   return '+'
"-"                   return '-'
"*"                   return '*'
"/"                   return '/'
"^"                   return '^'
\n+                   return 'NL'
<<EOF>>               return 'EOF'
.                     return 'INVALID'

/lex

%token NL

/* operator associations and precedence */

%left ASSIGN
%left REACT
%left '+' '-'
%left '*' '/'
%left '^'
%left UMINUS

%start program

%% /* language grammar */

program
    :
        {return [];}
    | program statement
        {return $1.concat([$2]);}
    | program statement EOF
        {return $1.concat([$2]);}
    ;

statement
    : assign NL
        {return $1;}
    ;

assign
    : IDENTIFIER ASSIGN expression
        {return ['assign', $1, $3];}
    | IDENTIFIER REACT expression
        {return ['react', $1, $2, $3];}
    ;

expression
    : NUMBER
        {return +$1;}
    | IDENTIFIER
    ;

問題は明らかに、非終端記号の私の定義にありprogramます。それを宣言する適切な方法は何でしょうか？

4

2 に答える 2

3

Aadit M. Shah がコメントで指摘しているように、問題はreturn、解析が完了する前にジソン文法アクションを実行できないことです。パーサー ルールが を実行するreturnと、パーサー自体が戻ります。セマンティック値を に割り当てる必要があります$$。

于 2015-04-15T20:02:24.913 に答える
2

試す：

%start program

%% /* language grammar */

program
    : EOF
        { return []; }
    | statements EOF
        { return $1; }
    ;
statements
    : statement
        { $$ = [$1]; }
    | statements statement
        { $1.push($2); $$ = $1; }
    ;

また、リターンを「$$ =」に置き換えます

statement
    : assign NL
        { $$ = $1; }
    ;

assign
    : IDENTIFIER ASSIGN expression
        { $$ = ['assign', $1, $3]; }
    | IDENTIFIER REACT expression
        { $$ = ['react', $1, $2, $3]; }
    ;

expression
    : NUMBER
        { $$ = $1; }
    | IDENTIFIER
        {/*add something here like $$ = $1 to keep the original value*/}
    ;
于 2016-01-20T20:18:03.767 に答える