Index of values

add ~merge:f k d m returns a map containing the same bindings as m, plus a binding of k to d.

arraytype2shortstring t return the JVM representation of the array type t (e.g.

basic_type ~jvm t, if jvm is false (default value), returns the Java representation of the type t (e.g.

Return the index of a bootstrap method in the bootstrap method table, adding it if necessary.

build_lambda_info bm ms builds an information caracterizing the construction of the lambda expression referenced by the opcode OpInvoke (`Dynamic bm, ms).

Compares two class_field_signature.

Returns true if two class_field_signature are equal, false otherwise.

Returns the hash value of the given class_field_signature.

Retrieves the class_name and field_signature from a class_field_signature.

choose_and_remove t returns (i,d,t') such that t' equals to remove
        i t and d equals to find i t.

choose_and_remove t returns (i,d,t') such that t' equals to remove i t and d equals to find i t.

choose_and_remove t is equivalent (but more efficient) to (fun t -> let i = choose t in (i,remove i t)) t

class_field_signature ~jvm cfs gives a string representation of a class field signature using Javalib.JPrint.field_signature.

class_method_signature ~jvm ~param_names cms gives a string representation of a class_method_signature using Javalib.JPrint.method_signature with the class name of cms as callee.

class_name ~jvm class_name gives a string representation of a class_name.

class_name ~jvm cn returns the fully qualified class name as a string.

class_path cp opens a class path from the list cp of directories and jar (or zip) files separated by JFile.sep.

class_path cp opens a class path from the list cp of directories and jar (or zip) files separated by JFile.sep.

<clinit> method signature.

Closes a class path.

Closes a class path.

The following functions iterate over all methods of a class or interface.

Compares two class_method_signature.

Returns true if two class_method_signature are equal, false otherwise.

Retrieves the class_name and method_signature from a class_method_signature.

Compares two classes names.

Returns true if two classes names are equal, false otherwise.

Returns the hash value of the given class_name.

Retrieves the Java fully qualified name of a class.

Prints the package of the given class_name.

Retrieves the package name from a class_name.

Prints the name of the given class_name, omitting the package name.

Retrieves the Java simple name of a class, omitting the package name.

Maps a high level code to a valid arrray of low level bytecode instructions.

Return the index of a constant, adding it to the constant pool if necessary.

defines_field ioc fs returns true if ioc defines a field with a signature equal to fs, false otherwise.

defines_method ioc ms returns true if ioc defines a method with a signature equal to ms, false otherwise.

dump_bootstrap_argument b prints on ch the bootstrap argument b.

dump_bootstrap_method m prints on ch the bootstrap method m.

dump_constant ch cst prints on ch the constant pool constant cst of the.

dump_constantpool ch pool print on ch the constant pool pool.

dump_exc ch _ ex prints on ch the exception handler declaration ex.

dump_stackmap ch sm prints on ch the stackmap sm.

elements m return the unsorted list of bindings of m.

Empty list of opcodes

extract_class_name_from_file f recovers a class name and a class path from the file f.

extract_class_name_from_file f recovers a class name and a class path from the file f.

field_descriptor ~jvm field_descriptor gives a string representation of a field_descriptor.

field_signature ~jvm ~declared_in field_signature gives a string representation of a field_signature where a class name may be given.

findi_element f t returns the first couple (index,element) in map t for which f ind elt, with ind an index and elt the corresponding element, returns true.

Compares two field signatures.

Returns true if two field signatures are equal, false otherwise.

Returns the hash value of the given field_signature.

Retrieves the field name from a field_signature.

Retrieves the field type from a field_signature.

Returns the access type of a class or interface.

Parses a single class.

Parses a single class.

Same as JFile.get_class with low level class files.

get_concrete_method ioc ms returns the method with the signature ms in the interface or class ioc.

Returns the map of all the concrete methods defined in the given class or interface.

Returns the constant pool of a class or interface.

get_field ioc fs returns the field with the signature fs in the interface or class ioc.

Returns the map of all the fields defined in the given class or interface.

Returns the initializer of the given class or interface, if defined.

Returns the list of inner classes defined in the given class or interface.

get_local_variable_info i pp m returns the name and signature of the local variable i at program point pp in the method code m (including the pp of the first assignement of i, it's not the case in c_local_variable_table), if they are defined in the local variable table (The bytecode needs to be compiled with the -g option).

get_method ioc ms returns the method with the signature ms in the interface or class ioc.

Returns the map of all the methods defined in the given class or interface.

Returns the fully qualified name of a class_name.

get_source_line_number pp m returns the source line number corresponding to the program point pp of the method code m.

get_source_line_number pp lnt returns the source line number corresponding to the program point pp given the LineNumberTable attribute lnt.

Returns the source file associated to the parsed bytecode used to build the given class or interface.

Convert a high level class to a lower level class.

insert_code code pp l insert the the instructions contained in l at program point pp in the code.

High level to low level bytecode instruction.

inter m1 m2 returns a map with all the bindings (k,d) of m1 such that mem k m2.

Returns true if the use of the given interface or class is deprecated, false otherwise.

Returns true if the given interface or class is final, false otherwise.

iter ~debug:false f filename applies the function successively the function f on each classes specified by filename.

iter ~debug:false f filename applies the function successively the function f on each classes specified by filename.

Read a manifest from a jar file (which must end with .jar).

java_basic_type ~jvm java_basic_type gives a string representation of a java_basic_type.

java_basic_type t returns the lowercase character that corresponds to the type t.

java.lang.Object class name.

Returns a string where all characters outside the ASCII printable range (32..126) are escaped.

Returns the original string.

jvm_array_type t returns the lowercase character that corresponds to the type t.

jvm_basic_type t returns the lowercase character that corresponds to the type t.

keys_subset m1 m2 returns true if the set of keys in m1 is a subset of the set of keys in m2, false otherwise.

Convert a low level class to a higher level class.

Builds a class_field_signature.

Builds a class_method_signature.

Builds a class_name from a string representing the Java fully qualified name of the class.

make_directories directories returns an abstract directories type.

make_directories directories returns an abstract directories type.

Builds a field_signature.

Builds a jstr.

Builds a method_descriptor.

Builds a method_signature.

map_concrete_method f cm lazily applies f to the implementation of cm (if the method is native, it does nothing but changing the type).

map_concrete_method_with_native f cm is equivalent to Javalib.map_concrete_method but allows to transform not only the code representation but also the implementation type.

map_interface_or_class f ioc lazily applies f to all non-native method implementations of the interface or class ioc.

map_interface_or_class_context f ioc lazily applies f to all non-native method implementations of the interface or class ioc, giving the concrete method being transformed as argument to f.

map_interface_or_class_with_native f ioc is equivalent to Javalib.map_interface_or_class but allows to transform not only the code representation but also the implementation type.

map_interface_or_class_with_native_context f ioc is equivalent to Javalib.map_interface_or_class_context but allows to transform not only the code representation but also the implementation type.

Returns the method_descriptor arguments list.

Returns the method_descriptor return type.

Splits a method_descriptor into arguments list and return type.

merge f m1 m2 returns a map that has the bindings of m1 and m2 and which binds k to f d1 d2 if m1 and m2 binds the same k to different d1 and d2, respectively.

merge f m1 m2 returns a map that binds every key k that is either bound in m1 or/and in m2.

merge_first m1 m2 is the same as merge (fun a _ -> a) m1 m2 but it reuses more data from the first map.

method_descriptor ~jvm method_descriptor gives a string representation of a method descriptor, composed of the parameters types and the return type of a method.

method_handle_kind k returns the string that corresponds to the method handle kind k.

method_signature ~jvm ~param_names method_signature gives a string representation of a method_signature.

method_signature mn md, where mn is a method name and md a method descriptor, returns the method signature as in Java ( e.g.

Get a midlet's main class from the MIDlet-1 attribute of its manifest.

Retrieves method parameters types from a method_signature.

Compares two method signatures.

Returns true if two method signatures are equal, false otherwise.

Returns the hash value of the given method_signature.

Retrieves the method name from a method_signature.

Retrieves method return type from a method_signature.

object_type ~jvm object_type gives a string representation of an object_type.

object_value_signature ~jvm s, if jvm is false (by default), returns the Java representation of type s.

Low level to high level bytecode instruction.

Maps an arrray of low level bytecode to a high level code.

parse_ClassSignature s parses a Signature attribute and expects to find a ClassSignature (as describe in paragraph 4.4.4 of the Java Virtual Machine Specification of Java 5).

parse_FieldTypeSignature s parses a Signature attribute s and expects to find a FieldTypeSignature (as describe in paragraph 4.4.4 of the Java Virtual Machine Specification of Java 5).

parse_MethodTypeSignature s parses a Signature attribute and expects to find a Methodtypesignature (as describe in paragraph 4.4.4 of the Java Virtual Machine Specification of Java 5).

Parse a Java class file and return the high level representation.

Parse a Java class file and return the low level representation.

Parse a sequence of instructions of given size (in bytes) and returns an array of instructions.

read directories f acc names iterates f over all classes specified by names.

read directories f acc names iterates f over all classes specified by names.

Same as JFile.read with low level class files.

remove_invokedynamic ioc ms pp prefix returns a couple of interface or classes (ioc',ioc_lambda), where ioc' is a modified version of ioc and ioc_lambda is a forged class implementing the functional interface of the lambda expression to be found in ioc at program point pp of method ms.

remove_invokedynamics ioc prefix iters the method Javalib.remove_invokedynamics_in_method on all the methods of class ioc.

remove_invokedynamics_in_method ioc ms prefix iters the method Javalib.remove_invokedynamic on all the program points containing invokedynamic instructions in method ms of class ioc.

replace_code code pp l replaces the opcode present at program point pp in the code with the instructions contained in l.

rettype2shortstring t, if jvm is true (default value), returns the JVM representation of the return type t (e.g.

return_type ~jvm rt gives a string representation of the return type rt.

Read a list of sections.

Interpret a list of section as a manifest.

sep is the class path separator.

set_permissive true disables some checking in JavaLib.

signature ~jvm name descriptor gives a string representation of a descriptor which can either contain a field_descriptor or a method_descriptor, associated to the name name.

signature name des returns a string corresponding to the field or method name with the descriptor des.

subset sub m1 m2 returns true if the set of keys in m1 is a subset of the set of keys in m2, and if for all value v1 in m1, and v2 in m2, at the same position, sub v1 v2=true holds, false otherwise.

to_string s return a string representation of s

transform directories outputdir f names applies f to all classes specified by names, writing the resulting classes in outputdir.

transform directories outputdir f names applies f to all classes specified by names, writing the resulting classes in outputdir.

Same as JFile.transform with low level class files.

Unparses an attribute to a couple (name, content) where name is the code-name of the attribute and content as encoded in a .class file.

unparse_class ioc out dump the class or interface ioc into out as a .class file.

Unparses a class to a file.

Unparses a class to a file.

Unparse a sequence of instructions.

unparse_instruction ch count length opcode output on ch the opcode opcode in the length byte(s) format.

value_signature ~jvm s, if jvm is false (default value), returns the Java representation of the type t.

value_type ~jvm value_type gives a string representation of a value_type.

value_type_list ~names l gives a string representation of the value_type list l with possibly associated names.

write_class outputdir c writes the class c in the subdirectory of outputdir that correspond to the package name of c.

write_class outputdir c writes the class c in the subdirectory of outputdir that correspond to the package name of c.

Same as JFile.write_class with low level class files.