#define MAX_STR_CONST 1024
extern char *surf_parse_text;
-extern int line_pos;
-extern int char_pos;
-extern int tok_num;
+extern int surf_line_pos;
+extern int surf_char_pos;
+extern int surf_tok_num;
e_surf_token_t surf_parse(void);
-void find_section(const char* file, const char* section_name);
-void close_section(const char* section_name);
-void surf_parse_float(xbt_maxmin_float_t *value);
-void surf_parse_trace(tmgr_trace_t *trace);
+void find_section(const char *file, const char *section_name);
+void close_section(const char *section_name);
+void surf_parse_double(double *value);
+void surf_parse_trace(tmgr_trace_t * trace);
+void surf_parse_deployment_line(char **host, int *argc, char ***argv);
/* Should not be called if you use the previous "section" functions */
-void surf_parse_open(const char *file);
-void surf_parse_close(void);
+void surf_parse_open(const char *file);
+void surf_parse_close(void);
+
+/* Prototypes of the functions offered by flex */
+int surf_parse_lex(void);
+int surf_parse_get_lineno(void);
+FILE *surf_parse_get_in(void);
+FILE *surf_parse_get_out(void);
+int surf_parse_get_leng(void);
+char *surf_parse_get_text(void);
+void surf_parse_set_lineno(int line_number);
+void surf_parse_set_in(FILE * in_str);
+void surf_parse_set_out(FILE * out_str);
+int surf_parse_get_debug(void);
+void surf_parse_set_debug(int bdebug);
+int surf_parse_lex_destroy(void);
+
#endif
