00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef SPOT_SAUTPARSE_PUBLIC_HH
00023 # define SPOT_SAUTPARSE_PUBLIC_HH
00024
00025 # include "ltlenv/defaultenv.hh"
00026 # include "ltlparse/location.hh"
00027 # include "saut/saut.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> saut_parse_error;
00041 typedef std::list<saut_parse_error> saut_parse_error_list;
00042
00060 saut* saut_parse(const std::string& filename,
00061 saut_parse_error_list& error_list,
00062 bdd_dict* dict,
00063 ltl::environment& env
00064 = ltl::default_environment::instance(),
00065 bool debug = false);
00066
00073 bool format_saut_parse_errors(std::ostream& os,
00074 const std::string& filename,
00075 saut_parse_error_list& error_list);
00076
00078 }
00079
00080 #endif // SPOT_SAUTPARSE_PUBLIC_HH