Module JavaFrontend.JTransExn
val create_exception_handlers : JContext.t -> IR.Procdesc.Node.t list -> (int -> IR.Procdesc.Node.t list) -> Sawja_pack.JBir.t -> int -> IR.Procdesc.Node.t list
JavaFrontend.JTransExnval create_exception_handlers : JContext.t -> IR.Procdesc.Node.t list -> (int -> IR.Procdesc.Node.t list) -> Sawja_pack.JBir.t -> int -> IR.Procdesc.Node.t list