Re: Java Compiler Documentation

jamz@my-dejanews.com
28 Jul 1998 11:41:35 -0400

          From comp.compilers
Related articles
Java Compiler Documentation K.Benefield@city.ac.uk (Kerry Benefield) (1998-07-26)
Re: Java Compiler Documentation thetick@magelang.com (Scott Stanchfield) (1998-07-26)
Re: Java Compiler Documentation br688@city.ac.uk (Cathal McCarron) (1998-07-27)
Re: Java Compiler Documentation jamz@my-dejanews.com (1998-07-28)
| List of all articles for this month |
From: jamz@my-dejanews.com
Newsgroups: comp.compilers
Date: 28 Jul 1998 11:41:35 -0400
Organization: Deja News - The Leader in Internet Discussion
References: 98-07-185 98-07-190 98-07-206
Keywords: Java

In article 98-07-206,
    Cathal McCarron <br688@city.ac.uk> wrote:
> > >For my project towards an MSc I'm taking I have to modify the Java
> > >compiler to introduce a form of assertion support.


Be sure to check out the iContract system at http://www.promigos.ch/kramer/


It lets you specify "design contracts" in javadoc comments. He has support
for all of the UML contract specifiers, I think. It runs as a preprocessor,
and it's based on the ANTLR java grammar!


Monty
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.