錯誤萊克斯

Question

追趕換行我一直在調試了幾天，似乎無法修復這個bug。以下代碼是C語言語法的Lex文件。

我有兩個問題，我一直沒能發現呢。

這首先是換行檢測。它似乎在輸出中保留了換行符，並且不會增加行var（以便跟蹤行，錯誤反饋的列）。

我有換行符轉義序列的每個組合，但似乎無法抓住它。

第二被檢測一個單引號跟着一個新行，這應該產生 非法字符誤差。

什麼我沒有看到？提前致謝！

%{ 
int col = 1; 
int line = 1; 
int aux_col = 0; 
int err = 0; 
%} 

%x C_COMMENT 

/* Identifiers */ 
ids [a-zA-Z_]([a-zA-Z0-9_])* 
/* Integers */ 
inteiros 0|[1-9]([0-9])* 

/* Chars or any Escape Sequence */ 
chrlit (\'[^\n\'\\]?\')|(\'\\.\') 
/* Strings */ 
strlit (\"[^\n\"\\]?+\")   

/* Char Error: Multi Char Constant */ 
chr_multi (\'[^\n\']{2,}\') 

/* Char Error: Non-terminated Char Constant */ 
chr_nonterm (\'[^\n\']{1,}) 

/* String Error: Non-terminated String Constant */ 
strerr (\"[^\n\"]?+) 



%% 

"/*" {BEGIN(C_COMMENT); if(col==0) {aux_col=3;} else {aux_col=2;}} 
<C_COMMENT>"*/" {col+=aux_col+2; aux_col=0; BEGIN(INITIAL);} 
<C_COMMENT><<EOF>> {printf("Line %d, col %d: unterminated comment\n",line, col); BEGIN(INITIAL);} 
<C_COMMENT>. {aux_col++;} 


"do"|"struct"|"auto"|"long"|"switch"|"break"|"enum"|"register"|"typedef" 
"case"|"extern"|"union"|"float"|"short"|"unsigned"|"const"|"for"|"signed"  "void"|"continue"|"goto"|"sizeof"|"volatile"|"default"|"static" 
{col+=yyleng; printf("RESERVED\n");} 

return {col+=yyleng; printf("RETURN\n");} 

while {col+=yyleng; printf("WHILE\n");} 

printf {col+=yyleng; printf("PRINTF\n");} 

atoi {col+=yyleng; printf("ATOI\n");} 

if {col+=yyleng; printf("IF\n");} 

int {col+=yyleng; printf("INT\n");} 

itoa {col+=yyleng; printf("ITOA\n");} 

char {col+=yyleng; printf("CHAR\n");} 

"&&" {col+=yyleng; printf("AND\n");} 

"&" {col+=yyleng; printf("AMP\n");} 

"=" {col+=yyleng; printf("ASSIGN\n");} 

"*" {col+=yyleng; printf("AST\n");} 

"," {col+=yyleng; printf("COMMA\n");} 

"/" {col+=yyleng; printf("DIV\n");} 

"==" {col+=yyleng; printf("EQ\n");} 

">=" {col+=yyleng; printf("GE\n");} 

">" {col+=yyleng; printf("GT\n");} 

"{" {col+=yyleng; printf("LBRACE\n");} 

"<=" {col+=yyleng; printf("LE\n");} 

"(" {col+=yyleng; printf("LPAR\n");} 

"[" {col+=yyleng; printf("LSQ\n");} 

"<" {col+=yyleng; printf("LT\n");} 

"-" {col+=yyleng; printf("MINUS\n");} 

"%" {col+=yyleng; printf("MOD\n");} 

"!=" {col+=yyleng; printf("NE\n");} 

"!" {col+=yyleng; printf("NOT\n");} 

"+" {col+=yyleng; printf("PLUS\n");} 

"}" {col+=yyleng; printf("RBRACE\n");} 

")" {col+=yyleng; printf("RPAR\n");} 

"]" {col+=yyleng; printf("RSQ\n");} 

";" {col+=yyleng; printf("SEMI\n");} 

\|\| {col+=yyleng; printf("OR\n");} 



{ids} {col+=yyleng; printf("ID(%s)\n",yytext);} 
{inteiros} {col+=yyleng; printf("INTLIT(%s)\n", yytext);} 
{strlit} {col+=yyleng; printf("STRLIT(%s)\n", yytext);} 
{chrlit} {col+=yyleng; printf("CHRLIT(%s)\n", yytext);} 


{chr_multi} {if(col==0) {col++;err=1;} 
      printf("Line %d, col %d: multi-character char constant\n", line, col); 
      col+=yyleng; 
      if(err == 1) {col--;err=0;}} 

{chr_nonterm} {if(col==0) {col++;err=1;} 
      printf("Line %d, col %d: unterminated char constant\n", line, col); 
      col+=yyleng;if(err == 1) {col--;err=0;}} 

{strerr} {if(col==0) {col++;err=1;} 
      printf("Line %d, col %d: unterminated string constant\n", line,col); 
      col+=yyleng; 
      if(err == 1) {col--;err=0;}} 

" " {col++;}; 
'\n' {col=1;line++;printf("BAR N\n");} 
"\\n" {col=1;line++;printf("BAR N2\n");} 
\n {col=1;line++;printf("BAR N3\n");} 

.|\' {printf("Line %d, col %d: illegal character ('%s')\n", line, col, yytext); col++;} 

%% 

int main() { 
    yylex(); 
    return 0; 
} 

int yywrap(){ 
    return 1; 
} 

Answer 1

您在評論中沒有匹配換行符。 .匹配任何字符，但換行符。

固定的規則匹配的關鍵字（添加一對夫婦的|並把它全部在一行上）做報告單引號後跟一個換行符非法字符程序後。所以，請給出確實的輸入，給出意想不到的結果。

來自Bryan同事的問候。