val var_orig : var -> boolval var_name : var -> stringval var_name_debug : var -> string optionval var_name_g : var -> stringval bc_num : var -> int optionval index : var -> intval var_ssa_index : var -> intmodule VarSet : sig ... endmodule VarMap : sig ... endtype const = JBir.consttype unop = | Neg of Javalib_pack.JBasics.jvm_basic_type| Conv of conv| ArrayLength| InstanceOf of Javalib_pack.JBasics.object_type| Cast of Javalib_pack.JBasics.object_typetype binop = | ArrayLoad of Javalib_pack.JBasics.value_type| Add of Javalib_pack.JBasics.jvm_basic_type| Sub of Javalib_pack.JBasics.jvm_basic_type| Mult of Javalib_pack.JBasics.jvm_basic_type| Div of Javalib_pack.JBasics.jvm_basic_type| Rem of Javalib_pack.JBasics.jvm_basic_type| IShl| IShr| IAnd| IOr| IXor| IUshr| LShl| LShr| LAnd| LOr| LXor| LUshr| CMP of comptype expr = | Const of const| Var of Javalib_pack.JBasics.value_type * var| Unop of unop * expr| Binop of binop * expr * expr| Field of expr
* Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.field_signature| StaticField of Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.field_signatureval default_formula_cmd : Javalib_pack.JBasics.class_method_signature listval type_of_expr : expr -> Javalib_pack.JBasics.value_typetype virtual_call_kind = | VirtualCall of Javalib_pack.JBasics.object_type| InterfaceCall of Javalib_pack.JBasics.class_nametype check = | CheckNullPointer of expr| CheckArrayBound of expr * expr| CheckArrayStore of expr * expr| CheckNegativeArraySize of expr| CheckCast of expr * Javalib_pack.JBasics.object_type| CheckArithmetic of expr| CheckLink of Javalib_pack.JCode.jopcodetype instr = | Nop| AffectVar of var * expr| AffectArray of expr * expr * expr| AffectField of expr
* Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.field_signature
* expr| AffectStaticField of Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.field_signature
* expr| Goto of int| Ifd of [ `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] * expr * expr * int| Throw of expr| Return of expr option| New of var
* Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.value_type list
* expr list| NewArray of var * Javalib_pack.JBasics.value_type * expr list| InvokeStatic of var option
* Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.method_signature
* expr list| InvokeVirtual of var option
* expr
* virtual_call_kind
* Javalib_pack.JBasics.method_signature
* expr list| InvokeNonVirtual of var option
* expr
* Javalib_pack.JBasics.class_name
* Javalib_pack.JBasics.method_signature
* expr list| MonitorEnter of expr| MonitorExit of expr| MayInit of Javalib_pack.JBasics.class_name| Check of check| Formula of Javalib_pack.JBasics.class_method_signature * formulatype exception_handler = {e_start : int;e_end : int;e_handler : int;e_catch_type : Javalib_pack.JBasics.class_name option;e_catch_var : var;}val empty : tval vars : t -> var Javalib_pack.Ptmap.tval ssa_index : t -> int * intval params : t -> (Javalib_pack.JBasics.value_type * var) listval exc_tbl : t -> exception_handler listval preds : t -> int array arrayval line_number_table : t -> (int * int) list optionval pc_ir2bc : t -> int arrayval jump_target : t -> bool arrayval exception_edges : t -> (int * exception_handler) listval get_source_line_number : int -> t -> int optionval print_handler : exception_handler -> stringval print_expr : ?show_type:bool -> expr -> stringval print_instr : ?show_type:bool -> instr -> stringval print_phi_node : ?phi_simpl:bool -> phi_node -> stringval print_phi_nodes : ?phi_simpl:bool -> phi_node list -> stringval print : ?phi_simpl:bool -> t -> string listval print_program :
?css:string ->
?js:string ->
?info:JPrintHtml.info ->
t JProgram.program ->
string ->
unitval print_class :
?css:string ->
?js:string ->
?info:JPrintHtml.info ->
t Javalib_pack.Javalib.interface_or_class ->
string ->
unitmodule PluginPrinter : sig ... endval transform :
?bcv:bool ->
?ch_link:bool ->
Javalib_pack.JCode.jcode Javalib_pack.Javalib.concrete_method ->
Javalib_pack.JCode.jcode ->
t