def argv_ufo_detections(Cl): """Detects unidentified command line options. """ known_option_list = [] for info in SETUP_INFO.itervalues(): if type(info) != list: continue known_option_list.extend(info[0]) ufo_list = Cl.unidentified_options(known_option_list) if not ufo_list: return pre_filter_flag_info = [info for info in SETUP_INFO.itervalues() if info] all_flag_list = flatten_list_of_lists( flag_list for flag_list, dummy in pre_filter_flag_info) ufo = ufo_list[0] error.log_similar(ufo, all_flag_list, "Unknown command line option '%s'" % ufo)
def argv_ufo_detections(Cl): """Detects unidentified command line options. """ known_option_list = [] for info in SETUP_INFO.itervalues(): if type(info) != list: continue known_option_list.extend(info[0]) ufo_list = Cl.unidentified_options(known_option_list) if not ufo_list: return option_str = "".join("%s\n" % ufo_list) error.log("Following command line options are unknown to current version of quex:\n" \ + option_str, SuppressCode=NotificationDB.error_ufo_on_command_line_f)