You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
251 lines
18 KiB
251 lines
18 KiB
(*
|
|
* Copyright (c) 2015 - present Facebook, Inc.
|
|
* All rights reserved.
|
|
*
|
|
* This source code is licensed under the BSD style license found in the
|
|
* LICENSE file in the root directory of this source tree. An additional grant
|
|
* of patent rights can be found in the PATENTS file in the same directory.
|
|
*)
|
|
|
|
open! Utils
|
|
|
|
(*
|
|
* This file is a big bunch of tables; they read better with really long lines.
|
|
* @nolint
|
|
*)
|
|
|
|
(* in strict mode cannot insert null in containers *)
|
|
let strict_containers = false
|
|
|
|
(* in strict mode, give an error if a nullable is passed to checkNotNull *)
|
|
let check_not_null_strict = false
|
|
|
|
let o = false and n = true (* o is not annotated and n is annotated with @Nullable *)
|
|
let o1 = (o, [o]) (* not annotated with one argument *)
|
|
let o2 = (o, [o; o]) (* not annotated with two arguments *)
|
|
let o3 = (o, [o; o; o;]) (* not annotated with three arguments *)
|
|
let n1 = (o, [n]) (* one argument nullable *)
|
|
let n2 = (o, [n; n]) (* two arguments nullable *)
|
|
let n3 = (o, [n; n; n]) (* three arguments nullable *)
|
|
let on = (o, [o; n]) (* the second argument is nullable *)
|
|
let ca = if strict_containers then (o, [o]) else (o, [n]) (* container add *)
|
|
let cg = if strict_containers then (n, [o]) else (n, [n]) (* container get *)
|
|
let cp = if strict_containers then (n, [o; o]) else (n, [n; n]) (* container put *)
|
|
let ng = (n, []) (* Nullable getter *)
|
|
|
|
let check_not_null_parameter_list, check_not_null_list =
|
|
let x = if check_not_null_strict then o else n in
|
|
let list =
|
|
[
|
|
1, (o, [x; n]), "com.facebook.common.internal.Preconditions.checkNotNull(java.lang.Object,java.lang.Object):java.lang.Object";
|
|
1, (o, [x; n; n]), "com.facebook.common.internal.Preconditions.checkNotNull(java.lang.Object,java.lang.String,java.lang.Object[]):java.lang.Object";
|
|
1, (o, [x]), "com.facebook.common.internal.Preconditions.checkNotNull(java.lang.Object):java.lang.Object";
|
|
1, (o, [x; n]), "com.google.common.base.Preconditions.checkNotNull(java.lang.Object,java.lang.Object):java.lang.Object";
|
|
1, (o, [x; n; n]), "com.google.common.base.Preconditions.checkNotNull(java.lang.Object,java.lang.String,java.lang.Object[]):java.lang.Object";
|
|
1, (o, [x]), "com.google.common.base.Preconditions.checkNotNull(java.lang.Object):java.lang.Object";
|
|
1, (o, [x]), "org.junit.Assert.assertNotNull(java.lang.Object):void";
|
|
2, (o, [n; x]), "org.junit.Assert.assertNotNull(java.lang.String,java.lang.Object):void";
|
|
1, (o, [n]), "com.facebook.infer.annotation.Assertions.assertNotNull(java.lang.Object):java.lang.Object";
|
|
1, (o, [n; o]), "com.facebook.infer.annotation.Assertions.assertNotNull(java.lang.Object,java.lang.String):java.lang.Object";
|
|
1, (o, [n]), "com.facebook.infer.annotation.Assertions.assumeNotNull(java.lang.Object):java.lang.Object";
|
|
1, (o, [n; o]), "com.facebook.infer.annotation.Assertions.assumeNotNull(java.lang.Object,java.lang.String):java.lang.Object";
|
|
] in
|
|
IList.map (fun (x, _, z) -> (x, z)) list, IList.map (fun (_, y, z) -> (y, z)) list
|
|
|
|
let check_state_list =
|
|
[
|
|
(o, [n]), "Preconditions.checkState(boolean):void";
|
|
(o, [n]), "com.facebook.common.internal.Preconditions.checkState(boolean):void";
|
|
(o, [n; n]), "com.facebook.common.internal.Preconditions.checkState(boolean,java.lang.Object):void";
|
|
(o, [n; n; n]), "com.facebook.common.internal.Preconditions.checkState(boolean,java.lang.String,java.lang.Object[]):void";
|
|
(o, [n]), "com.google.common.base.Preconditions.checkState(boolean):void";
|
|
(o, [n; n]), "com.google.common.base.Preconditions.checkState(boolean,java.lang.Object):void";
|
|
(o, [n; n; n]), "com.google.common.base.Preconditions.checkState(boolean,java.lang.String,java.lang.Object[]):void";
|
|
(o, [n]), "com.facebook.infer.annotation.Assertions.assertCondition(boolean):void";
|
|
(o, [n; o]), "com.facebook.infer.annotation.Assertions.assertCondition(boolean,java.lang.String):void";
|
|
(o, [n]), "com.facebook.infer.annotation.Assertions.assumeCondition(boolean):void";
|
|
(o, [n; o]), "com.facebook.infer.annotation.Assertions.assumeCondition(boolean,java.lang.String):void";
|
|
]
|
|
|
|
let check_argument_list =
|
|
[
|
|
(o, [n]), "com.facebook.common.internal.Preconditions.checkArgument(boolean):void";
|
|
(o, [n; n]), "com.facebook.common.internal.Preconditions.checkArgument(boolean,java.lang.Object):void";
|
|
(o, [n; n; n]), "com.facebook.common.internal.Preconditions.checkArgument(boolean,java.lang.String,java.lang.Object[]):void";
|
|
(o, [n]), "com.google.common.base.Preconditions.checkArgument(boolean):void";
|
|
(o, [n; n]), "com.google.common.base.Preconditions.checkArgument(boolean,java.lang.Object):void";
|
|
(o, [n; n; n]), "com.google.common.base.Preconditions.checkArgument(boolean,java.lang.String,java.lang.Object[]):void";
|
|
]
|
|
|
|
let optional_get_list : ((_ * bool list) * _) list =
|
|
[
|
|
(o, []), "Optional.get():java.lang.Object";
|
|
(o, []), "com.google.common.base.Optional.get():java.lang.Object";
|
|
]
|
|
|
|
let optional_isPresent_list : ((_ * bool list) * _) list =
|
|
[
|
|
(o, []), "Optional.isPresent():boolean";
|
|
(o, []), "com.google.common.base.Optional.isPresent():boolean";
|
|
]
|
|
|
|
(** Models for boolean functions that return true on null. *)
|
|
let true_on_null_list : ((_ * bool list) * _) list =
|
|
[
|
|
n1, "android.text.TextUtils.isEmpty(java.lang.CharSequence):boolean";
|
|
]
|
|
|
|
|
|
(** Models for Map.containsKey *)
|
|
let containsKey_list =
|
|
[
|
|
n1, "com.google.common.collect.ImmutableMap.containsKey(java.lang.Object):boolean";
|
|
n1, "java.util.Map.containsKey(java.lang.Object):boolean";
|
|
]
|
|
|
|
(** Models for Map.put *)
|
|
let mapPut_list =
|
|
[
|
|
cp, "com.google.common.collect.ImmutableMap.put(java.lang.Object,java.lang.Object):java.lang.Object";
|
|
cp, "java.util.Map.put(java.lang.Object,java.lang.Object):java.lang.Object";
|
|
]
|
|
|
|
(** Models for @Strict annotations *)
|
|
let annotated_list_strict =
|
|
[
|
|
(n, [o]), "android.content.Context.getSystemService(java.lang.String):java.lang.Object";
|
|
]
|
|
|
|
(** Models for @Nullable annotations *)
|
|
let annotated_list_nullable =
|
|
check_not_null_list @ check_state_list @ check_argument_list @
|
|
annotated_list_strict @
|
|
[
|
|
n1, "android.os.Parcel.writeList(java.util.List):void";
|
|
n2, "android.os.Parcel.writeParcelable(android.os.Parcelable,int):void";
|
|
n1, "android.os.Parcel.writeString(java.lang.String):void";
|
|
(o, [o; o; n; n; n]), "com.android.sdklib.build.ApkBuilder.<init>(java.io.File,java.io.File,java.io.File,java.lang.String,java.io.PrintStream)";
|
|
(o, [n]), "com.android.manifmerger.ManifestMerger.xmlFileAndLine(org.w3c.dom.Node):com.android.manifmerger.IMergerLog$FileAndLine";
|
|
on, "com.android.util.CommandLineParser$Mode.process(com.android.util.CommandLineParser$Arg,java.lang.String):java.lang.Object";
|
|
on, "com.google.common.base.Objects$ToStringHelper.add(java.lang.String,java.lang.Object):com.google.common.base.Objects$ToStringHelper";
|
|
n2, "com.google.common.base.Objects.equal(java.lang.Object,java.lang.Object):boolean";
|
|
n1, "com.google.common.base.Optional.fromNullable(java.lang.Object):com.google.common.base.Optional";
|
|
(n, []), "com.google.common.base.Optional.orNull():java.lang.Object";
|
|
n1, "com.google.common.base.Strings.nullToEmpty(java.lang.String):java.lang.String";
|
|
cg, "com.google.common.collect.ImmutableMap.get(java.lang.Object):java.lang.Object"; (* container get *)
|
|
o1, "com.google.common.collect.ImmutableList$Builder.add(java.lang.Object):com.google.common.collect.ImmutableList$Builder";
|
|
o1, "com.google.common.collect.ImmutableList$Builder.addAll(java.lang.Iterable):com.google.common.collect.ImmutableList$Builder";
|
|
o1, "com.google.common.collect.ImmutableSortedSet$Builder.add(java.lang.Object):com.google.common.collect.ImmutableSortedSet$Builder";
|
|
on, "com.google.common.collect.Iterables.getFirst(java.lang.Iterable,java.lang.Object):java.lang.Object";
|
|
o1, "com.google.common.util.concurrent.SettableFuture.setException(java.lang.Throwable):boolean";
|
|
o1, "java.io.File.<init>(java.lang.String)";
|
|
n1, "java.io.PrintStream.print(java.lang.String):void";
|
|
(n, [o]), "java.lang.Class.getResource(java.lang.String):java.net.URL";
|
|
o1, "java.lang.Class.isAssignableFrom(java.lang.Class):boolean";
|
|
n1, "java.lang.Integer.equals(java.lang.Object):boolean";
|
|
n2, "java.lang.RuntimeException.<init>(java.lang.String,java.lang.Throwable)";
|
|
n1, "java.lang.String.equals(java.lang.Object):boolean";
|
|
n1, "java.lang.StringBuilder.append(java.lang.String):java.lang.StringBuilder";
|
|
(n, [o]), "java.lang.System.getProperty(java.lang.String):java.lang.String";
|
|
on, "java.net.URLClassLoader.newInstance(java.net.URL[],java.lang.ClassLoader):java.net.URLClassLoader";
|
|
n1, "java.util.AbstractList.equals(java.lang.Object):boolean";
|
|
ca, "java.util.ArrayList.add(java.lang.Object):boolean"; (* container add *)
|
|
ca, "java.util.List.add(java.lang.Object):boolean"; (* container add *)
|
|
cg, "java.util.Map.get(java.lang.Object):java.lang.Object"; (* container get *)
|
|
cp, "java.util.Map.put(java.lang.Object,java.lang.Object):java.lang.Object"; (* container put *)
|
|
(n, [o]), "javax.lang.model.element.Element.getAnnotation(java.lang.Class):java.lang.annotation.Annotation";
|
|
ng, "javax.lang.model.element.Element.getEnclosingElement():javax.lang.model.element.Element";
|
|
ng, "javax.lang.model.element.ExecutableElement.getDefaultValue():javax.lang.model.element.AnnotationValue";
|
|
ng, "javax.lang.model.element.PackageElement.getEnclosingElement():javax.lang.model.element.Element";
|
|
ng, "javax.lang.model.element.VariableElement.getConstantValue():java.lang.Object";
|
|
ng, "javax.lang.model.type.WildcardType.getSuperBound():javax.lang.model.type.TypeMirror";
|
|
(n, [o]), "javax.lang.model.util.Elements.getPackageElement(java.lang.CharSequence):javax.lang.model.element.PackageElement";
|
|
(n, [o]), "javax.lang.model.util.Elements.getTypeElement(java.lang.CharSequence):javax.lang.model.element.TypeElement";
|
|
(n, [o]), "javax.lang.model.util.Elements.getDocComment(javax.lang.model.element.Element):java.lang.String";
|
|
o1, "javax.lang.model.util.Elements.getElementValuesWithDefaults(javax.lang.model.element.AnnotationMirror):java.util.Map";
|
|
o1, "javax.lang.model.util.Elements.isDeprecated(javax.lang.model.element.Element):boolean";
|
|
o1, "javax.lang.model.util.Elements.getBinaryName(javax.lang.model.element.TypeElement):javax.lang.model.element.Name";
|
|
o1, "javax.lang.model.util.Elements.getPackageOf(javax.lang.model.element.Element):javax.lang.model.element.PackageElement";
|
|
o1, "javax.lang.model.util.Elements.getAllMembers(javax.lang.model.element.TypeElement):java.util.List";
|
|
o1, "javax.lang.model.util.Elements.getAllAnnotationMirrors(javax.lang.model.element.Element):java.util.List";
|
|
o2, "javax.lang.model.util.Elements.hides(javax.lang.model.element.Element, javax.lang.model.element.Element):boolean";
|
|
o3, "javax.lang.model.util.Elements.overrides(javax.lang.model.element.ExecutableElement, javax.lang.model.element.ExecutableElement, javax.lang.model.element.TypeElement):boolean";
|
|
o1, "javax.lang.model.util.Types.asElement(javax.lang.model.type.TypeMirror):javax.lang.model.element.Element";
|
|
o2, "javax.lang.model.util.Types.isSameType(javax.lang.model.type.TypeMirror, javax.lang.model.type.TypeMirror):boolean";
|
|
o2, "javax.lang.model.util.Types.isSubtype(javax.lang.model.type.TypeMirror, javax.lang.model.type.TypeMirror):boolean";
|
|
o2, "javax.lang.model.util.Types.isAssignable(javax.lang.model.type.TypeMirror, javax.lang.model.type.TypeMirror):boolean";
|
|
o2, "javax.lang.model.util.Types.contains(javax.lang.model.type.TypeMirror, javax.lang.model.type.TypeMirror):boolean";
|
|
o2, "javax.lang.model.util.Types.isSubsignature(javax.lang.model.type.ExecutableType, javax.lang.model.type.ExecutableType):boolean";
|
|
o1, "javax.lang.model.util.Types.directSupertypes(javax.lang.model.type.TypeMirror):java.util.List";
|
|
o1, "javax.lang.model.util.Types.erasure(javax.lang.model.type.TypeMirror):javax.lang.model.type.TypeMirror";
|
|
o1, "javax.lang.model.util.Types.boxedClass(javax.lang.model.type.PrimitiveType):javax.lang.model.element.TypeElement";
|
|
o1, "javax.lang.model.util.Types.unboxedType(javax.lang.model.type.TypeMirror):javax.lang.model.type.PrimitiveType";
|
|
o1, "javax.lang.model.util.Types.capture(javax.lang.model.type.TypeMirror):javax.lang.model.type.TypeMirror";
|
|
o1, "javax.lang.model.util.Types.getArrayType(javax.lang.model.type.TypeMirror):javax.lang.model.type.ArrayType";
|
|
o2, "javax.lang.model.util.Types.getWildcardType(javax.lang.model.type.TypeMirror, javax.lang.model.type.TypeMirror):javax.lang.model.type.WildcardType";
|
|
o2, "javax.lang.model.util.Types.getDeclaredType(javax.lang.model.element.TypeElement, javax.lang.model.type.TypeMirror[]):javax.lang.model.type.DeclaredType";
|
|
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";
|
|
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";
|
|
(n, [o; o]), "com.sun.source.util.TreePath.getPath(com.sun.source.util.TreePath, com.sun.source.tree.Tree):com.sun.source.util.TreePath";
|
|
(n, [o]), "com.sun.source.util.Trees.getTree(javax.lang.model.element.Element):com.sun.source.tree.Tree";
|
|
(n, [o]), "com.sun.source.util.Trees.getTree(javax.lang.model.element.TypeElement):com.sun.source.tree.ClassTree";
|
|
(n, [o]), "com.sun.source.util.Trees.getTree(javax.lang.model.element.ExecutableElement):com.sun.source.tree.MethodTree";
|
|
(n, [o; o]), "com.sun.source.util.Trees.getTree(javax.lang.model.element.Element, javax.lang.model.element.AnnotationMirror):com.sun.source.tree.Tree";
|
|
(n, [o; o; o]), "com.sun.source.util.Trees.getTree(javax.lang.model.element.Element, javax.lang.model.element.AnnotationMirror, javax.lang.model.element.AnnotationValue):com.sun.source.tree.Tree";
|
|
o2, "com.sun.source.util.Trees.getPath(com.sun.source.tree.CompilationUnitTree, com.sun.source.tree.Tree):com.sun.source.util.TreePath";
|
|
(n, [o]), "com.sun.source.util.Trees.getPath(javax.lang.model.element.Element):com.sun.source.util.TreePath";
|
|
(n, [o; o]), "com.sun.source.util.Trees.getPath(javax.lang.model.element.Element, javax.lang.model.element.AnnotationMirror):com.sun.source.util.TreePath";
|
|
(n, [o; o; o]), "com.sun.source.util.Trees.getPath(javax.lang.model.element.Element, javax.lang.model.element.AnnotationMirror, javax.lang.model.element.AnnotationValue):com.sun.source.util.TreePath";
|
|
(n, [o]), "com.sun.source.util.Trees.getElement(com.sun.source.util.TreePath):javax.lang.model.element.Element";
|
|
(n, [o]), "com.sun.source.util.Trees.getTypeMirror(com.sun.source.util.TreePath):javax.lang.model.type.TypeMirror";
|
|
(n, [o]), "com.sun.source.util.Trees.getScope(com.sun.source.util.TreePath):com.sun.source.tree.Scope";
|
|
(n, [o]), "com.sun.source.util.Trees.getDocComment(com.sun.source.util.TreePath):java.lang.String";
|
|
o2, "com.sun.source.util.Trees.isAccessible(com.sun.source.tree.Scope, javax.lang.model.element.TypeElement):boolean";
|
|
o3, "com.sun.source.util.Trees.isAccessible(com.sun.source.tree.Scope, javax.lang.model.element.Element, javax.lang.model.type.DeclaredType):boolean";
|
|
o1, "com.sun.source.util.Trees.getOriginalType(javax.lang.model.type.ErrorType):javax.lang.model.type.TypeMirror";
|
|
(o, [o; o; o; o]), "com.sun.source.util.Trees.printMessage(javax.tools.Diagnostic.Kind, java.lang.CharSequence, com.sun.source.tree.Tree, com.sun.source.tree.CompilationUnitTree):void";
|
|
o1, "com.sun.source.util.Trees.getLub(com.sun.source.tree.CatchTree):javax.lang.model.type.TypeMirror";
|
|
(n, [o; n; n]), "org.w3c.dom.Document.setUserData(java.lang.String,java.lang.Object,org.w3c.dom.UserDataHandler):java.lang.Object";
|
|
(n, [o; n; n]), "org.w3c.dom.Node.setUserData(java.lang.String,java.lang.Object,org.w3c.dom.UserDataHandler):java.lang.Object";
|
|
|
|
(* References *)
|
|
ng, "java.lang.ref.Reference.get():java.lang.Object";
|
|
ng, "java.lang.ref.PhantomReference.get():java.lang.Object";
|
|
ng, "java.lang.ref.SoftReference.get():java.lang.Object";
|
|
ng, "java.lang.ref.WeakReference.get():java.lang.Object";
|
|
ng, "java.util.concurrent.atomic.AtomicReference.get():java.lang.Object";
|
|
]
|
|
|
|
(** Models for @Present annotations *)
|
|
let annotated_list_present =
|
|
[
|
|
(n, [o]), "Optional.of(java.lang.Object):Optional";
|
|
(n, [o]), "com.google.common.base.Optional.of(java.lang.Object):com.google.common.base.Optional";
|
|
]
|
|
|
|
type model_table_t = (string, bool * bool list) Hashtbl.t
|
|
|
|
let mk_table list =
|
|
let map = Hashtbl.create 1 in
|
|
IList.iter (function (v, pn_id) -> Hashtbl.replace map pn_id v) list;
|
|
map
|
|
|
|
let this_file = __FILE__
|
|
|
|
let annotated_table_nullable = mk_table annotated_list_nullable
|
|
let annotated_table_present = mk_table annotated_list_present
|
|
let annotated_table_strict = mk_table annotated_list_strict
|
|
let check_not_null_table, check_not_null_parameter_table =
|
|
mk_table check_not_null_list, mk_table check_not_null_parameter_list
|
|
let check_state_table = mk_table check_state_list
|
|
let check_argument_table = mk_table check_argument_list
|
|
let containsKey_table = mk_table containsKey_list
|
|
let mapPut_table = mk_table mapPut_list
|
|
let optional_get_table = mk_table optional_get_list
|
|
let optional_isPresent_table = mk_table optional_isPresent_list
|
|
let true_on_null_table = mk_table true_on_null_list
|