Re: Java Compiler Documentation
28 Jul 1998 11:41:35 -0400

          From comp.compilers

Related articles
Java Compiler Documentation (Kerry Benefield) (1998-07-26)
Re: Java Compiler Documentation (Scott Stanchfield) (1998-07-26)
Re: Java Compiler Documentation (Cathal McCarron) (1998-07-27)
Re: Java Compiler Documentation (1998-07-28)
| List of all articles for this month |

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 <> 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

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!


Post a followup to this message

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