00001 00005 #ifndef _GRAMMAR_HH_ 00006 #define _GRAMMAR_HH_ 00007 00008 #ifndef DOXYGEN_PROCESSING 00009 #include <iostream> 00010 #include "system/dve/syntax_analysis/dve_commonparse.hh" 00011 #include "system/dve/syntax_analysis/dve_parser.hh" 00012 00013 namespace divine //We want Doxygen not to see namespace `dve' 00014 { 00015 #endif //DOXYGEN_PROCESSING 00016 00018 void dve_init_parsing(dve_parser_t * const, error_vector_t *, std::istream & mystream); 00020 void dve_expr_init_parsing(dve_parser_t * const, error_vector_t *, std::istream & mystream); 00022 void dve_trans_init_parsing(dve_parser_t * const, error_vector_t *, std::istream & mystream); 00024 void dve_proc_init_parsing(dve_parser_t * const, error_vector_t *, std::istream & mystream); 00025 00026 #ifndef DOXYGEN_PROCESSING 00027 }; 00028 #endif //DOXYGEN_PROCESSING 00029 00030 #endif