Public Types | |
| enum | dump_format | 
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.
| 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::usage().
 1.5.1