public.hh 740 Bytes
Newer Older
1
2
3
4
5
6
7
8
#ifndef SPOT_LTLPARSE_PUBLIC_HH
# define SPOT_LTLPARSE_PUBLIC_HH

# include <string>
# include "ltlast/formulae.hh"
# include "location.hh"
# include <list>
# include <utility>
9
# include <iostream>
10
11
12
13
14
15
16
17
18
19
20
21

namespace spot 
{
  namespace ltl
  {
    typedef std::pair<yy::Location, std::string> parse_error;
    typedef std::list<parse_error> parse_error_list;

    // Beware: this function is *not* reentrant.
    formulae* parse(const std::string& ltl_string, 
		    parse_error_list& error_list,
		    bool debug = false);
22
23
24
25
26

    // Return true iff any diagnostic was output to os.
    bool format_parse_errors(std::ostream& os,
			     const std::string& ltl_string,
			     parse_error_list& error_list);
27
28
29
30
  }
}

#endif // SPOT_LTLPARSE_PUBLIC_HH