[Checkers] Augmenting Parser
Mahmood Ali
mahmood at MIT.EDU
Tue Aug 12 13:18:36 EDT 2008
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
More information about the checkers
mailing list