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)
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)
