Advertisement
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

JML in Eclipse - folding plug-in

Options
  • 17-07-2007 5:31pm
    #1
    Phosphorus
    Closed Accounts Posts: 10 ✭


    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)


Comments

  • Options
    #2
    mwrf
    Registered Users Posts: 523 ✭✭✭mwrf


    is joe kiniry your supervisor?


Advertisement