00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013 #ifndef __SHELL_HPP
00014 #define __SHELL_HPP
00015
00016 #include <basix/string.hpp>
00017 #include <basix/list.hpp>
00018 #include <basix/parse_tools.hpp>
00019 #include <mmxlight/mmxlight-config.hpp>
00020
00021 namespace mmx {
00022
00023
00024 extern bool script_flag;
00025 extern bool quiet_flag;
00026 extern bool debug_flag;
00027 extern bool type_flag;
00028 extern bool time_flag;
00029 extern nat history_len;
00030
00031
00032 extern bool completion_flag;
00033 extern bool batch_flag;
00034 extern bool replay_flag;
00035
00036 extern bool disable_boot;
00037
00038
00039 extern list<string> identifiers_list;
00040
00041 list<string> itf_initialize (int argc, char** argv);
00042
00043 bool itf_terminal_input (string& in);
00044 bool itf_terminal_batch_input (string& in);
00045 void itf_terminal_output (const generic& g, const generic& t);
00046 bool itf_terminal_print_parse_errors (const list<generic>& errors);
00047 bool itf_terminal_print_exception (const generic& g);
00048 void itf_texmacs_initialize (void);
00049 bool itf_texmacs_input (string& in);
00050 void itf_texmacs_output (const generic& g, const generic& t);
00051
00052 void itf_save_history (void);
00053 void itf_load_history (void);
00054
00055 void itf_save_session (void);
00056
00057
00058 vector<string> itf_restore_session (void);
00059
00060
00061 vector<generic> itf_history ();
00062 void itf_exit (const int& i);
00063 void itf_quit ();
00064
00065 }
00066 #endif // __SHELL_HPP