diff --git a/infer/src/java/jVerboseLexer.mll b/infer/src/java/jVerboseLexer.mll index c568b97c3..9252bc607 100644 --- a/infer/src/java/jVerboseLexer.mll +++ b/infer/src/java/jVerboseLexer.mll @@ -37,6 +37,7 @@ rule token = parse | ']' { RIGHT_SQUARE_BRACKET } | ':' { COLON } | ',' { COMMA } +| "\'\'" { EMPTY } | "parsing" { PARSING } | "started" { STARTED } | "wrote" { WROTE } diff --git a/infer/src/java/jVerboseParser.mly b/infer/src/java/jVerboseParser.mly index 53eb990e6..0cf47e64b 100644 --- a/infer/src/java/jVerboseParser.mly +++ b/infer/src/java/jVerboseParser.mly @@ -5,6 +5,7 @@ %token EOL EOF %token LEFT_SQUARE_BRACKET RIGHT_SQUARE_BRACKET %token COLON COMMA +%token EMPTY %token PARSING STARTED WROTE SEARCH_PATH %token REGULARFILEOBJECT ZIPFILEINDEXFILEOBJECT %token CLASS_FILENAME @@ -34,6 +35,8 @@ classpath: ; classpath_parts: + | EMPTY { [] } | PATH { [$1] } + | EMPTY COMMA classpath_parts { $3 } | PATH COMMA classpath_parts { $1 :: $3 } ;