Stati di avvio in Lex/Flex

Question

Sto utilizzando Flex e Bison per un generatore di parser, ma ho problemi con gli stati di avvio nello scanner.

Sto utilizzando le regole esclusive per affrontare commentare, ma questa grammatica non sembra corrispondere gettoni citati:

%x COMMENT 

//     { BEGIN(COMMENT); } 
<COMMENT>[^\n]  ; 
<COMMENT>\n   { BEGIN(INITIAL); } 

"=="     { return EQUALEQUAL; } 

.      ; 

In questo semplice esempio la linea:

// a == b 

isn' t corrisponde interamente a un commento, a meno che non includa questa regola:

<COMMENT>"=="    ; 

Come faccio a evitare tutto questo? t dover aggiungere tutti questi token alle mie regole esclusive?

Answer 1

coordinati commenti C-stile di Lex/Flex o qualsiasi altra cosa è ben documentata:

in the documentation, così come diverse varianti in tutto l'Internet.

Ecco una variazione su quello che si trova nella documentazione Flex:

<INITIAL>{ 
    "//"    BEGIN(IN_COMMENT); 
    } 
    <IN_COMMENT>{ 
    \n  BEGIN(INITIAL); 
    [^\n]+ // eat comment 
    "/"  // eat the lone/
    } 

Answer 2

provare ad aggiungere un "+" dopo il [^ n] regola. Non so perché lo stato esclusivo stia ancora raccogliendo '==' anche in uno stato esclusivo, ma apparentemente lo è. Flex corrisponderà normalmente alla regola che corrisponde alla maggior parte del testo e l'aggiunta del "+" renderà almeno le due regole legate in lunghezza. Mettendo per primo la regola COMMENT, verrà utilizzato in caso di parità.

Answer 3

L'indizio è:

Il problema è questo 'mangiare commento' regola non sembra corrispondere gettoni con più di un carattere

quindi aggiungere un * per indicare zero o più non di nuova riga. Vuoi Zero altrimenti un commento vuoto non corrisponderà.

%x COMMENT 

//     { BEGIN(COMMENT); } 
<COMMENT>[^\n]*  ; 
<COMMENT>\n   { BEGIN(INITIAL); } 

"=="     { return EQUALEQUAL; } 

.      ;