CMethodProperties (infer.ClangFrontend.CMethodProperties)

val get_method_kind : ATDGenerated.Clang_ast_t.decl -> IR.ClangMethodKind.t

val is_inside_objc_class_method : ATDGenerated.Clang_ast_t.decl -> bool

val get_return_type : 
  ATDGenerated.Clang_ast_t.decl ->
  ATDGenerated.Clang_ast_t.qual_type

val get_param_decls : 
  ATDGenerated.Clang_ast_t.decl ->
  ATDGenerated.Clang_ast_t.decl list

val get_method_body : 
  ATDGenerated.Clang_ast_t.decl ->
  ATDGenerated.Clang_ast_t.stmt option

val get_point_of_instantiation : 
  ATDGenerated.Clang_ast_t.decl ->
  ATDGenerated.Clang_ast_t.source_location option

val is_cpp_lambda_call_operator : ATDGenerated.Clang_ast_t.decl -> bool

val is_cpp_const_member_fun : ATDGenerated.Clang_ast_t.decl -> bool

val is_cpp_virtual : ATDGenerated.Clang_ast_t.decl -> bool

val is_cpp_copy_assignment : ATDGenerated.Clang_ast_t.decl -> bool

val is_cpp_copy_ctor : ATDGenerated.Clang_ast_t.decl -> bool

val is_cpp_move_ctor : ATDGenerated.Clang_ast_t.decl -> bool

val is_static_ctor : ATDGenerated.Clang_ast_t.decl -> bool

val is_cpp_deleted : ATDGenerated.Clang_ast_t.decl -> bool

val is_constexpr : ATDGenerated.Clang_ast_t.decl -> bool

val get_init_list_instrs : 
  ATDGenerated.Clang_ast_t.decl ->
  CFrontend_config.instr_type list

val get_pointer_to_property : 
  ATDGenerated.Clang_ast_t.decl ->
  ATDGenerated.Clang_ast_t.pointer option

val is_no_return : ATDGenerated.Clang_ast_t.decl -> bool

val is_variadic : ATDGenerated.Clang_ast_t.decl -> bool

val get_block_captured_variables : 
  ATDGenerated.Clang_ast_t.decl ->
  ATDGenerated.Clang_ast_t.block_captured_variable list