Re: [Jastadd] _at_Override annotations in Java 6

From: Jesper Öqvist <jesper.oqvist_at_cs.lth.se>
Date: Thu, 10 Jan 2013 08:57:02 +0100

Yes, the Java 7 implementation is stable. Unfortunately we do not have
as many tests for the Java 7 implementation as we do for Java 5.

If you want to use the new Override semantics with the Java5 frontend
you can copy the file Java7Frontend/Override.jrag into Java1.5Frontend.

/Jesper

On 01/10/2013 08:46 AM, Eric Bodden wrote:
> Hello.
>
>> The Java 7 frontend implements the new Override semantics. For historical
>> reasons it is not implemented in the Java 5/6 frontend.
> Thanks for the quick response. Is this frontend considered stable? I
> am asking because I would consider switching Soot/abc to it then.
>
> Eric
Received on Thu Jan 10 2013 - 08:56:41 CET