From 6c1339d04409e57d2adb83e5d46eea953be091b5 Mon Sep 17 00:00:00 2001 From: Daniel Wagner-Hall Date: Mon, 13 Mar 2017 05:00:27 -0700 Subject: [PATCH] Mark JavaFileObject#getAccessLevel as nullable Reviewed By: cristianoc Differential Revision: D4689769 fbshipit-source-id: affda05 --- infer/src/eradicate/modelTables.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/infer/src/eradicate/modelTables.ml b/infer/src/eradicate/modelTables.ml index e5c56fce2..ad95aee57 100644 --- a/infer/src/eradicate/modelTables.ml +++ b/infer/src/eradicate/modelTables.ml @@ -181,6 +181,7 @@ let annotated_list_nullable = o3, "javax.lang.model.util.Types.getDeclaredType(javax.lang.model.type.DeclaredType, javax.lang.model.element.TypeElement, javax.lang.model.type.TypeMirror[]):javax.lang.model.type.DeclaredType"; o2, "javax.lang.model.util.Types.asMemberOf(javax.lang.model.type.DeclaredType, javax.lang.model.element.Element):javax.lang.model.type.TypeMirror"; n3, "javax.tools.JavaCompiler.getStandardFileManager(javax.tools.DiagnosticListener,java.util.Locale,java.nio.charset.Charset):javax.tools.StandardJavaFileManager"; + ng, "javax.tools.JavaFileObject.getAccessLevel():javax.lang.model.element.Modifier"; o2, "com.sun.source.util.SourcePositions.getStartPosition(com.sun.source.tree.CompilationUnitTree, com.sun.source.tree.Tree):long"; o2, "com.sun.source.util.SourcePositions.getEndPosition(com.sun.source.tree.CompilationUnitTree, com.sun.source.tree.Tree):long"; (n, [o; o]), "com.sun.source.util.TreePath.getPath(com.sun.source.tree.CompilationUnitTree, com.sun.source.tree.Tree):com.sun.source.util.TreePath";