[Checkers] Augmenting Parser

Mahmood Ali mahmood at MIT.EDU
Tue Aug 12 13:18:36 EDT 2008


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.


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

More information about the checkers mailing list