Re: [Jastadd] _at_Override annotations in Java 6

From: Jesper Öqvist <jesper.oqvist_at_cs.lth.se>
Date: Wed, 09 Jan 2013 16:59:59 +0100

Hello Eric,

The Java 7 frontend implements the new Override semantics. For
historical reasons it is not implemented in the Java 5/6 frontend.

/Jesper

On 2013-01-09 16:56, Eric Bodden wrote:
> Hello.
>
> As some of you may know, the semantics for checking _at_Override
> annotations changed from Java 5 to 6. I wonder if there's a flag I can
> give to the JastAdd frontend to choose the Java 6 semantics.
>
> Cheers,
> Eric
>
Received on Wed Jan 09 2013 - 17:00:00 CET

This archive was generated by hypermail 2.3.0 : Wed Apr 16 2014 - 17:19:06 CEST