JavaFrontend.JAnnotation
val translate_item :
(Javalib_pack.JBasics.annotation * Javalib_pack.Javalib.visibility) list ->
IR.Annot.Item.t
Translate an item annotation.
val translate_method :
Javalib_pack.Javalib.method_annotations ->
IR.Annot.Item.t * IR.Annot.Item.t list
Translate annotations for a method.