Go to the documentation of this file.
28 void usage( const std::string& msg= "") {
29 std::cerr << "gen2dot --- convert generators to DOT format (" << faudes::VersionString() << ")" << std::endl;
31 std::cerr << "error: " << msg << std::endl;
32 std::cerr << std::endl;
35 std::cerr << std::endl;
36 std::cerr << "usage:" << std::endl;
37 std::cerr << " gen2dot [-?] <gen-in> [<dot-out>]" << std::endl;
38 std::cerr << std::endl;
39 std::cerr << "with:" << std::endl;
40 std::cerr << " <gen-in> main input file" << std::endl;
41 std::cerr << " <dot-out> main output file" << std::endl;
42 std::cerr << std::endl;
43 std::cerr << "note: <dot-out> defaults <gen-in> with suffix substituted to \"dot\"" << std::endl;
44 std::cerr << std::endl;
49 int main( int argc, char *argv[]) {
56 for( int i=1; i<argc; i++) {
57 std::string option(argv[i]);
59 if((option== "-?") || (option== "--help")) {
64 if(option.c_str()[0]== '-') {
65 usage( "unknown option "+ option);
79 usage( "no more than two arguments must be specified" );
84 usage( "no input file specified");
88 std::string basename = genin;
89 if(basename.rfind( ".gen") < basename.size())
90 basename.resize(basename.rfind( ".gen"));
91 std::string dotout = basename+ ".dot";
virtual void DotWrite(const std::string &rFileName) const
int main(int argc, char *argv[])
void usage(const std::string &msg="")
std::string VersionString()
libFAUDES 2.33h
--- 2025.06.18
--- c++ api documentaion by doxygen
|