[Checkers] Augmenting Parser

[Michael Ernst]

Mahmood and Benjamin-

Please also coordinate with Igor Peshansky, cc'ed above.  He has promised
to build a JSR 308 implementation in Eclipse, so for Mahmood especially I
don't think it makes sense to duplicate that effort.

                    -Mike

> From: Mahmood Ali <mahmood at MIT.EDU>
> To: Benjamin Muskalla <bmuskalla at innoopract.com>
> Cc: checkers at lists.csail.mit.edu
> Subject: Re: [Checkers] Augmenting Parser
> Date: Tue, 12 Aug 2008 13:18:36 -0400
> 
> Greetings,
> 
> Thank you for your interest.
> 
> No.  I did not make it public yet.  I can send you the jdt.core jar  
> file if you tell me what version of eclipse you are running.  You may  
> be already aware of this, but the public development page for JSR 308  
> is http://groups.csail.mit.edu/pag/jsr308/ , which contains a  
> prototype implementation of JSR308-conforming java compiler and a set  
> of compiler plug-ins as type-checkers for pluggable type systems.
> 
> Currently, the eclipse support for JSR 308 is quite limited; and there  
> exists two plug-ins:
> . A public eclipse plug-in (http://groups.csail.mit.edu/pag/jsr308/eclipse/ 
> ) that runs the distributed checkers on eclipse projects.
> . A private augmentation of jdt.core plug-in that parses the type  
> annotations and ignores them.  This eliminates syntax error messages  
> for type-annotations, but does not provide type-checking for the  
> annotations.  It does not augment the generated tree objects to  
> maintain the annotations either.
> 
> I must admit that Eclipse is a new platform for me, so I am making  
> very minimal progress in it.  Any help would be appreciated.
> 
> Regards,
> Mahmood
> 
> On Aug 12, 2008, at 11:37 AM, Benjamin Muskalla wrote:
> 
> > Hi Mahmood,
> >
> > is there a public place where this is developed?
> > I'm really interested to see a JSR 308 implementation on top of JDT/ 
> > Core
> >
> > Best regards
> >  Benny
> >
> > Mahmood Ali wrote:
> >> Philippe Mulet wrote:
> >>> Please read http://www.eclipse.org/jdt/core/howto/generate%20parser/generateParser.html
> >> Thanks for the document.  I saw this one awhile ago but it doesn't  
> >> really describe jikespg syntax itself.
> >> I was hoping to find a documentation of jikespg itself; a document  
> >> that explains the syntax of the special options/commands (e.g.  
> >> %options, readableName, etc) how creating a new tree would need to  
> >> affect the compiler, and the other required Java classes.
> >> As a sidenote, a link to jikespg download page in the given page  
> >> would be nice.  It took me a long time to get jikespg which was  
> >> last updated back in 2001.
> >> Thanks very much.
> >> Regards,
> >> Mahmood
> 
> 
> _______________________________________________
> checkers mailing list
> checkers at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/checkers