Java Bytecode Signatures

Question

As part of the compiler for the programming language I am working on, I came across generic signatures in the bytecode, which I am trying to parse and convert to an AST. The

Answer 1

There is a defined syntax that changed as of JSR 14 to specify the bounds of a generic type.

variable_name:class_type_bound:interface_type_bounds

So for your example of:

;>

Which would reflect:

>

The variable name is T, there is no class type bound so it was omitted, and there was an interface bound of type Comparable.

All your example follow this, but there any many different forms:

(Ljava/util/Collection;)TT;
(Ljava/util/Collection;)TT;
;)TT;

Source