pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Adding a new ATD-based parser for JSON data containing Java method declarations

Browse Source 
Reviewed By: jvillard

Differential Revision: D7910313

fbshipit-source-id: 874eced
master
Martino Luca 7 years ago committed by Facebook Github Bot
parent e3f0754335
commit 1916e4fa0f
2 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
infer/src/Makefile
Unescape View File

@ -21,7 +21,7 @@ INFER_MAIN = infer
#### Checkers declarations #### #### 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_TYPES = j t
INFER_ATDGEN_STUB_ATDS = $(INFER_ATDGEN_STUB_BASES:.atd) INFER_ATDGEN_STUB_ATDS = $(INFER_ATDGEN_STUB_BASES:.atd)
INFER_ATDGEN_SUFFIXES = $(foreach atd_t,$(INFER_ATDGEN_TYPES),_$(atd_t).ml _$(atd_t).mli) INFER_ATDGEN_SUFFIXES = $(foreach atd_t,$(INFER_ATDGEN_TYPES),_$(atd_t).ml _$(atd_t).mli)

10
infer/src/atd/java_method_decl.atd
Unescape View File

@ -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
Write Preview
Loading…
Cancel
Save