package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
val iter_code : (int -> Bir.instr list -> unit) -> Bir.bir Lazy.t -> unit
val method_param_names : t Javalib_pack.Javalib.interface_or_class -> Javalib_pack.JBasics.method_signature -> string list option
type p_code = t
type p_instr = instr
type p_expr = expr
val inst_disp' : (instr -> string) -> int -> t -> string
val get_source_line_number : int -> t -> int option
val inst_disp : int -> t -> string