diff --git a/infer/src/clang/cFrontend_utils.mli b/infer/src/clang/cFrontend_utils.mli index d85785722..1a9fe6c1b 100644 --- a/infer/src/clang/cFrontend_utils.mli +++ b/infer/src/clang/cFrontend_utils.mli @@ -137,36 +137,34 @@ sig val exists_eventually_st : ('a -> Clang_ast_t.stmt -> bool) -> 'a -> Clang_ast_t.stmt -> bool - (* true if a declaration is a global variable *) + (** true if a declaration is a global variable *) val is_global_var : Clang_ast_t.decl -> bool - (* true if a declaration is a constexpr variable *) + (** true if a declaration is a constexpr variable *) val is_const_expr_var : Clang_ast_t.decl -> bool - (* true if CFrontend_config.language is set ot ObjC *) + (** true if CFrontend_config.language is set ot ObjC *) val is_objc : unit -> bool - (* true if CFrontend_config.language is set ot ObjC *) + (** true if CFrontend_config.language is set ot ObjC *) val is_objcpp : unit -> bool val is_ptr_to_objc_class : Clang_ast_t.c_type option -> string -> bool val full_name_of_decl_opt : Clang_ast_t.decl option -> string - (* Generates a key for a statement based on its sub-statements and the statement tag. *) + (** Generates a key for a statement based on its sub-statements and the statement tag. *) val generate_key_stmt : Clang_ast_t.stmt -> string - (* Generates a key for a declaration based on its name and the declaration tag. *) + (** Generates a key for a declaration based on its name and the declaration tag. *) val generate_key_decl : Clang_ast_t.decl -> string - (* Given an objc impl or interface decl, returns the objc interface decl of + (** Given an objc impl or interface decl, returns the objc interface decl of the superclass, if any. *) val get_super_if : Clang_ast_t.decl option -> Clang_ast_t.decl option - (* - * Given an objc impl decl info, return the super class's list of decls and - * its objc impl decl info. - *) + (** Given an objc impl decl info, return the super class's list of decls and + its objc impl decl info. *) val get_super_impl : Clang_ast_t.obj_c_implementation_decl_info -> (Clang_ast_t.decl list *