The following modules constitute the user interface of Javalib. They are the only modules you should need.
| Javalib | User interface for using the Javalib. |
| JBasics | Basic elements of class files. |
| JCode | High level Ocaml representation of JVM opcodes. |
The Patricia Tree library has been developed by Filliatre and extended by ourselves to add some features and to improve its efficiency in our context.
| Ptmap | Maps over integers implemented as Patricia trees. |
| Ptset | Sets of integers implemented as Patricia trees. |
| GenericMap | Provide a way to create GenericMap from a module specifying how to hash. |
| GenericSet | Provide a way to create GenericSet specifying how to hash. |
Those are the internal modules of Javalib. You should not need to look into those files unless you do rely advanced stuff (and in this case we would love to have some feedback).
JDumpBasics, JSignature, JClass, JFile, JManifest,
JParseCode, JParse, JParseSignature, JUnparse, JUnparseSignature,
JInstruction, JLow2High, JHigh2Low, JBasicsLow, JClassLow and
JDumpLow.