1

我无法弄清楚如何用野牛编写解析器。

为了将变量插入到我的符号表中，以便我可以进行一些类型检查和其他废话，我需要变量名称和类型。

我特别关注以下几行：

%union {tokentype token;
        char *type;
        sPtr names; //stack pointer
       }
<%token definitions>
%token <token> ID ICONST
%type <type> stype type
%type <names> IDlist

vardcl          : IDlist ':' type
                ;

IDlist          : IDlist ',' ID
                | ID
                ;

type            : ARRAY '[' integer_constant RANGE integer_constant ']' OF stype { $$ = $8 }
                | stype { $$ = $1 }
                ;

stype           : INT { $$ = "INT" }
                | BOOLEAN { $$ = "BOOLEAN" }
                ;

如果我的语法是这样的：

vardcl          : ID ':' type
                ;

我可以做类似的事情：

vardcl          : ID ':' type { SymbolTableInsert($1, $3); }
                ;

但相反，我的语法看起来像这样：

vardcl          : IDlist ':' type
                ;

IDlist          : IDlist ',' ID
                | ID
                ;

所以我试图将每个 ID 放入一个数据结构中（我已经为符号表使用了一个堆栈，所以我想我也可以使用它）但是我不断收到关于 $arguments 类型的不兼容错误，我是不确定我什至会推动我需要的一切：

IDlist          : IDlist ',' ID { $$ = SCreate(CompareStrings); SPush($$, $3); }
                | ID { $$ = SCreate(CompareStrings); SPush($$, $1);
                ;

我收到错误“SPush 的参数 2 的类型不兼容，预期 void * 不是 tokentype”。尝试将内容插入到我的符号表中时，我也遇到了同样的错误。

有什么好方法可以做到这一点？

提前感谢您的帮助。

4

1 回答 1

1

在语法方面，一切看起来都很好。看起来您的问题实际上是 C 的问题：检查SPush函数的签名，它似乎是一个函数，其第二个参数是 a void*，而不是tokentype（这是声明的类型ID）。

于 2013-04-16T07:04:21.110 回答