Index of values

Concatenation of UTF8 strings.

Concatenation of UTF8 strings.

add c s adds the constraint c to the set s.

add e a x z addit extends array a by an element set to x.

add m ms augments m with ms.

add_array_class pool array_type augments pool with array type whose descriptor is array_type.

add_array_method pool array_type method_name method_type augments pool with array method method_name of type method_type in array type array_type.

add_char b c appends char c to buffer b.

add_class pool class_name augments pool with class whose name is class_name.

add_class cl cd adds the class cd to the class loader cl.

add_double pool d augments pool with double d.

Adds an edge to the passed builder.

add_edge g v e l returns a graph that is g augmented with a new edge e from v labeled with l.

add_type n t b adds the information that properties with name n have type t to builder b.

add_char b s appends string s to buffer b, and then also appends and end-of-line character.

add_entries_from_archive ab ~prefix file adds to archive builder ab all the entries from the archive file, prefixing paths with prefix (defaulting to "").

add_entries_from_archives ab ~prefix files adds to archive builder ab all the entries from thes archives files, prefixing paths with prefix (defaulting to "").

add_entries_from_zip ab ~prefix zip adds to archive builder ab all the entries from the archive zip, prefixing paths with prefix (defaulting to "").

add_entry ab ~prefix data name adds an entry with path name prefixed by prefix (defaulting to "") and contents data to archive builder ab.

add_entry_from_class ab ~prefix cd adds an entry with path and contents based on the information from class definition cd, prefixing class name by by prefix (defaulting to ""), to archive builder ab.

add_entry_from_file ab ~prefix file name adds an entry with path name prefixed by prefix (defaulting to "") and contents read from file to archive builder ab.

add_field pool class_name field_name field_type augments pool with field field_name of type field_type in class class_name.

add_float pool f augments pool with float f.

add_handler g src cn dst lbl returns a graph that is g augmented with a handler from src to dst for exception cn labeled with lbl.

add_if_not_found e p a x z add returns the lowest index i of a such that p (get a i) is true.

add_integer pool i augments pool with integer i.

add_interface_method pool interface_name method_name method_type augments pool with interface method method_name of type method_type in interface interface_name.

add_invoke_dynamic pool index method_name method_type augments pool with invoke dynamic with index into BootstrapMethods attributes, method method_name of type method_type.

add_long pool l augments pool with long l.

add_manifest ab m adds an entry based on the passed manifest m to archive builder ab.

add_method pool class_name method_name method_type augments pool with method method_name of type method_type in class class_name.

add_method_handle pool reference augments pool with an handle to reference.

add_method_specifier m ms augments m with ms.

add_method_type pool method_type augments pool with method type method_type.

add_module cl md adds the module md to the class loader cl.

add_moduleid pool n v augments pool with name n and version v.

add_name_and_type pool n t augments pool with mane n and type t.

add_package cl pd adds the package pd to the class loader cl.

add_char b s appends string s to buffer b.

add_string pool s augments pool with string s.

add_utf8 pool s augments pool with constant s.

Adds a vertex to the passed builder.

add_vertex g instrs lbl returns a couple g', v where g' is g augmented with a new vertex v labeled with instrs and lbl.

add_type n t b adds the information that properties with name n have type t to builder b.

The list of versions, in ascending order.

The list of all output formats.

The list of all predefined rewriting rules, that is (in order): optimize_constants;, optimize_locals;, remove_nops_and_unused_pushed_values;, optimize_iinc;, remove_load_store;, remove_get_put;, rewrite_store_store;, rewrite_store_load;, rewrite_load_load;, constant_on_the_top;, remove_neutral_elements;, rewrite_absorbing_elements;, apply_stength_reduction;, remove_identity.

append p cp returns a class path that is cp plus p added at its end.

Predefined rules to apply stength reduction.

The kind of waited arguments, if any.

Comparison over arrays, cmp (defaulting to Pervasives.compare) being the comparison function over array elements.

Equality over arrays, eq (defaulting to (=)) being the predicate used to compare array elements.

Hash over arrays, h (defaulting to Hashtbl.hash) being the hash function over array elements.

Assembles the file whose source input channel is passed, returning the name of the compiled class.

at_least f v x raises Exception if x is below v.

at_most f v x raises Exception if x is above v.

Predefined rules to avoid simple conversions.

build_args cmd args returns args with overloaded "-help" and "--help" switches for command cmd.

Conversion from modified UTF8 string into bytes.

Returns the capacity of the passed array.

Changes the root of the passed graph to the passed vertex.

check b v checks that version v is in bounds b, raising Exception if not.

Checks the passed pool for consistency.

Checks that the passed list is a valid one for a class.

Acts as the identity function if the passed flags form a valid flag set for a class, raises Exception otherwise.

Checks that the passed list is a valid one for a code attribute.

Acts as the identity function if the passed flags form a valid flag set for a constructor, raises Exception otherwise.

check_entry_for_kind pool index tag tests whether the entry at index is of the kind designated by tag.

Checks that the passed list is a valid one for a field.

Acts as the identity function if the passed flags form a valid flag set for a field, raises Exception otherwise.

Acts as the identity function if the passed flags form a valid flag set for an initializer, raises Exception otherwise.

Acts as the identity function if the passed flags form a valid flag set for an inner class, raises Exception otherwise.

Checks that the passed list is a valid one for a method.

Acts as the identity function if the passed flags form a valid flag set for a method, raises Exception otherwise.

Checks that the passed list is a valid one for a module.

Acts as the identity function if the passed flags form a valid flag set for a module, raises Exception otherwise.

Checks that the passed list is a valid one for a package.

Acts as the identity function if the passed flags form a valid flag set for a package, raises Exception otherwise.

check_version v pool checks that pool conforms to version v, raising Version.Exception if not.

Returns the annotations of the passed descriptor.

Returns the class name of the passed descriptor.

Converts a string (as used in class file) into the corresponding signature.

Closes the passed writer.

Closes the passed reader.

Closes the passed stream, any subsequent write will fail raising an exception.

Closes the passed stream, any subsequent read will fail raising an exception indicating that end of stream has been reached.

Closes all underlying archives, subsequent tries to read from such archives will hence fail.

Closes the passed archive builder.

Closes the passed writer, errors being silently discarded.

Closes the passed reader, errors being silently discarded.

Same as close but raised exceptions are silently discarded.

Same as close but raised exceptions are silently discarded.

Same as close, except that no exception if raised.

The list of predefined commands (module signatures in src/commands).

Comparison over versions.

Comparison over UTF8 strings.

Comparison over Unicode characters.

Comparison over references.

Comparison over packages.

Comparison over modules.

Comparison over methods.

Comparison over constraints.

Comparison over instructions.

Comparison over fields.

Comparison over extendable arrays.

Comparison over pools.

Comparison over class paths.

Comparison over modules.

Comparison over attributes.

Comparison over annotations.

Comparison over flags.

Comparison over attributes, to be used for user-intended output.

Comparison over methods, to be used to compare for user-intended output.

Comparison over fields, to be used to compare for user-intended output.

Comparison over flags.

Comparison over array type signatures.

Comparison over class initializers.

Comparison over class signatures.

Comparison over class type signatures.

Comparison over class type signature suffixes.

Comparison over code attributes.

Comparison over code values.

Comparison over constant values.

Comparison over constructors.

Comparison over pool elements.

Comparison over element values.

Comparison over enclosing method values.

Comparison over exception table elements.

Comparison over extended annotations.

Comparison over field type signatures.

Comparison over constructors.

Comparison over field.

Comparison over methods.

Comparison over method descriptors.

Comparison over formal type parameters.

Comparison over inner class elements.

Comparison over local variable table elements.

Comparison over local variable type table elements.

Comparison over method arguments.

Comparison over method handles.

Comparison over method signatures.

Comparison over method specifiers.

Comparison over regular methods.

Comparison over signatures.

Comparison over stack map frames.

Comparison over throws signature.

Comparison over type arguments.

Comparison over type signatures.

Comparison over type variable signatures.

Comparison over verification type informations.

compile ofs wide mnemo params param_tail compiles instruction whose mnemonic is mnemo, params and param_tail being parameters while wide indicates whether the wide version of the instruction should be compiled.

compose_list [f1; f2; ...; fn] x returns f1 (f2 ... (fn x)).

compute_stack_infos cn u g s returns max_stack, max_locals, stack_map_frame for the method whose control flow graph g,initial stack state s, and enclosing class cn are passed.

concat l returns the concatenation of all strings in l.

concat_sep sep l returns the concatenation of all strings in l, separator sep being inserted between two strings.

concat_sep_map sep f l returns the concatenation of all strings in l', separator sep being inserted between two strings.

Predefined rules to move constants on the top.

contains c s returns true iff string s contains a character equal to c.

Checks whether the passed graph contains the passed vertex.

contents b returns the contents of buffer b as an UTF8 string.

decode is returns the list of values read from is.

Converts from a ClassFile.t into a package definition.

Converts from a ClassFile.t into a module definition.

Converts from a low-level into a high-level form according to passed pool, and bootstrap method information.

decode bsm cpool i decodes instruction i using constant pool cpool, and bootstrap information bsm.

Converts from a low-level into a high-level form according to passed pool.

Converts from a ClassFile.t into a class definition.

Converts from a low-level into a high-level form according to passed pool, and method bootstrap information.

Converts from a low-level into a high-level form according to passed pool.

Converts from a low-level into a high-level form according to passed pool.

Converts from a low-level into a high-level form according to passed pool.

decompile ofs i decompiles instruction i at offset ofs.

The default version used by the library (currently Java_1_7).

Default manifest, with minimal information.

Default separator between classpath elements.

The size of buffers created through make.

The short description used for command-line help.

descriptor_of_definition loader definition constructs a new descriptor for the class whose definition is passed, loader being used to construct descriptors for parent classes.

disassemble cp cn disassembles the class whose name is cn in classpath cp.

disassemble_to_buffer buff cp cn disassembles the class whose name is cn in classpath cp.

disassemble_to_stream chan cp cn disassembles the class whose name is cn in classpath cp.

Element used for 0-index entry as well as for unused long or double entries.

A line mapper always returning 0.

Dumps the XML document to the passed buffer.

dump fmt g buf dumps the data of graph g to buffer buf, using format fmt.

Returns the edge for the passed vertex in the passed graph, as well as the label associated with this edge.

Returns an empty stack.

Checks whether the passed bounds consists in an empty interval.

Encodes the passed list of (offset, state) couples into attribute values.

encode os l writes the values from l onto os.

Converts a package definition into to a ClassFile.t, using the passed version.

Converts a module definition into to a ClassFile.t, using the passed version.

Converts from a high-level into a low-level form, using passed extendable pool, and bootstrap method information.

encode s transforms the constraint set s into a constant pool that can be later used to encode methods imposing the constraints in s.

encode bsm cpool i encodes instruction i using constant pool cpool, and bootstrap information bsm.

Converts from a high-level into a low-level form, using passed extendable pool.

Converts a class definition into to a ClassFile.t, using the passed version.

Converts from a high-level into a low-level form, using passed pool.

Converts from a high-level into a low-level form, using passed extendable pool.

Converts from a high-level into a low-level form, using passed extendable pool.

Converts from a high-level into a low-level form, using passed extendable pool.

encode_one os x is a shorthand for encode os [x].

Equality over versions.

Equality over UTF8 strings.

Equality over Unicode characters.

Equality over stack states.

Equality over references.

Equality over packages.

Equality over modules.

Equality over methods.

Equality over token values.

Equality over constraints.

Equality over instructions.

Equality over fields.

Equality over extendable arrays.

Equality over pools.

Equality over class paths.

Equality over modules.

Equality over attributes.

Equality over annotations.

Equality over flags.

Equality over array type signatures.

Equality over class initializers.

Equality over class signatures.

Equality over class type signatures.

Equality over class type signature suffixes.

Equality over code attributes.

Equality over code values.

Equality over constant values.

Equality over constructors.

Equality over edges.

Equality over pool elements.

Equality over element values.

Equality over enclosing method values.

Equality over exception table elements.

Equality over extended annotations.

Equality over field type signatures.

Equality over constructors.

Equality over fields.

Equality over methods.

Equality over formal type parameters.

Equality over inner class elements.

Equality over Java types.

Equality over local variable table elements.

Equality over local variable type table elements.

Equality over method arguments.

Equality over method handles.

Equality over method signatures.

Equality over method specifiers.

Equality over regular methods.

Equality over signatures.

Equality over stack map frames.

Equality over throws signatures.

Equality over type arguments.

Equality over type signatures.

Equality over type variable signatures.

Equality over verification type informations.

Equality over vertices.

Escapes the passed string in such a way it can be used as an attribute value.

escape s returns the literal constant string corresponding to the passed string.

escape_char c returns the literal constant string corresponding to the passed character.

Converts a class name into external UTF8 form (dots between package elements, dollars between inner elements).

Converts a module name into external UTF8 form.

Converts a package name into external UTF8 form.

Returns the textual representation of the passed Java type.

Returns the list of annotations from the passed list.

Returns the contents of the BootstrapMethods attribute from the passed list.

Returns the contents of the Signature attribute from the passed list.

Returns the contents of the Code attribute from the passed list.

Returns the contents of the Exceptions attribute from the passed list.

Returns the contents of the Signature attribute from the passed list.

Returns the contents of the Signature attribute from the passed list.

Converts a string into the corresponding field descriptor.

Converts a string (as used in class file) into the corresponding signature.

Returns the fields of the passed descriptor.

filter_non_array err jt returns jt if it is an array.

filter_void err jt returns jt if it is not equal to `Void.

index p a returns the lowest index i of a such that p (get a i) is true.

find_class cl cn returns the class definition for the class named cn (in external form) using class loader cl.

find_module cl pn returns the module definition for the module named mn (in external form) using class loader cl.

find_package cl pn returns the package definition for the package named pn (in external form) using class loader cl.

fix_point eq f x returns a fix point of f seeding with value x, and using eq as the equality function.

flatten_graph g returns a l, t, e, g' quadruple where g' is g labeled with code offsets corresponding to the instruction list l.

Converts the passed graph, by assuming that it is already flattened, and that int32 labels are vertices offsets.

Flushes the passed writer.

Flushes the passed stream.

Applies the "folder" to the class definition.

Applies the "folder" to the zip file.

fold_edges f g z is f s1 l1 e1 (f s2 l2 e2 (... (f sn ln en z) ...)) where the si, li, ei are the edges of g (components being source, label and destination).

fold_file f n applies the "folder" f to the zip file whose name is n.

fold_handlers f g z is f s1 l1 c1 h1 (f s2 l2 c2 h2 (... (f sn ln cn hn z) ...)) where the si, li, ci, hi are the handlers of g (components being source, label, caught exception, and handler).

fold_vertices f g z is f v1 (f v2 (... (f vn z) ...)) where the vi are the vertices of g.

for_class generics ~open_packages:op cl s is a bare shorthand for search_for_class ~open_packages:op cl (make_for_class_from_utf8 generics s).

for_classes generics ~open_packages:op cl s is a bare shorthand for search_for_classes ~open_packages:op cl (make_for_class_from_utf8 generics s).

for_constructor generics ~open_packages:op cl s is a bare shorthand for search_for_constructor ~open_packages:op cl (make_for_constructor_from_utf8 generics s).

for_constructors generics ~open_packages:op cl s is a bare shorthand for search_for_constructors ~open_packages:op cl (make_for_constructor_from_utf8 generics s).

for_field generics ~open_packages:op cl s is a bare shorthand for search_for_field ~open_packages:op cl (make_for_field_from_utf8 generics s).

for_fields generics ~open_packages:op cl s is a bare shorthand for search_for_fields ~open_packages:op cl (make_for_field_from_utf8 generics s).

Returns the control flow information for the passed instruction.

for_regular_method generics ~open_packages:op cl s is a bare shorthand for search_for_regular_method ~open_packages:op cl (make_for_regular_method_from_utf8 generics s).

for_regular_methods generics ~open_packages:op cl s is a bare shorthand for search_for_regular_methods ~open_packages:op cl (make_for_regular_method_from_utf8 generics s).

Constructs an extendable array from a bare one.

from_u2 meth mask converts mask into flag list, meth indicating whether the considered Java element is a method (including constructors).

Gather two 4-byte values into a 8-byte value, the first 4-byte value containing the highest bits.

get r returns the next line read from r.

get s i returns the character of s at index i.

get a i returns the element of a at index i.

get_entry pool index returns the entry at index in pool if index is valid, raising Exception otherwise.

get_extendable_entry pool index returns the entry at index in pool if index is valid, raising Exception otherwise.

graph_of_instructions instrs exn_table constructs the graph for the method whose instructions are instrs and exception table is exn_table.

Returns the list of handlers for the passed vertex in the passed graph.

Hash function over versions.

Hash function over UTF8 strings.

Hash function over Unicode characters.

Hash function over references.

Hash function over packages.

Hash function over modules.

Hash function over methods.

Hash function over constraints.

Hash function over instructions.

Hash function over fields.

Hash function over extendable arrays.

Hash function over pools.

Hash function over class paths.

Hash function over modules.

Hash function over attributes.

Hash function over annotations.

Hash function over flags.

Hash function over array type signatures.

Hash function over class initializers.

Hash function over class signatures.

Hash function over class type signatures.

Hash function over class type signature suffixes.

Hash function over code attributes.

Hash function over code values.

Hash function over constant values.

Hash function over constructors.

Hash function over pool elements.

Hash function over element values.

Hash function over enclosing method values.

Hash function over exception table elements.

Hash function over extended annotations.

Hash function over field type signatures.

Hash function over constructors.

Hash function over fields.

Hash function over methods.

Hash function over method descriptors.

Hash function over parameter descriptors.

Hash function over formal type parameters.

Hash function over inner class elements.

Hash function over local variable table elements.

Hash function over local variable type table elements.

Hash function over method arguments.

Hash function over method handle.

Hash function over method signatures.

Hash function over method specifiers.

Hash function over regular methods.

Hash function over signatures.

Hash function over stack map frames.

Hash function over throws signatures.

Hash function over type arguments.

Hash function over type signatures.

Hash function over type variable signatures.

Hash function over verification type informations.

The identity function.

identity g maps g into a new graph structurally identical, but with new identifiers for vertices.

index_from s i c returns the lowest index above or equal to i where string s contains a character that equals c.

insert r p l inserts rule r into list l at position p, using physical equality to compare rewriting rules.

instance_of_function desc annot f constructs an instance associated with descriptor desc and annotations annot.

Returns the instruction list of the passed vertex.

Converts a class name into internal UTF8 form (slashes between package elements, dollars between inner elements).

Converts a module name into internal UTF8 form.

Converts a package name into internal UTF8 form.

Converts a Java type into the corresponding string (as used in class file).

intersect v1 v2 compute the intersection of the intervals represented by bounds v1 and v2.

intersect_list l applies intersect to l.

Predicate testing whether the passed character is a digit.

Tests whether the passed array is empty.

Predicate testing whether the passed character is a letter.

Predicate testing whether the passed character is a letter, a digit, or an underscore.

Tests whether the passed type is primitive.

Predicate testing whether the passed character is a whitespace.

Checks whether the passed string is a valid method name.

Checks whether the passed string is a valid unqualified name.

Applies the "iterator" to the class definition.

Applies the "iterator" to the zip file.

iter_edges f g applies f in turn to the edges of g.

iter_file i n applies the "iterator" i to the zip file whose name is n.

iter_handlers f g applies f in turn to the handlers of g.

iter_vertices f g applies f in turn to the vertices of g.

Returns the Java type corresponding to the passed string.

Same as java_type_of_external_utf8 but raises Exception if the decoded type is equal to the Java type void.

Converts a string (as used in class file) into the corresponding Java type.

Same as java_type_of_internal_utf8 but raises Exception if the decoded type is equal to the Java type void.

Converts the passed integer into its corresponding kind, as used in the classfile format.

Returns the label of the passed vertex.

The LaTeX-formmatted description used for the manual.

Returns the length of the passed string (in characters, not bytes).

Returns the length of the passed array.

lexer_switch matches default ls char search the association list matches for a key equal to char.

line_number_table_mapper lnt returns a line mapper for the data of a LineNumberTable attribute.

Comparison over lists, cmp (defaulting to Pervasives.compare) being the comparison function over list elements.

Comparison over flag list.

Equality over lists, eq (defaulting to (=)) being the predicate used to compare list elements.

Hash over lists, h (defaulting to Hashtbl.hash) being the hash function over list elements.

to_u2 dom l converts flag list l into an integer mask, as used in the class file format.

Converts the passed flag list to its corresponding UTF8 string.

Returns the size of the locals for the passed state.

Converts the passed version into (major, minor) format.

Constructs a line writer from an output stream.

Constructs a line reader from an input stream.

Constructs a UTF8 string from a list of Unicode characters.

Constructs an empty buffer, of size default_size.

Creates an output stream from passed functions: write is used to write one byte (see Pervasives.output_byte);, write_bytes src pos len (optional) is used to write len bytes from src, starting at index idx;, flush is used to flush the stream;, close is used to close the stream.

Constructs an new empty set of constraints.

Creates an input stream from passed functions: read_byte is used to read one byte (see Pervasives.input_byte);, read_bytes nb (optional) is used to read nb bytes;, read_bytes_into nb dst idx (optional) is used to read nb bytes and store them into dst, starting at index idx;, read_available_bytes nb dst idx (optional) is similar to read_bytes_into except that it should not fail if reaching end of file, and should return the number of bytes actually read;, close is used to close the stream.

Returns a builder containing an empty graph.

make len cap init returns an extendable array with an initial length of len and capacity cap, each element being initialized to init.

Constructs a class path from the "CLASSPATH" environment variable, defaulting to "." if the variable is not set.

Constructs a class loader from a class path that will be used to load elements.

Builds an array unifier from a class unifier that is used to unify array elements.

Returns the elements needed to process base_parameters; class path is handled through "-cp" and "-classpath", while elements are the other arguments provided on the command-line.

make_bounds f lo hi returns a version interval for feature f, with lower version lo, and optional higher version hi.

make_descriptor name serial annot fields super ext methods constructs a new descriptor for class name with serial identifier serial, annotations annot, fields fields, and super descriptor super.

Returns an empty state (no local, and no operand on stack).

Returns the elements needed accept no parameter.

Builds an empty extendable pool.

Builds an extendable pool from an array of elements.

Builds an extendable pool from a classic one.

Constructs a class name from an UTF8 string (dot being the separator between package elements, dollar being the separator between inner elements).

Constructs a class name from an UTF8 string (slash being the separator between package elements, dollar being the separator between inner elements).

make_for_class_from_utf8 generics s returns a query looking for classes according to string s, generics indicating whether generic information should be used.

make_for_constructor_from_utf8 generics s returns a query looking for constructors according to string s, generics indicating whether generic information should be used.

Constructs a field name from an UTF8 string.

make_for_field_from_utf8 generics s returns a query looking for fields according to string s, generics indicating whether generic information should be used.

Constructs a method name from an UTF8 string.

Constructs a module name from an UTF8 string (dot being the separator).

Constructs a module name from an UTF8 string (slash being the separator).

Constructs a package name from an UTF8 string (dot being the separator).

Constructs a package name from an UTF8 string (slash being the separator).

make_for_regular_method_from_utf8 generics s returns a query looking for regular methods according to string s, generics indicating whether generic information should be used.

make_graph instrs lbl returns both a graph reduced to its root and the aforementioned root.

make_header_printer n returns a function to print headers on the standard output.

make_instance desc fields annot constructs an instance associated with descriptor desc and annotations annot.

Constructs an empty array of method specifiers.

Creates an output stream whose destination is a buffer.

Creates an input stream whose source is a buffer.

Creates an output stream whose destination is a channel.

Creates an input stream whose source is a channel.

Creates an input stream whose source is a file descriptor.

Creates an input stream whose source is a file descriptor.

Constructs a class path from the passed elements.

make_of_method cn m returns the state describing the stack at the beginning for the method m in the class cn.

make_of_parameters cn p returns the state describing the stack at the beginning of a method.

make_of_size sz constructs an empty buffer, of size sz.

Creates an input stream whose source is a string.

Constructs a class path from a string, using the passed separator between class path elements (defaulting to default_separator).

Build a params, specs, func triplet where: params are the parameters passed to the run function;, specs are the command-line specifiers passed to Arg.parse_argv;, func is the anonymous function passed to Arg.parse_argv. specs and func are supposed to update params when passed to Arg.parse_argv.

make_proxy_descriptor interfaces annot super constructs a descriptor for a proxy class with annotations annot, and super descriptor super.

Builds a unifier from a class unifier.

Applies the "mapper" to the class definition.

Applies the "mapper" to the zip file, the passed string being the name of the output file to create.

map_array_to_list f a is equivalent to Array.to_list (List.map f l).

map_file m i o applies the "mapper" m to the zip file whose name is i, producing zip file o.

map_graph f1 f2 f3 g maps g into a new graph structurally identical, using: f1 to map vertex information;, f2 to map edge information;, f3 to map handler information.

map_list_to_array f l is equivalent to Array.map f (Array.of_list l).

Similar to List.map except that the returned list contains elements mapped to Some x, and ignores those mapped to None.

Tests whether a Java type matches a given Java type descriptor.

The greatest s2 value.

The greatest s4 value.

This value represents the maximum supported version of the class file format in (major, minor) fomat.

The greatest u1 value.

The greatest u2 value.

mem_class cl cn tests whether the class named cn has been loaded by the class loader cl.

mem_module cl mn tests whether the module named mn has been loaded by the class loader cl.

mem_package cl pn tests whether the package named pn has been loaded by the class loader cl.

Converts a string into the corresponding method descriptor.

Converts a string (as used in class file) into the corresponding signature.

Returns the Externalizable methods of the passed descriptor.

The lowest s2 value.

The lowest s4 value.

This value represents the minimum supported version of the class file format in (major, minor) fomat.

Conversion from bytes into modified UTF8 string.

The various names for the command.

Returns the number of arguments used by the passed jump kind.

Returns the number of arguments used by the passed switch kind.

object_value_of_function desc annot f is a shorthand for Instance (instance_of_function desc annot f).

Conversion from bytes into UTF8 string.

Conversion from standard character into UTF8 string.

Conversion from standard character into Unicode character.

Conversion from Unicode code value into Unicode character.

Conversion from modified UTF8 string into UTF8 string.

Conversion from standard string into UTF8 string.

Converts the passed string into a flag.

Conversion from Unicode character into UTF8 string.

Converts the passed UTF8 string into a flag.

Returns the offset associated with the label of the passed flattened vertex.

Returns a stack containing only the passed element.

open_stream cp cn returns the stream for class whose fully qualified name is cn, search class path cp.

Returns the jump kind that is the opposite (i.

Predefined rules to optimize constants.

optimize_graph ~rules:l g returns a graph similar to g, except that every instruction list has been optimized, l being the list of rewriting rules to apply to instruction lists (until a fixpoint is reached).

optimize_graph g returns an optimized version of graph g.

Predefined rules to optimize iinc instructions.

optimize_jumps g returns g except that empty nodes (i.

optimize_list ~rules:l l2 optimizes l2 by applying the the list of rewriting rules l until a fixpoint is reached.

Predefined rules to optimize local accesses.

optimize_switches g returns g except that lookup switches are replaced with table switches if it shorter.

Outputs the content of the passed buffer onto the passed stream, using a UTF8LineWriter instance.

Alias for field_of_utf8, used for increased readability.

The path of a manifest file inside an archive.

pop s returns s without its top element.

pop_if v s returns s without its top element if this element is equal to v, raising Exception otherwise.

pop_if_category1 s returns a couple with the top element, and s without its top element.

Returns the list of vertices that have the passed vertex as a destination.

prepend p cp returns a class path that is cp plus p added at its begin.

print fmt l prints onto the standard output the graph of the classes appearing in archives from l, using fmt as the output format, and cl as the classloader.

print fmt cl mn prints onto the standard output the control flow of the method whose descriptor is mn in classloader cl, using graph format fmt.

print cp cn prints onto the standard output the description of the class whose name is cn in classpath cp.

print_to_stream buff cl fmt l appends to the passed buffer buff the graph of the classes appearing in archives from l, using fmt as the output format, and cl as the classloader.

print_to_stream buff fmt cl cn appends to the passed buffer buff the control flow of the method whose descriptor is mn in classloader cp, using graph format fmt.

print_to_buffer buff cp cn appends to the passed buffer buff the description of the class whose name is cn in classpath cp.

print_to_stream st cl fmt l prints onto the passed stream the graph of the classes appearing in archives from l, using fmt as the output format, and cl as the classloader.

print_to_stream st fmt cl cn prints onto the passed stream the control flow of the method whose descriptor is mn in classloader cp, using graph format fmt.

print_to_stream chan cp cn prints onto the passed channel chan the description of the class whose name is cn in classpath cp.

Converts a class name into external UTF8 form (dots between both package and inner elements).

push v s returns a stack similar to s with v pushed on its top.

put w s outputs string s onto writer w.

read st reads a class file from the passed stream.

read st ofs reads an instruction list from st using offset ofs.

read_available_bytes st nb dst idx is similar to read_bytes_into, except that is does not raise Exception if end of file is reached but rather returns the number of bytes actually read.

read_bytes st nb reads nb bytes from st returning them as a string.

read_bytes_into st nb dst idx reads nb bytes from st and stores them into dst, starting at index idx.

read_elements st f will first read from st a Utils.u2 value indicating the number of elements to actually read.

read_extended_info st reads an extended annotation from st.

read_info st reads a method from st.

read_info st reads a field from st.

read_info st reads an attribute from st.

read_info st reads an annotation from st.

read_info_element_value st reads an element value from st.

Reads a signed 1-byte integer from the passed stream.

Reads a signed 2-byte integer from the passed stream.

Reads a signed 4-byte integer from the passed stream.

Reads a signed 8-byte integer from the passed stream.

read_target st reads an element target from st.

Reads an unsigned 1-byte integer from the passed stream.

Reads an unsigned 2-byte integer from the passed stream.

Reads an unsigned 4-byte integer from the passed stream.

remove_class cl cn removes the definition for class cn from class loader cl.

remove_dead_code g returns g without the vertices that cannot be reached from the root.

remove_edge g v returns a graph that is g without the edge going out of v.

Predefined rules to optimize get/put sequences.

remove_handler g src cn dst returns a graph that is g without the handler from src to dst for exception cn.

Predefined rules to remove identities.

Predefined rules to optimize load/store sequences.

remove_module cl mn removes the definition for module mn from class loader cl.

Predefined rules to remove neutral elements.

Predefined rules to remove no-ops.

remove_package cl pn removes the definition for package pn from class loader cl.

remove_vertex g v returns a graph that is g without v and associated edge and handlers.

remove_vertices g l returns a graph that is g without the vertices l and associated edges and handlers.

replace c1 c2 s returns a copy of s where every character equal to c1 has been replaced by c2.

Equivalent to add_class except that a previous definition is replaced.

replace_dot_with_slash s returns a copy of string s where each dot has been replaced by a slash.

Equivalent to add_module except that a previous definition is replaced.

Equivalent to add_package except that a previous definition is replaced.

replace_slash_with_dot s returns a copy of string s where each slash and dollar has been replaced by a dot.

Predefined rules to simplify by absorbing elements.

Predefined rules to optimize load/load sequences.

Predefined rules to optimize store/load sequences.

Predefined rules to optimize store/store sequences.

rindex_from s i c returns the highest index below or equal to i where string s contains a character that equals c.

Returns the root of the passed graph.

Actually executes of the command with passed parameters.

Constructs a value of type s1, raising Integer_exception if value is out of bounds.

Unary negation, raises Integer_exception if result would be out of bounds.

Constructs a value of type s2, raising Integer_exception if value is out of bounds.

Unary negation, raises Integer_exception if result would be out of bounds.

Identity function.

Identity function.

Decrements the passed value, raising Integer_exception if result would be out of bounds.

Identity function.

Akin to search_for_classes, except that Exception is raised if the returned list contains zero or more than one class.

search_for_classes ~open_packages:op cl q returns a list of classes matching query q found in class loader cl, op giving the list of package prefixes that need not to appear (thus allowing to use short rather than fully-qualified class names).

Akin to search_for_constructors, except that Exception is raised if the returned list contains zero or more than one constructor.

search_for_constructors ~open_packages:op cl q returns a list of class/constructor couples matching query q found in class loader cl, op giving the list of package prefixes that need not to appear (thus allowing to use short rather than fully-qualified class names).

Akin to search_for_fields, except that Exception is raised if the returned list contains zero or more than one field.

search_for_fields ~open_packages:op cl q returns a list of class/field couples matching query q found in class loader cl, op giving the list of package prefixes that need not to appear (thus allowing to use short rather than fully-qualified class names).

Akin to search_for_regular_methods, except that Exception is raised if the returned list contains zero or more than one regular method.

search_for_regular_methods ~open_packages:op cl q returns a list of class/method couples matching query q found in class loader cl, op giving the list of package prefixes that need not to appear (thus allowing to use short rather than fully-qualified class names).

Returns the serial version of the passed descriptor.

set a i x changes the element of a at index i to x.

Returns the size of the passed pool.

size_of ofs i returns the size of instruction i at offset ofs.

size_of_list ofs l returns the size of instruction list l at offset ofs.

split c s returns the string list obtained by splitting s using delimiter c.

Splits the passed class name into the package name, and the simple class name.

Splits the passed 8-byte value into two 4-byte values, the first containing the highest bits.

Returns the size of the operand stack for the passed state.

Predefined stream for standard error.

Predefined stream for standard input.

Predefined stream for standard output.

string_of_array f a converts a into a string, using f to convert array elements.

Converts the passed error into a string.

Converts the passed format into a string.

Converts the passed error into a string.

string_of_list f l converts l into a string, using f to convert list elements.

Converts the passed verification type information into a string.

string_replace o n s returns a new string where every occurrence of o is replaced by n.

string_split seps s returns a list of substrings of s separeted by contiguous substrings of elements from seps.

substring s start end returns a string whose characters are those of s from index first to index last (both inclusive).

Returns the parent descriptor of the passed descriptor.

switch eq matches default x search the association list matches for a key equal to x using equality function eq.

Constructs a bare array from an extendable one.

Conversion from UTF8 string into bytes.

Conversion from Unicode character into standard character.

Equivalent to to_char, except that any exception is discarded and '?' is returned.

Conversion from Unicode character into Unicode code value.

Returns the graph as constructed by the passed builder.

Converts the passed manifest into a list of lines.

Conversion from UTF8 string into modified UTF8 string.

to_plain_graph f1 f2 g converts g into its graph representation using f1 to convert vertex labels into strings, and f2 to convert edge labels into strings.

Converts an extendable pool into a pool.

Converts the passed version into a string.

Conversion from UTF8 string into standard string.

Converts the passed manifest into a bare string.

Converts the passed extendable array into a string.

Converts the passed class path into a string.

Converts the passed flag into a string.

Equivalent to to_string, except that any exception is discarded and "..." is returned.

Converts the passed class path into its textual representation.

to_u2 f converts flag f into an integer mask, as used in the class file format.

Converts the passed reference into a string.

Converts the passed flag into a UTF8 string.

Converts the passed string into a list of tokens.

top s returns the top element of s.

trim s returns the passed string with neither leading nor trailing spaces.

try_finally x f h implements the try/finally logic.

try_with st f is equivalent to Utils.try_finally st f close_noerr.

try_with st f is equivalent to Utils.try_finally st f close_noerr.

Constructs a value of type u1, raising Integer_exception if value is out of bounds.

Converts the passed kind into its corresponding code, as used in the classfile format.

Increments the passed value, raising Integer_exception if result would be out of bounds.

Constructs a value of type u2, raising Integer_exception if value is out of bounds.

Identity function.

Increments the passed value, raising Integer_exception if result would be out of bounds.

Constructs a value of type u4, raising Integer_exception if value is out of bounds.

unescape s returns the string corresponding to the passed literal constant string.

unify u st1 st2 returns a state that generalizes st1 and st2.

A unifier that returns the closest common parent of the passed classes.

A unifier that returns java.lang.Object when passed classes are different.

A unifier that returns the closest common parent of the passed classes, using the passed list as a (class, parent) association list.

Universal hash function, bare shorthand for Hashtbl.hash.

update cn ofs i st returns the state st updated according to the instruction i located at offset ofs (in class cn).

Returns the string representation of the passed query.

Converts the passed constructor into a string.

Returns the string representation of the passed query.

Converts the passed field into a string.

Converts a field name into UTF8 form.

Returns the string representation of the passed query.

Converts the passed method into a string.

Converts a method name into UTF8 form.

Returns the string representation of the passed query.

Converts a signature into the corresponding string (as used in class file).

Converts a field descriptor into the corresponding string.

Converts a signature into the corresponding string (as used in class file).

Converts a method descriptor into the corresponding string.

Converts a signature into the corresponding string (as used in class file).

Alias for utf8_of_field, used for increased readability.

The current version of Barista as a string.

Converts the passed descriptor into a verification type information.

Returns the version bounds for the passed instruction.

Returns the version bounds for the passed pool element.

Returns the version bounds for the passed attribute.

Returns the version bounds for the passed flag.

Converts the passed version from (major, minor) format.

write cf st writes the class file cf onto the stream st.

write st ofs l writes instruction list l onto st using offset ofs.

write_bytes s st writes s to st.

write_bytes_from s pos len st writes len bytes from s starting at pos to st.

write_elements length st f l will first write to st the length of l as a Utils.u2 value.

write_extended_info st a writes extended annotation a onto st.

write_info st m writes method m onto st.

write_info st f writes field f onto st.

write_info st a writes an attribute a onto st.

write_info st a writes annotation a onto st.

write_info_element_value st e writes element value e onto st.

Writes a signed 1-byte integer to the passed stream.

Writes a signed 2-byte integer to the passed stream.

Writes a signed 4-byte integer to the passed stream.

Writes a signed 8-byte integer to the passed stream.

write_target st e writes element target e onto st.

Writes an unsigned 1-byte integer to the passed stream.

Writes an unsigned 2-byte integer to the passed stream.

Writes an unsigned 4-byte integer to the passed stream.