If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)

Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie

Hi there,
There is an issue with role permissions that is being worked on at the moment.
If you are having trouble with access or permissions on regional forums please post here to get access: https://www.boards.ie/discussion/2058365403/you-do-not-have-permission-for-that#latest

JML in Eclipse - folding plug-in

Phosphorus · 2007-07-17 16:31:05

Hi all, I'm a CS student doing a summer internship in Ireland. As a part of my project I have modified a folding plug-in for Eclipse (http://www.eclipse.org) so that it correctly handles Java JML (http://www.jmlspecs.org/) annotations separately from normal comments and so it should be useful to any developer using the…

17-07-2007 4:31pm

#1

Phosphorus

Closed Accounts Posts: 10 ✭

Join Date: October 2006

Posts: 9

Hi all,

I'm a CS student doing a summer internship in Ireland. As a part of my project I have modified a folding plug-in for Eclipse (http://www.eclipse.org) so that it correctly handles Java JML (http://www.jmlspecs.org/) annotations separately from normal comments and so it should be useful to any developer using the folding facility in Eclipse and worksing with JML.
It can be found here: http://sort.ucd.ie/projects/grok/

If any of you will find it useful, please let me know.

(Mods: if I managed to violate any forum rules by posting this, please remove the thread. Thanks)

0

Comments

#2 17-07-2007 9:32pm

mwrf

Registered Users, Registered Users 2 Posts: 523 ✭✭✭

Join Date: December 2005

Posts: 480

is joe kiniry your supervisor?

0