[infer][java] fix comments for Annotations.annot_ends_with

Summary: The comment was not clear

Reviewed By: jberdine

Differential Revision: D4345705

fbshipit-source-id: 49c4615
master
Jeremy Dubreil 8 years ago committed by Facebook Github Bot
parent 06e0f6fbc9
commit 0cb69c5a6a

@ -48,7 +48,8 @@ let ia_has_annotation_with
ia;
!found
(** Return true if [annot] ends with [ann_name], ignoring the package name *)
(** [annot_ends_with annot ann_name] returns true if the class name of [annot], without the package,
is equal to [ann_name] *)
let annot_ends_with annot ann_name =
match String.rsplit2 annot.Annot.class_name ~on:'.' with
| None -> String.equal annot.Annot.class_name ann_name

@ -54,7 +54,8 @@ val get_annotated_signature : ProcAttributes.t -> annotated_signature
val nullable : string
(** Return true if [annot] ends with [ann_name] *)
(** [annot_ends_with annot ann_name] returns true if the class name of [annot], without the package,
is equal to [ann_name] *)
val annot_ends_with : Annot.t -> string -> bool
(** Check if there is an annotation in [ia] which ends with the given name *)

Loading…
Cancel
Save