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

Analyse dynamique de programmes C
67 if (pop(i) == -2)
68 unbind();
69 longjmp (jmp_top, 0);
70 }
71
72 void load (char *name)
73 {
74 if ((File = fopen (name, "r")) == NULL)
75 {
76 printf ("Le fichier %s n'existe pas\n", name);
77 }
78 else
79 {
80 printf ("Chargement de %s\n", name);
81 Stdin = File;
82 if (setjmp(jmp_file))
83 goto fini;
84 while (!feof(Stdin))
85 {
86 lisp_read();
87 eval();
88 lisp_print();
89 putchar ('\n');
90 }
91 fini:
92 fclose (File);
93 Stdin = stdin;
94 init_read();
95 }
96 }
97
98 void debug(char *s,int x)
99 {
100 printf("%s", s);
101 obj_print (x);
102 putchar ('\n');
103 }
104
105
106 int main()
107 {
108 static int nbtop = 0;
109 init_listes();
110 init_atomes();
111 setjmp (jmp_top);
112 init_read();
113 init_stack();
114 Stdin = stdin;
115 if (++nbtop == 1)
116 load ("llisp/llisp.ini");
117 toplevel();
118 return 0;
119 }
120
121 /* FIN de fichier */
122
91