[infer][Java] fail early when no Java source can be loaded

10 years ago · a8a8501243
parent 17f0b5cbe2
commit a8a8501243
1 changed files with 1 additions and 1 deletions
--- a/infer/src/java/jMain.ml
+++ b/infer/src/java/jMain.ml
@ -164,6 +164,6 @@ let do_all_files classpath sources classes =
 let () =
  let classpath, sources, classes = JClasspath.load_sources_and_classes () in
  if StringMap.is_empty sources then
-    print_endline "TODO: print error message"
+    failwith "Failed to load any Java source code"
  else
    do_all_files classpath sources classes