Module `Procname.ObjC_Cpp`

type kind = | CPPMethod of { mangled : string option; } | CPPConstructor of { mangled : string option; } | CPPDestructor of { mangled : string option; } | ObjCClassMethod | ObjCInstanceMethod | ObjCInternalMethod

val compare_kind : kind -> kind -> int

type t = { class_name : Typ.Name.t; kind : kind; method_name : string; parameters : Parameter.clang_parameter list; template_args : Typ.template_spec_info; }: Type of Objective C and C++ procedure names: method signatures.

val compare : t -> t -> int

val make : Typ.Name.t -> string -> kind -> Typ.template_spec_info -> Parameter.clang_parameter list -> t: Create an objc procedure name from a class_name and method_name.

val get_class_name : t -> string
val get_class_type_name : t -> Typ.Name.t
val get_class_qualifiers : t -> QualifiedCppName.t
val objc_method_kind_of_bool : bool -> kind: Create ObjC method type from a bool is_instance.

val is_objc_constructor : string -> bool: Check if this is a constructor method in Objective-C.

val is_objc_dealloc : string -> bool: Check if this is a dealloc method in Objective-C.

val is_destructor : t -> bool: Check if this is a dealloc method.

val is_inner_destructor : t -> bool: Check if this is a frontend-generated "inner" destructor (see D5834555/D7189239)