Module JParseSignature

module JParseSignature: sig .. end

This module handles the decoding of descriptors and signatures.

Parsing descriptors and their components

val parse_objectType : string -> JBasics.object_type

Raises Class_structure_error if the string does not correspond the an object type.

val parse_field_descriptor : string -> JBasics.value_type

Raises Class_structure_error if the string does not correspond the a field descriptor.

val parse_method_descriptor : string -> JBasics.method_descriptor

Raises Class_structure_error if the string does not correspond the a method descriptor.

val parse_descriptor : string -> JBasics.descriptor

Raises Class_structure_error if the string does not correspond the a descriptor.

Parsing generic signatures

val parse_ClassSignature : string -> JSignature.classSignature

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).

Raises Class_structure_error if the signature does not correspond to the specifications.

val parse_MethodTypeSignature : string -> JSignature.methodTypeSignature

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).

Raises Class_structure_error if the signature does not correspond to the specifications.

val parse_FieldTypeSignature : string -> JSignature.fieldTypeSignature

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).

Raises Class_structure_error if the signature does not correspond to the specifications.