Public Types | |
enum | dump_format { fmt_error, fmt_dot, fmt_fsm, fmt_simple, fmt_xml } |
Public Member Functions | |
dumper (int argc, char **argv, int pos=1) | |
Build a dumper which arguments are in argv starting at pos. | |
void | usage (int estatus) |
Display a help message, and exit with status estatus. | |
enum dump_format | dump_format (std::string fmt) |
const char * | get_fmt () const |
void | operator() (std::ostream &o, const automaton_t &automaton, const std::string &name="automaton") |
Definition at line 47 of file dumper.hh.
enum dump_format |
dumper | ( | int | argc, | |
char ** | argv, | |||
int | pos = 1 | |||
) |
Build a dumper which arguments are in argv starting at pos.
Dumps for "xml", unless argv[pos] specifies otherwise.
Definition at line 53 of file dumper.hxx.
References dumper::fmt_error, and dumper::usage().