바이슨 2.6에서 토큰 테이블 yytname에 액세스 할 수 없거나 사라 졌습니까?

Question

자산 xchange 형식의 구문 분석기를 작성하고 있습니다. 그리고 필자는 bison 파일에 % token-table 지시어를 포함하고 있지만 플렉스 코드에서는 테이블이나 그와 관련된 상수에 액세스 할 수 없습니다.

Frame|FrameTransformMatrix|Mesh|MeshNormals|MeshMaterialList|Material { 
    printf("A keyword: %s\n", yytext); 
    yylval.charptr_type = yytext; 

    int i; 
    for (i = 0; i < YYNTOKENS; i++) 
    { 
     if (yytname[i] != 0 
      && yytname[i][0] == '"' 
      && !strncmp(yytname[i] + 1, yytext, strlen(yytext)) 
      && yytname[i][strlen(yytext) + 1] == '"' 
      && yytname[i][strlen(yytext) + 2] == 0) 
      return i; 
    } 
} 

GCC는 YYNTOKENS 및 yytname 모두가 선언되지 않은 말합니다 :이 코드를 컴파일 할 때 때문입니다. 그래서 토큰 테이블이 마침내 사용 중지되고 삭제되었거나 거래가 무엇입니까?

Answer 1

들소 2.6.2 설명서 (PDF에 P82에) 말한다 :

%token-table [지침]

파서 구현 파일의 토큰 이름의 배열을 생성합니다. 배열의 이름은 yytname입니다. 은 내부 Bison 토큰 의 코드 번호가 i 인 토큰의 이름입니다. yytname의 처음 세 요소는 사전 정의 된 토큰 " $end", " error"및 " $undefined"에 해당합니다. 이 후에는 에 정의 된 기호가 문법 파일에옵니다.

표의 이름은 Bison의 토큰을 나타내는 데 필요한 모든 문자를 포함합니다. 단일 문자 리터럴 및 리터럴 문자열의 경우 주변 문자 및 모든 이스케이프 시퀀스가 ​​포함됩니다. 예를 들어, Bison 단일 문자 리터럴 ’+’은 C에서 "’+’"으로 표시되는 3 문자 이름에 해당합니다. 바이손의 2 문자 리터럴 문자열 은 5 문자 이름에 해당하며 은 "\"\\\\/\""으로 표시됩니다.

YYNTOKENS 가장 높은 토큰 번호, 더하기 하나 : 당신이 % 토큰 테이블을 지정

는 들소는 매크로 YYNTOKENS, YYNNTS 및 YYNRULES 및 YYNSTATES 매크로 정의를 생성합니다.

YYNNTS 비 터미널 기호의 수.

YYNRULES 문법 규칙의 개수,

YYNSTATES 파서 상태 (섹션 5.5 파서 미국], 104 페이지 참조)의 수.

거기에있는 것처럼 보입니다. 나는 사소한 문법을 ​​시도했을 때

는, 테이블이 존재 :

#if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE 
/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. 
    First, the terminals, then, starting at YYNTOKENS, nonterminals. */ 
static const char *const yytname[] = 
{ 
    "$end", "error", "$undefined", "ABSINTHE", "NESTLING", "$accept", 
    "anything", 0 
}; 
#endif 

주 : 테이블이 정적; 파일 외부에서 액세스하려고하면 작동하지 않습니다.

/* Enabling the token table. */ 
#ifndef YYTOKEN_TABLE 
# define YYTOKEN_TABLE 1 
#endif 

이 토큰 테이블이 정의되는 것을 보장 :

은 소스에 이전 스 D 자에 있습니다.

Answer 2

'정적'문제를 해결하는 빠르고 쉬운 방법이 있습니다. 내 C에서 6502 컴파일러에 대한 각 비 터미널의 문자열 표현을 사용하여 사람이 읽을 수있는 추상 구문 트리를 인쇄하려고했습니다. 여기

마지막 섹션에서 .Y 파일에서

, token_table하는 yytname을 할당하여 yyparse 호출하는 주요 방법,

%% 
#include <stdio.h> 

extern char yytext[]; 
extern int column; 
const char ** token_table; 
... 

이제 token_table라는 비 정적 변수를 만들 ... 내가 무슨 짓을했는지 이제

int main(int argc, char ** argv) { 
    FILE * myfile; 
    yydebug = 1; 
    token_table = yytname; 
    ... 

, 당신은 같이 단순히 통근로 선언하여 모든 컴파일 단위에서 token_table에 액세스 할 수 있습니다

extern const char ** token_table; 

/* Using it later in that same compilation unit */ 
printf("%s", token_table[DOWHILE - 258 + 3]); /* prints "DOWHILE" */ 

AST의 각 노드에 y.tab.h에있는 yytokentype 값을 할당하면 258을 빼고 token_table (yytname)에 3을 더하면됩니다. yytokentype이 열거되기 시작하는 곳에서 258 b/c를 빼고 3 b/c를 추가해야합니다. yytname은 처음에 세 개의 예약 기호 ("$ end", "error"및 "$ undefined")를 추가합니다. 탁자. 합니다 (--defines = y.tab.h 옵션을 실행 들소)의 정의 헤더를

static const char *const yytname[] = 
{ 
    "$end", "error", "$undefined", "DOWHILE", "UAND", "UMULT", "UPLUS", 
    "UMINUS", "UBANG", "UTILDE", "ARR", "NOOP", "MEMBER", "POSTINC", 
    ... 

을 그리고 :

예를 들어, 내 생성 들소 파일이

/* Tokens. */ 
#ifndef YYTOKENTYPE 
# define YYTOKENTYPE 
    /* Put the tokens into the symbol table, so that GDB and other debuggers 
     know about them. */ 
    enum yytokentype { 
    DOWHILE = 258, 
    UAND = 259, 
    UMULT = 260, 
    ... 

Answer 3

정적 기호 문제를 피하는 가장 쉬운 방법은 들소 입력 파일의 세 번째 섹션에 직접 렉서 인 #include입니다.

/* token declarations and such */ 
%% 
/* grammar rules */ 
%% 

#include "lex.yy.c" 

int main() { 
    /* the main routine that calls yyparse */ 
} 

그런 다음 .tab.c 파일을 컴파일하기 만하면됩니다.