Module Absint.AndroidFramework

Android lifecycle types and their lifecycle methods that are called by the framework

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