javalib

Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files
IN THIS PACKAGE
type typeVariable =
| TypeVariable of string
type typeArgument =
| ArgumentExtends of fieldTypeSignature
| ArgumentInherits of fieldTypeSignature
| ArgumentIs of fieldTypeSignature
| ArgumentIsAny
and simpleClassTypeSignature = {
scts_name : string;
scts_type_arguments : typeArgument list;
}
and classTypeSignature = {
cts_package : string list;
cts_enclosing_classes : simpleClassTypeSignature list;
cts_simple_class_type_signature : simpleClassTypeSignature;
}
and formalTypeParameter = {
ftp_name : string;
ftp_class_bound : fieldTypeSignature option;
ftp_interface_bounds : fieldTypeSignature list;
}
and throwsSignature =
| ThrowsClass of classTypeSignature
| ThrowsTypeVariable of typeVariable
and typeSignature =
| GBasic of JBasics.java_basic_type
| GObject of fieldTypeSignature
and classSignature = {
cs_formal_type_parameters : formalTypeParameter list;
cs_super_class : classTypeSignature;
cs_super_interfaces : classTypeSignature list;
}
and fieldTypeSignature =
| GClass of classTypeSignature
| GArray of typeSignature
| GVariable of typeVariable
type methodTypeSignature = {
mts_formal_type_parameters : formalTypeParameter list;
mts_type_signature : typeSignature list;
mts_return_type : typeSignature option;
mts_throws : throwsSignature list;
}