18namespace layer5_applications {
19namespace user_interface {
45 int f_v = (verbose_level >= 1);
48 cout <<
"interface_symbol_table::init" << endl;
52 cout <<
"interface_symbol_table::done" << endl;
57 std::string *argv,
int i,
int verbose_level)
61 if (ST.
stringcmp(argv[i],
"-define") == 0) {
62 cout <<
"-define <string : label> description -end" << endl;
64 else if (ST.
stringcmp(argv[i],
"-print_symbols") == 0) {
65 cout <<
"-print_symbols" << endl;
67 else if (ST.
stringcmp(argv[i],
"-with") == 0) {
68 cout <<
"-with <string : label> *[ -and <string : label> ] -do ... -end" << endl;
73 std::string *argv,
int i,
int verbose_level)
80 if (ST.
stringcmp(argv[i],
"-define") == 0) {
83 else if (ST.
stringcmp(argv[i],
"-print_symbols") == 0) {
86 else if (ST.
stringcmp(argv[i],
"-with") == 0) {
93 int argc, std::string *argv,
int &i,
int verbose_level)
95 int f_v = (verbose_level >= 1);
100 cout <<
"interface_symbol_table::read_arguments" << endl;
105 cout <<
"interface_symbol_table::read_arguments the next argument is " << argv[i] << endl;
108 if (ST.
stringcmp(argv[i],
"-define") == 0) {
115 cout <<
"interface_symbol_table::read_arguments "
116 "before Symbol_definition->read_definition" << endl;
120 cout <<
"interface_symbol_table::read_arguments "
121 "after Symbol_definition->read_definition" << endl;
126 cout <<
"interface_symbol_table::read_arguments "
127 "before Symbol_definition->perform_definition" << endl;
131 cout <<
"interface_symbol_table::read_arguments "
132 "after Symbol_definition->perform_definition" << endl;
137 else if (ST.
stringcmp(argv[i],
"-print_symbols") == 0) {
140 cout <<
"-print_symbols" << endl;
145 else if (ST.
stringcmp(argv[i],
"-with") == 0) {
150 cout <<
"interface_symbol_table::read_arguments done" << endl;
161 int argc, std::string *argv,
int &i,
int verbose_level)
163 int f_v = (verbose_level >= 1);
166 cout <<
"interface_symbol_table::read_with" << endl;
178 if (ST.
stringcmp(argv[i],
"-and") == 0) {
184 else if (ST.
stringcmp(argv[i],
"-do") == 0) {
194 cout <<
"syntax error after -with, seeing " << argv[i] << endl;
199 cout <<
"interface_symbol_table::read_with done" << endl;
207 int f_v = (verbose_level >= 1);
210 cout <<
"interface_symbol_table::worker" << endl;
222 cout <<
"interface_symbol_table::worker done" << endl;
232 cout <<
"print_symbol_table" << endl;
description of an activity for an orbiter symbol
void worker(int verbose_level)
void read_arguments(interface_symbol_table *Sym, int argc, std::string *argv, int &i, int verbose_level)
orbiter_top_level_session * Orbiter_top_level_session
void print_help(int argc, std::string *argv, int i, int verbose_level)
void init(orbiter_top_level_session *Orbiter_top_level_session, int verbose_level)
void worker(int verbose_level)
void read_with(int argc, std::string *argv, int &i, int verbose_level)
symbol_definition * Symbol_definition
activity_description * Activity_description
void read_arguments(int argc, std::string *argv, int &i, int verbose_level)
int recognize_keyword(int argc, std::string *argv, int i, int verbose_level)
std::vector< std::string > with_labels
The top level orbiter session is responsible for the command line interface and the program execution...
void print_symbol_table()
definition of an orbiter symbol
void read_definition(interface_symbol_table *Sym, int argc, std::string *argv, int &i, int verbose_level)
void perform_definition(int verbose_level)
the orbiter library for the classification of combinatorial objects