Lines Matching defs:Globals
907 class Globals:
920 for namemask, options in Globals.separate_options:
922 Globals.matched_namemasks.add(namemask)
941 if Globals.verbose_options:
1013 Globals.separate_options = read_options_file(open(optfilename, "rU"))
1015 Globals.separate_options = []
1016 Globals.matched_namemasks = set()
1040 unmatched = [n for n,o in Globals.separate_options if n not in Globals.matched_namemasks]
1044 if not Globals.verbose_options:
1062 Globals.verbose_options = options.verbose
1091 Globals.verbose_options = options.verbose
