Module `Absint.AndroidFramework`

val drawable_prefix : string: prefix for Drawable fields in generated resources

val is_autocloseable : IR.Tenv.t -> IR.Typ.Name.t -> bool
val is_view : IR.Tenv.t -> IR.Typ.Name.t -> bool: return true if typename <: android.view.View

val is_fragment : IR.Tenv.t -> IR.Typ.Name.t -> bool
val is_destroy_method : IR.Procname.t -> bool: return true if procname is a special lifecycle cleanup method