Re: Parsing generics painfully

Mark Raynsford <[email protected]> Thu, 2 Nov 2017 10:10:21 +0000

Newsgroups	gmane.comp.java.objectweb.asm
Organization	io7m.com
Message-ID	<[email protected]>

On 2017-11-01T18:29:35 +0000
Mark Raynsford <[email protected]> wrote:

> Hello.
> 
> Does anyone have any example code regarding parsing generics into an
> AST-like structure? I'm having extreme difficulty correctly building
> ASTs from the event-based SignatureVisitor, and the lack of
> documentation is really not helpful at all.

To elaborate: What I'm actually trying to do is compare two signatures
to try to determine if the generic type parameters of a given class
have changed. I consider two signatures to be equal if they're
α-equivalent: Take the first signature, substitute the names of all of
the bound variables with unique integers, saving the mappings of names
to integers. Perform the same renaming on the second signature using the
names → integers mapping produced from the first signature. Compare the
two renamed signatures for structural equality.

-- 
Mark Raynsford | http://www.io7m.com

signature.asc (application/pgp-signature, 833 B)