From 1916e4fa0ffea8fed0353497b43c3242e638d1ff Mon Sep 17 00:00:00 2001 From: Martino Luca Date: Fri, 11 May 2018 07:31:15 -0700 Subject: [PATCH] Adding a new ATD-based parser for JSON data containing Java method declarations Reviewed By: jvillard Differential Revision: D7910313 fbshipit-source-id: 874eced --- infer/src/Makefile | 2 +- infer/src/atd/java_method_decl.atd | 10 ++++++++++ 2 files changed, 11 insertions(+), 1 deletion(-) create mode 100644 infer/src/atd/java_method_decl.atd diff --git a/infer/src/Makefile b/infer/src/Makefile index f043919a9..883d6d8f5 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -21,7 +21,7 @@ INFER_MAIN = infer #### Checkers declarations #### -INFER_ATDGEN_STUB_BASES = atd/jsonbug atd/runstate atd/stacktree +INFER_ATDGEN_STUB_BASES = atd/jsonbug atd/runstate atd/stacktree atd/java_method_decl INFER_ATDGEN_TYPES = j t INFER_ATDGEN_STUB_ATDS = $(INFER_ATDGEN_STUB_BASES:.atd) INFER_ATDGEN_SUFFIXES = $(foreach atd_t,$(INFER_ATDGEN_TYPES),_$(atd_t).ml _$(atd_t).mli) diff --git a/infer/src/atd/java_method_decl.atd b/infer/src/atd/java_method_decl.atd new file mode 100644 index 000000000..f9da991fb --- /dev/null +++ b/infer/src/atd/java_method_decl.atd @@ -0,0 +1,10 @@ +type java_method_decl = { + ?signature : string option; + ~unresolved_signature : bool; + method_name : string; + source_file : string; + start_line : int; + end_line : int; +} + +type java_method_decls = java_method_decl list