sawja 1.5.11 · OCaml Package

type typ =

| Top
| Top32
| Top64
| Int
| Float
| Double
| Long
| Object
| Array of Javalib_pack.JBasics.value_type
| Null

type t = typ list * typ Javalib_pack.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 conv : Javalib_pack.JBasics.value_type -> typ

val print_typ : typ -> string

val print : (typ list * typ Javalib_pack.Ptmap.t) -> string

exception BadLoadType

val to_value_type : typ -> Javalib_pack.JBasics.value_type

exception GetNotFound

val get : typ Javalib_pack.Ptmap.t -> int -> typ

val upd : 'a Javalib_pack.Ptmap.t -> int -> 'a -> 'a Javalib_pack.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 leq_value_type : 
  Javalib_pack.JBasics.value_type ->
  Javalib_pack.JBasics.value_type ->
  bool

val leq_object_type : 
  Javalib_pack.JBasics.object_type ->
  Javalib_pack.JBasics.object_type ->
  bool

val (<=) : typ -> typ -> bool

val lub_value_type : 
  Javalib_pack.JBasics.value_type ->
  Javalib_pack.JBasics.value_type ->
  Javalib_pack.JBasics.value_type option

val lub_object_type : 
  Javalib_pack.JBasics.object_type ->
  Javalib_pack.JBasics.object_type ->
  Javalib_pack.JBasics.object_type

val next : 
  int ->
  Javalib_pack.JCode.jopcode ->
  (typ list * typ Javalib_pack.Ptmap.t) ->
  typ list * typ Javalib_pack.Ptmap.t

val init : 
  'a Javalib_pack.Javalib.concrete_method ->
  'b list * typ Javalib_pack.Ptmap.t

val lub : 
  (typ list * typ Javalib_pack.Ptmap.t) ->
  (typ list * typ Javalib_pack.Ptmap.t) ->
  typ list * typ Javalib_pack.Ptmap.t

val print_instr : int -> Javalib_pack.JCode.jopcode -> string

val print_result : 
  'a Javalib_pack.Javalib.concrete_method ->
  (typ list * typ Javalib_pack.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)

package sawja