package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type typ =
  1. | Top
  2. | Top32
  3. | Top64
  4. | Int
  5. | Float
  6. | Double
  7. | Long
  8. | Object
  9. | Array of Javalib_pack.JBasics.value_type
  10. | Null
type t = typ list * typ Ptmap.t
val conv_array_type : [< `ByteBool | `Char | `Double | `Float | `Int | `Int2Bool | `Long | `Object | `Short ] -> typ
val type_of_array_type : [< `ByteBool | `Char | `Double | `Float | `Int | `Int2Bool | `Long | `Object | `Short ] -> Javalib_pack.JBasics.value_type
val print_typ : typ -> string
val print : (typ list * typ Ptmap.t) -> string
exception BadLoadType
val to_value_type : typ -> Javalib_pack.JBasics.value_type
exception GetNotFound
val get : typ Ptmap.t -> int -> typ
val upd : 'a Ptmap.t -> int -> 'a -> 'a Ptmap.t
exception ArrayContent
val array_content : int -> [< `ByteBool | `Char | `Double | `Float | `Int | `Int2Bool | `Long | `Object | `Short ] -> typ -> typ
val basic : [< `Double | `Float | `Int2Bool | `Long ] -> typ
val size : typ -> op_size
val is32_basic : [< `Bool | `Byte | `Char | `Double | `Float | `Int | `Long | `Short ] -> bool
val (<=) : typ -> typ -> bool
val next : int -> Javalib_pack.JCode.jopcode -> (typ list * typ Ptmap.t) -> typ list * typ Ptmap.t
val lub : (typ list * typ Ptmap.t) -> (typ list * typ Ptmap.t) -> typ list * typ Ptmap.t
val print_instr : int -> Javalib_pack.JCode.jopcode -> string
val print_result : 'a Javalib_pack.Javalib.concrete_method -> (typ list * typ Ptmap.t) option array -> Javalib_pack.JCode.jcode -> unit
val array_type_to_value_type : [< `Double | `Float | `Int2Bool | `Long | `Object ] -> Javalib_pack.JBasics.value_type
val run_dummy : Javalib_pack.JCode.jcode -> ('a -> bool) * (int -> Javalib_pack.JBasics.value_type) * ([< `ByteBool | `Char | `Double | `Float | `Int | `Int2Bool | `Long | `Object | `Short ] -> 'b -> Javalib_pack.JBasics.value_type)
val run : bool -> ?verbose:bool -> 'a Javalib_pack.Javalib.concrete_method -> Javalib_pack.JCode.jcode -> (int -> bool) * (int -> Javalib_pack.JBasics.value_type) * ([< `ByteBool | `Char | `Double | `Float | `Int | `Int2Bool | `Long | `Object | `Short ] -> int -> Javalib_pack.JBasics.value_type)
OCaml

Innovation. Community. Security.