Rim Chaabane. Analyse dynamique de ... - Université Paris 8

Analyse dynamique de programmes C
FICHIER MAIN DE LLISP
--------------------------------------------
1 /*
2 * main.c
3 */
4
5 #include "llisp/main.h"
6 #include "llisp/mem.c"
7 #include "llisp/print.c"
8 #include "llisp/std.c"
9 #include "llisp/read.c"
10 #include "llisp/eval.c"
11
12 extern int sp;
13 extern jmp_buf jmp_top;
14 extern jmp_buf jmp_file;
15 extern FILE *Stdin;
16 extern FILE *File;
17 extern void unbind();
18 extern void lisp_print();
19 extern void lisp_read();
20 extern void eval();
21 extern int int_read(char ch);
22 extern void obj_print(int obj);
23 extern void init_listes();
24
25 void toplevel()
26 {
27 for ( ;; )
28 {
29 printf ("? ");
30 fflush (stdout);
31 lisp_read();
32 eval();
33 printf ("= ");
34 lisp_print();
35 putchar ('\n');
36 fflush (stdout);
37 }
38 }
39
40 /* routine d'erreur : obj est un entier, adresse (index dans mem) d'un elt */
41 void err(char *fmt,int obj)
42 {
43 int i;
44 printf (fmt, obj);
45 while (sp > B_STACK)
46 if (pop(i) == -2)
47 unbind();
48 longjmp (jmp_top, 0);
49 }
50
51 void err2(char *fmt)
52 {
53 int i;
54 printf (fmt);
55 while (sp > B_STACK)
56 if (pop(i) == -2)
57 unbind();
58 longjmp (jmp_top, 0);
59 }
60
61 /* routine d'erreur : obj est une chaine (p_name) d'un elt */
62 void err_s(char *fmt,char *obj)
63 {
64 int i;
65 printf (fmt, obj);
66 while (sp > B_STACK)
90