2009-10-20 14 views
12

Ho già cercato la mia risposta ma non ho ricevuto alcuna risposta rapida per un semplice esempio.Simple Flex/Bison C++

Voglio compilare uno scanner flex + bison + parser usando g ++ solo perché voglio usare le classi C++ per creare AST e cose simili.

Ricerca su Internet Ho trovato alcuni exploit, tutti dicendo che l'unica cosa necessaria è dichiarare alcuni prototipi di funzione usando extern "C" nel file lex.

Quindi il mio file di shady.y è

%{ 
#include <stdio.h> 
#include "opcodes.h" 
#include "utils.h" 

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

int counter = 0; 

extern "C" 
{ 
     int yyparse(void); 
     int yylex(void); 
     int yywrap() 
     { 
       return 1; 
     } 

} 

%} 

%token INTEGER FLOAT 
%token T_SEMICOL T_COMMA T_LPAR T_RPAR T_GRID T_LSPAR T_RSPAR 
%token EOL 

%token T_MOV T_NOP 


%% 

... GRAMMAR OMITTED ... 

%% 

main(int argc, char **argv) 
{ 
    yyparse(); 
} 

mentre lima shady.l è

%{ 
    #include "shady.tab.h" 
%} 

%% 

"MOV"|"mov" { return T_MOV; } 
"NOP"|"nop" { return T_NOP; } 

";" { return T_SEMICOL; } 
"," { return T_COMMA; } 
"(" { return T_LPAR; } 
")" { return T_RPAR; } 
"#" { return T_GRID; } 
"[" { return T_LSPAR; } 
"]" { return T_RSPAR; } 
[1-9][0-9]? { yylval = atoi(yytext); return INTEGER;} 
[0-9]+"."[0-9]+ | "."?[0-9]? { yylval.d = atof(yytext); return FLOAT; } 
\n { return EOL; } 
[ \t] { /* ignore whitespace */ } 
. { printf("Mystery character %c\n", *yytext); } 

%% 

Infine nel makefile che uso g ++ al posto di gcc:

shady: shady.l shady.y 
bison -d shady.y -o shady.tab.c 
flex shady.l 
g++ -o [email protected] shady.tab.c lex.yy.c -lfl 

flex e bisonte funzionano correttamente ma al momento del collegamento ottengo il seguente errore:

Undefined symbols: 
    "_yylex", referenced from: 
    _yyparse in ccwb57x0.o 

Ovviamente se provo a cambiare qualcosa sulla funzione nel file bison, si dice che yylex non è dichiarato nell'ambito di yyparse.

Sto cercando di risolvere semplicemente qualcosa che è più complesso di quanto sembri? In realtà non ho bisogno di una struttura chiusa per avere accesso a analisi e lexer in modo orientato agli oggetti, voglio solo farlo funzionare.

voglio solo essere in grado di utilizzare C++ nel file di bisonti (per creare AST) e di chiamare yyparse() da oggetti C++ ..

Grazie in anticipo

+0

Sia flex che bison hanno flag per generare C++, non C. – vonbrand

+1

Yuck. Non è una buona idea usare parser C impuri e non rientranti con variabili globali statiche in C++. È molto più pulito usare flex e bisonte rispettivamente in modalità C++. https://www.gnu.org/software/bison/manual/bison.html#A-Complete-C_002b_002b-Example – Barry

risposta

10

è necessario il extern "C" {} per yylex a essere in shady.l:

%{ 
    extern "C" 
    { 
     int yylex(void); 
    } 

    #include "shady.tab.h" 
%} 

%% 

"MOV"|"mov" { return T_MOV; } 
"NOP"|"nop" { return T_NOP; } 

...etc... 

Inoltre, dopo l'aggiunta di una regola grammaticale fittizio, sono stato in grado di costruire ed eseguire questo con un semplice:

559 flex shady.l 
    560 bison -d shady.y 
    561 g++ shady.tab.c lex.yy.c