From 4526ada822d01728c4ac0ac30fd2f9a2aa115c0f Mon Sep 17 00:00:00 2001 From: jrm Date: Fri, 12 Jun 2015 09:24:04 -0700 Subject: [PATCH] [infer][Java] temporarily catching the Invalid_argument exception raised by classname with $$ in the name --- infer/src/java/jClasspath.ml | 1 + infer/tests/codetoanalyze/java/infer/SomeLibrary.java | 2 ++ 2 files changed, 3 insertions(+) diff --git a/infer/src/java/jClasspath.ml b/infer/src/java/jClasspath.ml index 53c6281b2..129f3fcaf 100644 --- a/infer/src/java/jClasspath.ml +++ b/infer/src/java/jClasspath.ml @@ -106,6 +106,7 @@ let load_sources_and_classes () = with | JBasics.Class_structure_error _ | Parsing.Parse_error + | Invalid_argument _ | Failure "lexing: empty token" -> loop paths roots sources classes | End_of_file -> close_in file_in; diff --git a/infer/tests/codetoanalyze/java/infer/SomeLibrary.java b/infer/tests/codetoanalyze/java/infer/SomeLibrary.java index b781826b7..ad71d8671 100644 --- a/infer/tests/codetoanalyze/java/infer/SomeLibrary.java +++ b/infer/tests/codetoanalyze/java/infer/SomeLibrary.java @@ -2,6 +2,8 @@ package codetoanalyze.java.infer; public class SomeLibrary { + class $$Z {} + T t; T get() {