20 #ifndef SPOT_BIN_COMMON_FINPUT_HH
21 #define SPOT_BIN_COMMON_FINPUT_HH
23 #include "common_sys.hh"
27 #include "ltlparse/public.hh"
34 job(
const char* str,
bool file_p)
35 : str(str), file_p(file_p)
40 typedef std::vector<job> jobs_t;
42 extern bool lbt_input;
44 extern const struct argp finput_argp;
46 int parse_opt_finput(
int key,
char* arg,
struct argp_state* state);
63 const char* filename = 0,
int linenum = 0) = 0;
66 process_string(
const std::string& str,
67 const char* filename = 0,
int linenum = 0);
69 process_stream(std::istream& is,
const char* filename);
72 process_file(
const char* filename);
85 #endif // SPOT_BIN_COMMON_FINPUT_HH
Definition: common_finput.hh:29
std::list< parse_error > parse_error_list
A list of parser diagnostics, as filled by parse.
Definition: public.hh:45
Definition: common_finput.hh:52