[Jastadd] _at_Override annotations in Java 6

From: Eric Bodden <eric.bodden_at_ec-spride.de>
Date: Wed, 9 Jan 2013 16:56:19 +0100

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

-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

Received on Wed Jan 09 2013 - 16:57:18 CET