15 def is_executable_file(filename):  argument
21     if not os.path.isfile(filename):
23     with open(filename, 'r') as f:
40 def is_json_file(filename):  argument
46         with open(filename, 'r') as f:
54 def classify_input_file(filename):  argument
62     if not os.path.exists(filename):
63         err_msg = "'%s' does not exist" % filename
64     elif not os.path.isfile(filename):
65         err_msg = "'%s' does not name a file" % filename
66     elif is_executable_file(filename):
68     elif is_json_file(filename):
75 def check_input_file(filename):  argument
81     ftype, msg = classify_input_file(filename)
117 def run_or_load_benchmark(filename, benchmark_flags):  argument
124     ftype = check_input_file(filename)
126         return load_benchmark_results(filename)
128         return run_benchmark(filename, benchmark_flags)