Java (infer.Absint.PatternMatch.Java)

val implements : string -> IR.Tenv.t -> string -> bool

Check whether class implements a given Java class

val implements_one_of : string list -> IR.Tenv.t -> string -> bool

Check whether class implements at least one of the given Java classes

val implements_android : string -> IR.Tenv.t -> string -> bool

Check whether class implements a class of Android

val implements_androidx_map : IR.Tenv.t -> string -> bool

Check whether class implements a AndroidX's Map

val implements_app_activity : IR.Tenv.t -> string -> bool

Check whether class implements a class of android.app.Activity

val implements_app_fragment : IR.Tenv.t -> string -> bool

Check whether class implements a class of androidx.fragment.app.Fragment

val implements_arrays : IR.Tenv.t -> string -> bool

Check whether class implements Java's Arrays

val implements_collection : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Collection

val implements_collections : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Collections

val implements_enumeration : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Enumeration

val implements_google : string -> IR.Tenv.t -> string -> bool

Check whether class implements a class of Google

val implements_graphql_story : IR.Tenv.t -> string -> bool

Check whether class implements a class of com.facebook.graphql.model.GraphQLStory

val implements_infer_annotation : string -> IR.Tenv.t -> string -> bool

Check whether class implements a class of Infer annotation

val implements_inject : string -> IR.Tenv.t -> string -> bool

Check whether class implements a Javax Inject

val implements_io : string -> IR.Tenv.t -> string -> bool

Check whether class implements a Java IO

val implements_iterable : IR.Tenv.t -> string -> bool

Check whether class implements Java's Iterable

val implements_iterator : IR.Tenv.t -> string -> bool

Check whether class implements Java's Iterator

val implements_jackson : string -> IR.Tenv.t -> string -> bool

Check whether class implements a class from Jackson

val implements_kotlin_intrinsics : IR.Tenv.t -> string -> bool

Check whether class implements kotlin.jvm.internal.Intrinsics

val implements_lang : string -> IR.Tenv.t -> string -> bool

Check whether class implements a Java's lang

val implements_list : IR.Tenv.t -> string -> bool

Check whether class implements a Java's list

val implements_map : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Map

val implements_map_entry : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Map$Entry

val implements_math : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Math

val implements_nio : string -> IR.Tenv.t -> string -> bool

Check whether class implements a Java nio

val implements_number : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Number

val implements_org_json : string -> IR.Tenv.t -> string -> bool

Check whether class implements a class from Json

val implements_pseudo_collection : IR.Tenv.t -> string -> bool

Check whether class implements a pseudo Collection with support for get() and size() methods

val implements_psi_element : IR.Tenv.t -> string -> bool

Check whether class implements a class of com.intellij.psi.PsiElement

val implements_queue : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Queue

val implements_regex : string -> IR.Tenv.t -> string -> bool

Check whether class implements a class of java.util.regex

val implements_set : IR.Tenv.t -> string -> bool

Check whether class implements a Java's Set

val implements_sparse_float_array : IR.Tenv.t -> string -> bool

Check whether class implements a class of com.facebook.litho.internal.SparseFloatArray

val implements_system : IR.Tenv.t -> string -> bool

Check whether class implements a Java's System

val implements_view_group : IR.Tenv.t -> string -> bool

Check whether class implements a class of android.view.ViewGroup

val implements_view_parent : IR.Tenv.t -> string -> bool

Check whether class implements a class of android.view.ViewParent

val implements_xmob_utils : string -> IR.Tenv.t -> string -> bool

Check whether class implements a class of xmod.utils

val is_throwable : IR.Tenv.t -> IR.Typ.Name.t -> bool

is_throwable tenv class_name checks if class_name is of type java.lang.Throwable

val is_enum : IR.Tenv.t -> IR.Typ.Name.t -> bool

Checks if the type is Java enum (extends java.lang.Enum)

val check_class_attributes : 
  (IR.Annot.Item.t -> bool) ->
  IR.Tenv.t ->
  IR.Procname.t ->
  bool

tests whether any class attributes (e.g., @ThreadSafe) pass check of first argument, including supertypes

val check_current_class_attributes : 
  (IR.Annot.Item.t -> bool) ->
  IR.Tenv.t ->
  IR.Procname.t ->
  bool

tests whether any class attributes (e.g., @ThreadSafe) pass check of first argument, for current class only

val find_superclasses_with_attributes : 
  (IR.Annot.Item.t -> bool) ->
  IR.Tenv.t ->
  IR.Typ.Name.t ->
  IR.Typ.Name.t list

find superclasss with attributes (e.g., @ThreadSafe), including current class