extern void_f_void_t *STag_surfxml_argument_fun;
extern void_f_void_t *ETag_surfxml_argument_fun;
-void surf_parse_open(const char *file);
-void surf_parse_close(void);
-void surf_parse_reset_parser(void);
-void surf_parse_get_double(double *value,const char *string);
+XBT_PUBLIC void surf_parse_open(const char *file);
+XBT_PUBLIC void surf_parse_close(void);
+XBT_PUBLIC void surf_parse_reset_parser(void);
+XBT_PUBLIC void surf_parse_get_double(double *value,const char *string);
/* 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);
+XBT_PUBLIC int surf_parse_lex(void);
+XBT_PUBLIC int surf_parse_get_lineno(void);
+XBT_PUBLIC FILE *surf_parse_get_in(void);
+XBT_PUBLIC FILE *surf_parse_get_out(void);
+XBT_PUBLIC int surf_parse_get_leng(void);
+XBT_PUBLIC char *surf_parse_get_text(void);
+XBT_PUBLIC void surf_parse_set_lineno(int line_number);
+XBT_PUBLIC void surf_parse_set_in(FILE * in_str);
+XBT_PUBLIC void surf_parse_set_out(FILE * out_str);
+XBT_PUBLIC int surf_parse_get_debug(void);
+XBT_PUBLIC void surf_parse_set_debug(int bdebug);
+XBT_PUBLIC int surf_parse_lex_destroy(void);
#endif
