Module ClangFrontend.CField_decl

type field_type = IR.Fieldname.t * IR.Typ.t * (IR.Annot.t * bool) list
val get_fields : CAst_utils.qual_type_to_sil_type -> IR.Tenv.t -> IR.Typ.Name.t -> ATDGenerated.Clang_ast_t.decl list -> field_type list
val fields_superclass : IR.Tenv.t -> ATDGenerated.Clang_ast_t.obj_c_interface_decl_info -> field_type list
val add_missing_fields : IR.Tenv.t -> IR.QualifiedCppName.t -> field_type list -> unit
val modelled_field : ATDGenerated.Clang_ast_t.named_decl_info -> field_type list