ClangFrontend.ObjcCategory_declIn this module an ObjC category declaration or implementation is processed. The category
is saved in the tenv as a struct with the corresponding fields and methods , and the class it belongs to
val category_decl :
CAst_utils.qual_type_to_sil_type ->
CAst_utils.procname_from_decl ->
IR.Tenv.t ->
ATDGenerated.Clang_ast_t.decl ->
IR.Typ.descval category_impl_decl :
CAst_utils.qual_type_to_sil_type ->
CAst_utils.procname_from_decl ->
IR.Tenv.t ->
ATDGenerated.Clang_ast_t.decl ->
IR.Typ.descval get_base_class_name_from_category :
ATDGenerated.Clang_ast_t.decl ->
IR.Typ.Name.t option