-
+/** @file */
////////////////////////////////////////////////////////////////////////////////////////
//
// This file is part of Boost Statechart Viewer.
* This class provides saving information about state machine to a specified output file. It saves states and transitions and also it creates the transition table.
*/
class IO_operations
-{
- list<string> transitions;
- list<string> states;
- list<string> events;
- string outputFilename;
+{
+ list<string> transitions; /** list of transitions */
+ list<string> states; /** list of states */
+ list<string> events; /** list of events */
+ string outputFilename;
string name_of_machine;
string name_of_first_state;
- string *table;
+ string *table; /** transition table. It is being allocated when starting the creation of output file. */
int nState;
int cols, rows;
/** This function finds place in the transition table to put a transition there. */
return -1;
}
public:
- IO_operations() {}
+ IO_operations() {} /** Implicit constructor */
+ /** Constructor that fill in all private variables in this class */
IO_operations( const string outputFile, const string FSM_name, const string firstState, const list<string> trans, const list<string> state, const list<string> ev )
{
outputFilename = outputFile;
states = state;
events = ev;
}
- ~IO_operations()
+
+ ~IO_operations() /** destructor. It deallocates the transition table.*/
{
delete table;
}