Lex/Flexの開始状態

Question

私は、パーサージェネレータにFlexとBisonを使用していますが、スキャナの開始状態に問題があります。

私がコメントに対処するために排他的なルールを使用していますが、この文法は引用されたトークンと一致していないよう

：

%x COMMENT 

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

"=="     { return EQUALEQUAL; } 

.      ; 

この単純な例では行：

// a == b 

ISN」をこのルールを含めない限り、このルールを完全にコメントとしてマッチさせてください：

<COMMENT>"=="    ; 

どうすればいいですか？これらのトークンをすべて私の排他的なルールに追加する必要はありませんか？レックス/フレックスまたは任意に

Answer 1

マッチングCスタイルのコメントが十分に立証されている：インターネット周り

in the documentation、ならびに様々なバリエーションを。ここで

は、Flexのドキュメントで見られるのバリエーションです：

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

Answer 2

は[^ n]は、ルールの後に "+" を追加してみてください。排他的な状態が依然として排他的な状態でも「==」を取り上げている理由は分かりませんが、明らかにそうです。 Flexは通常、ほとんどのテキストにマッチするルールにマッチし、 "+"を追加すると少なくとも2つのルールが同じ長さになります。 COMMENTルールを最初に置くと、同調の場合に使用されます。

Answer 3

手掛かりがある：

問題はこの「コメント食べる」 ルールはとてもゼロに一致するように*を追加する複数の文字

とトークンと一致していないようですそれ以外の改行ではありません。そうでなければ空のコメントは一致しません。

%x COMMENT 

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

"=="     { return EQUALEQUAL; } 

.      ;