排错：lex yacc ?

microcalf

lex 输入文件为calc.lex
%{
#include "stdlib.h"
#include "y.tab.h"
#ifndef YYSTYPE
#define YYSTYPE int
#endif
extern YYSTYPE yylval;
%}

integer [0-9]+
%%
{integer}       {
        yylval=atoi(yytext);
        printf("%d",yylval);
        return INTEGER;
}
[ \t] ;
\n      return 0;
. return yytext[0];
%%
int yywrap()
{
        return 1;
}

yacc的输入文件为:
%{
#include "stdio.h"
extern FILE* yyin;
int yylex(void);
%}
%token INTEGER
%left '+' '-'
%%

program:
        program expr '\n'
        | expr  '\n'              { printf("%d\n", $1); }
        ;

expr:
        INTEGER                   { $$ = $1; }
        | expr '+' INTEGER           { $$ = $1 + $3; }
        | expr '-' INTEGER           { $$ = $1 - $3; }
        ;

%%

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

int main(int argc,char** argv) {
        if(argc<2)
        {
                return -1;
        }
        yyin=fopen(argv[1],"r";
        if(yyin==NULL)
        {
                printf("\nError In open file!\n";
                return -2;
        }
        yyparse();
        fclose(yyin);
        return 0;
}

编译:
yacc -ldv calc.y
lex calc.lex
cc *.c -o calc -lc -lx
成calc

输入文件为tests,内容如下:
3+1-5

运行 calc tests显示错误如下:
Syntax error
315
环境为sco unix 5.06 ,谁能告诉我错在哪个地方?谢谢!!!

蓝色键盘

program:
program expr '\n'
| expr '\n' { printf("%d\n", $1); }
;

上面的规则存在错误。

jkjium

program:
program expr '\n'
| expr '\n' { printf("%d\n", $1); }
;
把'\n'都去掉就行了

microcalf

还是不对

jkjium

这个是我测试的代码，在solaris里可以运行
test.y:

1. #include "stdio.h"
   
2. extern FILE* yyin;
   
3. int yylex(void);
   
4. %}
   
5. %token INTEGER
   
6. %left '+' '-'
   
7. %%
   
8. 
   
9. program: program expr
   
10. |expr  { printf("%d\n",$1); }
    
11. ;
    
12. 
    
13. expr:
    
14.   expr '+' INTEGER { $$ = $1 + $3; }
    
15. | expr '-' INTEGER { $$ = $1 - $3; }
    
16. | INTEGER
    
17. ;
    
18. 
    
19. %%
    
20. 
    
21. void yyerror(char *s) {
    
22. fprintf(stderr, "%s\n", s);
    
23. }
    
24. 
    
25. int main(int argc,char** argv) {
    
26. if(argc<2)
    
27. {
    
28. return -1;
    
29. }
    
30. yyin=fopen(argv[1],"r");
    
31. if(yyin==NULL)
    
32. {
    
33. printf("\nError In open file!\n");
    
34. return -2;
    
35. }
    
36. yyparse();
    
37. fclose(yyin);
    
38. return 0;
    
39. }

复制代码

test.l

1. 
   
2. %{
   
3. #include "stdlib.h"
   
4. #include "y.tab.h"
   
5. #ifndef YYSTYPE
   
6. #define YYSTYPE int
   
7. #endif
   
8. extern YYSTYPE yylval;
   
9. %}
   
10. 
    
11. integer [0-9]+
    
12. %%
    
13. {integer} {
    
14. yylval=atoi(yytext);
    
15. printf("%d",yylval);
    
16. return INTEGER;
    
17. }
    
18. [ \t] ;
    
19. \n return 0;
    
20. . return yytext[0];
    
21. %%
    
22. int yywrap()
    
23. {
    
24. return 1;
    
25. }

复制代码

microcalf

sco unix 5.06 下面还是有问题。解析时，好象把文件中的'+' '-'号去掉了
eg，tests 文件内容为
3+4-1
会报:
Syntax error
341

mengwg

请问大侠， 这lex yacc 主要应用在什么地方呀？

jkjium

341是在test.l中由printf打印出来的，'+''-'本来就不会打印出来。我又重新编译运行了一遍，还是没问题啊。
这是我的makefile:
[code][#LEX = lex
#YACC = yacc

CC = cc -DYYDEBUG=1
test: y.tab.c lex.yy.c y.tab.h
        $(CC) -o test y.tab.c lex.yy.c -ly -ll

y.tab.c y.tab.h: test.y
        $(YACC) -d test.y

lex.yy.c: test.l
        $(LEX) test.l/code]
我的系统：SunOS  5.8 Generic_108528-13 sun4u sparc SUNW,Sun-Fire-880
而且在Redhat 7.2上编译执行也没问题。

jkjium

回mengwg：
lex可以说是词法分析器生成程序，yacc是语法的

mengwg

1. 
   
2. lex可以说是词法分析器生成程序，yacc是语法的
   

复制代码

谢谢！

我也做了个解析器，包括语法和句法，类似c的，感觉用起来比较简单。
下面是个句法解析的例子：

1. 
   
2. #include <cline.h>;
   
3. #include <stdio.h>;
   
4. 
   
5. int user_func_iadd(int a,int b)
   
6. {
   
7.   return a+b;
   
8. };
   
9. 
   
10. double user_func_fadd(double a,double b)
    
11. {
    
12.   return a+b;
    
13. };
    
14. 
    
15. TParaMgr Para;
    
16. TLine    Line;
    
17. 
    
18. int Exam_Run_Line(char * line)
    
19. {
    
20. char s_res[200];
    
21. 
    
22.   printf("expression is: %s \n",line);
    
23.   Line.Run_Line(line,s_res);
    
24.   if(Line.HaveError())
    
25.   {
    
26.     printf("\nline err :'%s'\n",Line.GetErrorMsg());
    
27.     return 0;
    
28.   };
    
29.   printf("run result is: %s\n\n",s_res);
    
30.   return 1;
    
31. };
    
32. 
    
33. int main()
    
34. {
    
35. int      i_res;
    
36. float    f_res;
    
37. char     s_res[200];
    
38. char     express[100];
    
39. 
    
40.   printf("\n\n");
    
41.         puts("     *****************************************************************");
    
42.         puts("     *    this orient c++ lib csp module demo                        *");
    
43.   puts("     *                      [www.onlyit.cn]   mengwg 2003            *");
    
44.         puts("     *****************************************************************");
    
45.   
    
46.   Define_Modu("iadd","II",(char *)&user_func_iadd,'I');
    
47.   Define_Modu("fadd","FF",(char *)&user_func_fadd,'D');
    
48. 
    
49.   Line.SetParaMgr(&Para);
    
50. 
    
51.   Para.PushPara("x",100.23);
    
52.   Para.PushPara("y",200);
    
53. 
    
54.   Exam_Run_Line("x");
    
55.   Exam_Run_Line("y");  
    
56.   Exam_Run_Line("1+2");
    
57.   Exam_Run_Line("1+2*3.2");
    
58.   Exam_Run_Line("x+y*2-6.5+y");
    
59.   Exam_Run_Line("x+y-iadd(10.2,y)");
    
60.   Exam_Run_Line("x+y+iadd(10.2,y)*2+x");
    
61.   Exam_Run_Line("x+iadd(3,iadd(3,2))*2+10");
    
62.   Exam_Run_Line("x>;100&&y==200");
    
63.   Exam_Run_Line("x<100");
    
64.   Exam_Run_Line("x=80");
    
65.   Exam_Run_Line("x<100");
    
66. 
    
67.   strcpy(express,"x+y");
    
68.   printf("result type of %s is %c\n\n",express,Line.Get_Line_Type(express));
    
69.   strcpy(express,"iadd(x+y,3.2)");
    
70.   printf("result type of %s is %c\n\n",express,Line.Get_Line_Type(express));
    
71.   getchar();
    
72.   return 1;
    
73. }
    

复制代码

result:

1. 
   
2.      *****************************************************************
   
3.      *    this orient c++ lib csp module demo                        *
   
4.      *                      [www.onlyit.cn]   mengwg 2003            *
   
5.      *****************************************************************
   
6. expression is: x
   
7. run result is: 100.230003
   
8. 
   
9. expression is: y
   
10. run result is: 200
    
11. 
    
12. expression is: 1+2
    
13. run result is: 3
    
14. 
    
15. expression is: 1+2*3.2
    
16. run result is: 7.400000
    
17. 
    
18. expression is: x+y*2-6.5+y
    
19. run result is: 693.729980
    
20. 
    
21. expression is: x+y-iadd(10.2,y)
    
22. run result is: 90.230011
    
23. 
    
24. expression is: x+y+iadd(10.2,y)*2+x
    
25. run result is: 820.459961
    
26. 
    
27. expression is: x+iadd(3,iadd(3,2))*2+10
    
28. run result is: 126.230003
    
29. 
    
30. expression is: x>;100&&y==200
    
31. run result is: 1
    
32. 
    
33. expression is: x<100
    
34. run result is: 0
    
35. 
    
36. expression is: x=80
    
37. run result is: 80.000000
    
38. 
    
39. expression is: x<100
    
40. run result is: 1
    
41. 
    
42. result type of x+y is F
    
43. 
    
44. result type of iadd(x+y,3.2) is I
    

复制代码