javalib

Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files
IN THIS PACKAGE
Module Javalib_pack . JPrint
val class_name : ?jvm:bool -> JBasics.class_name -> string
val cn_package : JBasics.class_name -> string
val cn_simple_name : JBasics.class_name -> string
val java_basic_type : ?jvm:bool -> JBasics.java_basic_type -> string
val object_type : ?jvm:bool -> JBasics.object_type -> string
val value_type : ?jvm:bool -> JBasics.value_type -> string
val field_descriptor : ?jvm:bool -> JBasics.value_type -> string
val value_type_list : ?jvm:bool -> ?names:string list -> JBasics.value_type list -> string
val return_type : ?jvm:bool -> JBasics.value_type option -> string
val method_descriptor : ?jvm:bool -> JBasics.value_type list -> JBasics.value_type option -> string
val method_signature : ?jvm:bool -> ?callee:JBasics.object_type -> ?param_names:string list -> JBasics.method_signature -> string
val class_method_signature : ?jvm:bool -> ?param_names:string list -> JBasics.class_method_signature -> string
val field_signature : ?jvm:bool -> ?declared_in:JBasics.class_name -> JBasics.field_signature -> string
val class_field_signature : ?jvm:bool -> JBasics.class_field_signature -> string
val signature : ?jvm:bool -> string -> JBasics.descriptor -> string
val constant : JBasics.constant -> string
val constant_pool : JBasics.constant array -> string
val stack_map : (int * JBasics.verification_type list * JBasics.verification_type list) -> string
val exception_handler : JCode.exception_handler -> string
val jopcode_jvm : JCode.jopcode -> string
val jopcode : ?jvm:bool -> JCode.jopcode -> string
val jcode : ?jvm:bool -> JCode.jcode -> string list
val access_to_string : [< `Default | `Private | `Protected | `Public ] -> string option
val method_access : 'a JClass.jmethod -> string option
val field_access : JClass.any_field -> string option
val interface_or_class_access : 'a JClass.interface_or_class -> string option
val method_kind : 'a JClass.jmethod -> string option
val field_kind : JClass.any_field -> string option
val method_static : 'a JClass.jmethod -> string option
val field_static : JClass.any_field -> string option
val interface_or_class_abstract : 'a JClass.interface_or_class -> string option
val method_final : 'a JClass.jmethod -> string option
val interface_or_class_final : 'a JClass.interface_or_class -> string option
val method_synchronized : 'a JClass.jmethod -> string option
val acmethod : ?jvm:bool -> ( 'a -> string list ) -> 'a JClass.jmethod -> string * string list
val any_field : ?jvm:bool -> JClass.any_field -> string
val print_method_fmt : bool -> 'a JClass.jmethod -> ( 'a -> Format.formatter -> unit ) -> Format.formatter -> unit
val print_code : ( 'a -> string list ) -> 'a -> Format.formatter -> unit
val print_method : ?jvm:bool -> 'a JClass.jmethod -> ( 'a -> string list ) -> out_channel -> unit
val print_method' : ?jvm:bool -> 'a JClass.jmethod -> ( 'a -> Format.formatter -> unit ) -> Format.formatter -> unit
val print_class_fmt : ?jvm:bool -> int -> 'a JClass.interface_or_class -> ( 'a -> Format.formatter -> unit ) -> Format.formatter -> unit
val print_class : ?jvm:bool -> 'a JClass.interface_or_class -> ( 'a -> string list ) -> out_channel -> unit
val print_class' : ?jvm:bool -> 'a JClass.interface_or_class -> ( 'a -> Format.formatter -> unit ) -> Format.formatter -> unit