Bison을 사용하여 구문 분석 트리

Question

나는 Bison을 처음 사용했습니다. 파서를 구현하려고합니다. 내가 직면 한 주된 문제는 파스 트리이다. 내가 제거 할 수없는 나무와 관련된 오류가 나타납니다. 그것은 "unknown type name 'tree'"라고 말합니다. 여기에 내 y 파일이 있습니다. 아무도 내가 이것을 해결할 수 있다면 기뻐할 것입니다. 파서가 너무 심하게 필요합니다. 미리 감사드립니다.

%{ 
#include <stdio.h> 
#include <string.h> 

void yyerror(const char *str) 
{ 
    fprintf(stderr,"error FAIL: %s\n",str); 
} 

int yywrap() 
{ 
    return 1; 
} 

enum treetype {operator_node, variable_node}; 
typedef struct tree { 
enum treetype nodetype; 
union { 
struct {struct tree *left, *right; char operator;} an_operator; 
    char *a_variable; 
} body; 
} tree; 
static tree *make_op (tree *l, char o, tree *r) { 
tree *result= (tree*) malloc (sizeof(tree)); 
result->nodetype= operator_node; 
result->body.an_operator.left= l; 
result->body.an_operator.operator= o; 
result->body.an_operator.right= r; 
return result; 
} 
static void printtree (tree *t, int level) { 
#define step 4 
if (t) 
switch (t->nodetype) 
{ 
    case operator_node: 
    printtree (t->body.an_operator.right, level+step); 
    printf ("%*c%c\n", level, ' ', t->body.an_operator.operator); 
    printtree (t->body.an_operator.left, level+step); 
    break; 
    case variable_node: 
    printf ("%*c%c\n", level, ' ', t->body.a_variable); 
} 
} 

%} 

%union { 
char* a_variable; 
tree* a_tree; 
} 

%start file 
%token <a_variable> TOKDIGIT TOKFLOAT TOKID TOKSEMICOLON TOLCOLON TOKCOMMA TOKUNRECOG TOKCOMMENT TOKDOT TOKMINUS TOKCOLON 
%type <a_tree> field object file ID 
%right TOKMINUS 

%% 

file :  
    | object file { printtree($1, 1); } 
    ; 
object :  field object {$$ = make_op($1, '', $2);} 
    | field {$$ = $1 ; } 
    ; 
field : ID TOKCOLON field {$$ = make_op ($1, ':', $3); } 
    | ID TOKCOMMA field {$$ = make_op ($1, ',', $3); } 
    | ID TOKSEMICOLON field {$$ = make_op ($1, ';', $3); } 
    ; 
ID  : TOKID { $$ = $1; } 
     ;  

%% 

Answer 1

다음 패치를 사용하여 Bison에서 몇 가지 경고를 해결했습니다. 최상위 규칙에서 빈 대문자에 대한 작업이 누락되어 (따라서 $$에 할당하지 못함) 다른 규칙에도 $$에 아무 것도 지정하지 않았습니다. 나는. 당신의 file 규칙은 마스터 트리에 개체를 축적되지 않으며, 그래서 당신의 yyparse 기능은 트리 반환하지 않습니다 :

Index: test/test.y 
=================================================================== 
--- test.orig/test.y 2012-03-15 16:34:31.992021757 -0700 
+++ test/test.y 2012-03-15 17:00:27.666596757 -0700 
@@ -57,8 +57,9 @@ 

%% 

-file :  
- | object file { printtree($1, 1); } 
+file : /* empty */ { return NULL; } 
+ | object file { printtree($1, 1); return NULL; } 
+  /* TODO: gather the objects into a tree and return */ 
    ; 
object :  field object {$$ = make_op($1, '', $2);} 
    | field {$$ = $1 ; } 

지금, 당신은 문법에 문제가 있습니다. 주된 이유는 귀하의 field 작품이 종료되지 않는다는 것입니다. 그들은 무한한 문장을 생성합니다. field의 모든 작품은 field으로 끝나는 무언가를 만들어냅니다. 문법 확장이 끝날 방법이 없습니다.

주요 문제는 확장이 이루어지는 문법에 너무 많은 장소가 있고 동일한 물건보다 많다는 것입니다. file은 0 이상 object을 생성합니다. object은 field 인 경우 제로가됩니다. 그리고 나서 필드는 더 많은 것을 생성하려고합니다 field.

이 의미는 file이 실제로는 field의 시퀀스라는 것입니다. 복수 field -s의 시퀀싱은 이미 처리되었으며 하나의 레벨에서만 처리되어야합니다. 필드는 더 생산할 필요가 없습니다 field.