+ assert(parameter_type == PARAMATER_MANDATORY || parameter_type == PARAMETER_OPTIONAL);
+ for (unsigned i = 0; i < config.size(); ++i) {
+ if (config[i].keyword != keyword) {
+ continue;
+ }
+ if (config[i].parameters.size() > 0 ||
+ config[i].arguments.size() != 1) {
+ fprintf(stderr, "ERROR: '%s' takes one argument and no parameters\n", keyword.c_str());
+ exit(1);
+ }
+ return config[i].arguments[0];
+ }
+ if (parameter_type == PARAMATER_MANDATORY) {
+ fprintf(stderr, "ERROR: Missing '%s' statement in config file.\n",
+ keyword.c_str());
+ exit(1);
+ } else {
+ return default_value;
+ }
+}
+
+int fetch_config_int(const std::vector<ConfigLine> &config, const std::string &keyword,
+ int min_limit, int max_limit,
+ ParameterType parameter_type, int default_value)
+{
+ assert(parameter_type == PARAMATER_MANDATORY || parameter_type == PARAMETER_OPTIONAL);