Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Newcomers » Newcomers » Contacts for plug-in adding compiler tools?
Contacts for plug-in adding compiler tools? [message #176601] Wed, 25 October 2006 20:42 Go to next message
Eclipse UserFriend
Originally posted by: arkaaito.users.sourceforge.net

I'm part of a student team working on a project to create an Eclipse
plug-in providing JML tool support. (For curious parties,
http://www.cs.iastate.edu/~leavens/JML/ is the JML homepage. For all
others, the relevant part is that JML is a specification language placed
inside special JavaDoc comments.)

Our goals are as follows:

- Provide syntax highlighting for JML
- Provide QuickFix and AutoSuggest functionality for JML
- Build on top of Eclipse's parsing process so that we do not duplicate
its Java parse/compile process (costly in computer time) but rather append
our existing JML parse/compile process. Hopefully this will allow us to
do as-you-type error detection in the same fashion as Eclipse's basic Java
facilities.

We are adapting David Cok's code as a basis for this project. This means
that we have our JML tools, but we're still working on how to link all
this into Eclipse.

Can anyone recommend newsgroups within the Eclipse community that are
relevant to these goals? I'm particularly interested in getting in touch
with the people who are involved in creating the compile and parse hooks
for plug-ins, since we already have a few resources on the first two goals.

THanks in advance - any useful advice is much appreciated!
Re: Contacts for plug-in adding compiler tools? [message #176617 is a reply to message #176601] Wed, 25 October 2006 23:48 Go to previous message
Eclipse UserFriend
Originally posted by: nobody.there.127.0.0.1

A. Smiley wrote:
> - Provide syntax highlighting for JML
> - Provide QuickFix and AutoSuggest functionality for JML
> - Build on top of Eclipse's parsing process so that we do not duplicate
> its Java parse/compile process (costly in computer time)
....
> Can anyone recommend newsgroups within the Eclipse community that are
> relevant to these goals?

I think you want one or both of:
news://news.eclipse.org/eclipse.tools.jdt
news://news.eclipse.org/eclipse.platform

The AspectJ project might also have done something along the same lines.

Good luck!

Andrew Jr.

============================================================ ==========
IBM Phoenix Labs (OTI)
2929 North Central Avenue
Phoenix, Arizona, USA 85012
Previous Topic:built-in rmic support
Next Topic:How to solve KeyBindingService problem
Goto Forum:
  


Current Time: Wed Apr 24 22:08:10 GMT 2024

Powered by FUDForum. Page generated in 0.07288 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top