package javalib

  1. Overview
  2. Docs
type typeVariable =
  1. | TypeVariable of string
type typeArgument =
  1. | ArgumentExtends of fieldTypeSignature
  2. | ArgumentInherits of fieldTypeSignature
  3. | ArgumentIs of fieldTypeSignature
  4. | ArgumentIsAny
and simpleClassTypeSignature = {
  1. scts_name : string;
  2. scts_type_arguments : typeArgument list;
}
and classTypeSignature = {
  1. cts_package : string list;
  2. cts_enclosing_classes : simpleClassTypeSignature list;
  3. cts_simple_class_type_signature : simpleClassTypeSignature;
}
and formalTypeParameter = {
  1. ftp_name : string;
  2. ftp_class_bound : fieldTypeSignature option;
  3. ftp_interface_bounds : fieldTypeSignature list;
}
and throwsSignature =
  1. | ThrowsClass of classTypeSignature
  2. | ThrowsTypeVariable of typeVariable
and typeSignature =
  1. | GBasic of JBasics.java_basic_type
  2. | GObject of fieldTypeSignature
and classSignature = {
  1. cs_formal_type_parameters : formalTypeParameter list;
  2. cs_super_class : classTypeSignature;
  3. cs_super_interfaces : classTypeSignature list;
}
and fieldTypeSignature =
  1. | GClass of classTypeSignature
  2. | GArray of typeSignature
  3. | GVariable of typeVariable
type methodTypeSignature = {
  1. mts_formal_type_parameters : formalTypeParameter list;
  2. mts_type_signature : typeSignature list;
  3. mts_return_type : typeSignature option;
  4. mts_throws : throwsSignature list;
}