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 <iostream>
00032
00033
namespace spot
00034 {
00036 typedef std::pair<yy::Location, std::string>
tgba_parse_error;
00038 typedef std::list<tgba_parse_error>
tgba_parse_error_list;
00039
00056
tgba_explicit*
tgba_parse(
const std::string& filename,
00057 tgba_parse_error_list& error_list,
00058
bdd_dict* dict,
00059
ltl::environment& env
00060 = ltl::default_environment::instance(),
00061
bool debug =
false);
00062
00068
bool format_tgba_parse_errors(std::ostream& os,
00069 tgba_parse_error_list& error_list);
00070 }
00071
00072
#endif // SPOT_TGBAPARSE_PUBLIC_HH