Re: [abc] Re: [abc-users] Schedule for annotations etc.

From: Ondrej Lhotak <olhotak@sable.mcgill.ca>
Date: Tue Dec 21 2004 - 19:41:29 GMT

On Tue, Dec 21, 2004 at 01:34:09PM +0000, Oege de Moor wrote:
>
> Am I wrong in thinking that annotations are quite easy to add to Soot?

The conclusion we reached at our meeting for making up the Eclipse grant
proposal was that annotations were one of the two Java 1.5 features
that would require extensive work throughout all of Soot (the other
such feature, to a lesser extent, was generics). Have we heard about
the Eclipse grant yet? In particular, annotations require modifications
to all the IRs to include annotations and propagate them to other IRs
(though we may be able to leverage the tagging framework for some of
this), to the coffi class file parser, to the jasmin assembler, to
the IR output code, to the Jimple IR parser, to the decompiler to
output them, to Polyglot to parse them and typecheck them, and to j2j
to convert them from Polyglot to Jimple. We haven't had a chance yet
to determine how difficult each of these steps will be (it depends on
details of how annotations are implemented in class files), but there
are many steps. I don't know what exact promises we made in the Eclipse
proposal.

In addition, for annotations to be useful, Soot needs to be able to
read and write class files in the Java 1.5 classfile format. This will
probably require some of the "simple" 1.5 features (such as enums) to
also be implemented.

A basic plan of attack for the Java 1.5 features is on the wiki:
http://svn.sable.mcgill.ca/wiki/index.php/JavaOneFivePlan

We tentatively decided that Jennifer would work on these features. This
Winter term (Jan-Apr), she has a full course load and is helping Laurie
teach.

Ondrej

> On Mon, 20 Dec 2004, Ondrej LHOTAK wrote:
>
> > Let's not ignore all the work that would have to be done in Soot for
> > Java 1.5.
> >
> > Ondrej
> >
> > On Mon, Dec 20, 2004 at 01:38:49PM +0000, Sascha Kuzins wrote:
> > >
> > > I'm not sure if we can really offer complete java 1.5 support within a
> > > few months, especially with no suitable front-end in sight.
> > > Doesn't mean we can't promise it anyways, but... :-)
> > >
> > > Sascha
> > >
> > >
> > >
> > > Oege de Moor wrote:
> > > > I think we can be more firm.
> > > >
> > > > "We are actively involved with the ajc team in the design of AspectJ 5.
> > > > Regarding annotations, this is not very difficult to implement, and indeed
> > > > we already have done the lexer and parser to support these. Generics
> > > > require some substantial changes to the underlying Java compiler
> > > > (Polyglot), and we are working with the Polyglot team towards realising
> > > > those in the medium term. We don't have a definite schedule, but we're
> > > > talking no more than a few months."
> > > >
> > > > On Sun, 19 Dec 2004, Ganesh Sittampalam wrote:
> > > >
> > > >
> > > >>"Support for Java 5 is something we hope to roll out gradually; the first
> > > >>priority will be to support weaving into Java 5 class files using the
> > > >>existing AspectJ language. We have been involved in the design of the
> > > >>annotations extensions and other features of AspectJ 5, and we would hope
> > > >>to also be able to support these quickly. Unfortunately, we cannot promise
> > > >>any definite timescales at present."
> > > >>
> > > >>How's that sound?
> > > >>
> > > >>Ganesh
> > > >>
> > > >>On Sat, 18 Dec 2004, Pavel Avgustinov wrote:
> > > >>
> > > >>
> > > >>>Who will come up with the "official" reply to this? We should mention
> > > >>>we're involved in the design of AspectJ 5, perhaps...
> > > >>>
> > > >>>- P
> > > >>>
> > > >>>Eric Bodden wrote:
> > > >>>
> > > >>>
> > > >>>>-----BEGIN PGP SIGNED MESSAGE-----
> > > >>>>Hash: SHA1
> > > >>>>
> > > >>>>Hello ABC developers.
> > > >>>>
> > > >>>>Since last week the Eclipse and AJC team were making a huge jump
> > > >>>>forward with annotations support: Do you have a schedule already for
> > > >>>>an ABC version that will support them (and probably other Java 5
> > > >>>>features)?
> > > >>>>
> > > >>>>Cheers,
> > > >>>>Eric
> > > >>>>
> > > >>>>- --
> > > >>>>Eric Bodden
> > > >>>>Chair I2 for Programming Languages and Program Analysis
> > > >>>>RWTH Aachen University
> > > >>>>
> > > >>>>-----BEGIN PGP SIGNATURE-----
> > > >>>>Version: PGP 8.0.3
> > > >>>>
> > > >>>>iQA/AwUBQcSrO8wiFCm7RlWCEQK19gCfQ9T9zHN9JUDwdgplqO2k/SYyRGYAoMxd
> > > >>>>wK6hnfBXQqcBh21AN99DPKZG
> > > >>>>=tKTe
> > > >>>>-----END PGP SIGNATURE-----
> > > >>>>
> > > >>>>
> > > >>>>
> > > >>>>
> > > >>>>
> > > >>>>
> > > >>>
> > > >>>
> > > >>>
> > > >>>
> > > >>>
> > > >>
> > > >
> > >
> >
>
Received on Tue Dec 21 19:41:33 2004

This archive was generated by hypermail 2.1.8 : Tue Dec 21 2004 - 21:50:03 GMT