package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type p_instr = Bir.instr
type p_code = t
type p_handler = exception_handler
val iter_code : (int -> Bir.instr list -> unit) -> t -> unit
val iter_exc_handler : (Bir.exception_handler -> unit) -> t -> unit
val method_param_names : t Javalib_pack.Javalib.interface_or_class -> Javalib_pack.JBasics.method_signature -> string list option
val exc_handler_html : 'a -> 'b -> 'c -> Bir.exception_handler -> JPrintHtml.elem