56 void display_version();
80 virtual void after_run();
87 virtual void parse_cmd_line(
const int argc,
char ** argv);
93 void split_path(
const string& path,
string& directory,
string& file_name);
string main_input_filename_
filename of main input file
bool use_profiler
If true, we do output of profiling information.
string main_input_dir_
directory of main input file (used to resolve relative paths of other input files) ...
static Input::Type::Record input_type
Root of the Input::Type tree. Description of whole input structure.
string program_arguments_desc_
Description of possible command line arguments.
Input::Record root_record
root input record