Changeset 12087

Timestamp:

09/13/11 14:40:54 (13 years ago)

Author:

tbretz

Message:

Added the PrintHelp function which is supposed to print state and command informations of a state machine.

File:

• trunk/FACT++/src/Main.h (modified) (1 diff)

trunk/FACT++/src/Main.h

@@ -32 +32 @@
 
         conf.AddOptions(config);
+    }
+
+    template<class T>
+    void PrintHelp()
+    {
+        Dim::Setup();
+
+        ofstream fout("/dev/null");
+
+        T io_service(fout);
+
+        io_service.PrintListOfStates(cout);
+        cout << "\nList of available commands:\n\n";
+        io_service.PrintListOfEvents(cout);
+        cout << "\n";
     }