[infer][java] for the Buck integration, simply concatenate the lists of bugs found on every target

Summary: Saving the list of bugs in a set removes the ordering. Also, there should be no need to remove the duplicated warnings at this level.

Reviewed By: sblackshear

Differential Revision: D6060554

fbshipit-source-id: a78d35d
master
Jeremy Dubreil 7 years ago committed by Facebook Github Bot
parent 8b7208df62
commit ef556e048e

@ -146,14 +146,14 @@ def collect_results(args, start_time, targets):
"""Walks through buck-out/, collects results for the different buck targets """Walks through buck-out/, collects results for the different buck targets
and stores them in in args.infer_out/results.json. and stores them in in args.infer_out/results.json.
""" """
all_json_rows = set() all_json_rows = []
for path in get_output_jars(targets): for path in get_output_jars(targets):
try: try:
with zipfile.ZipFile(path) as jar: with zipfile.ZipFile(path) as jar:
json_rows = load_json_report(jar) json_rows = load_json_report(jar)
for row in json_rows: for row in json_rows:
all_json_rows.add(json.dumps(row)) all_json_rows.append(row)
except NotFoundInJar: except NotFoundInJar:
pass pass
except zipfile.BadZipfile: except zipfile.BadZipfile:
@ -161,12 +161,8 @@ def collect_results(args, start_time, targets):
json_report = os.path.join(args.infer_out, config.JSON_REPORT_FILENAME) json_report = os.path.join(args.infer_out, config.JSON_REPORT_FILENAME)
with open(json_report, 'w') as report: with open(json_report, 'w') as file_out:
json_string = '[' json.dump(all_json_rows, file_out)
json_string += ','.join(all_json_rows)
json_string += ']'
report.write(json_string)
report.flush()
bugs_out = os.path.join(args.infer_out, config.BUGS_FILENAME) bugs_out = os.path.join(args.infer_out, config.BUGS_FILENAME)
issues.print_and_save_errors(args.infer_out, args.project_root, issues.print_and_save_errors(args.infer_out, args.project_root,

Loading…
Cancel
Save