00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef SPOT_TGBAPARSE_PUBLIC_HH
00023 # define SPOT_TGBAPARSE_PUBLIC_HH
00024
00025 # include "tgba/tgbaexplicit.hh"
00026 # include "ltlparse/location.hh"
00027 # include "ltlenv/defaultenv.hh"
00028 # include <string>
00029 # include <list>
00030 # include <utility>
00031 # include <iosfwd>
00032
00033 namespace spot
00034 {
00037
00039 typedef std::pair<yy::Location, std::string> tgba_parse_error;
00041 typedef std::list<tgba_parse_error> tgba_parse_error_list;
00042
00059 tgba_explicit* tgba_parse(const std::string& filename,
00060 tgba_parse_error_list& error_list,
00061 bdd_dict* dict,
00062 ltl::environment& env
00063 = ltl::default_environment::instance(),
00064 bool debug = false);
00065
00072 bool format_tgba_parse_errors(std::ostream& os,
00073 const std::string& filename,
00074 tgba_parse_error_list& error_list);
00075
00077 }
00078
00079 #endif // SPOT_TGBAPARSE_PUBLIC_HH