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
Hi all! We have been experiencing an issue on site where threads have been missing the latest postings. The platform host Vanilla are working on this issue. A workaround that has been used by some is to navigate back from 1 to 10+ pages to re-sync the thread and this will then show the latest posts. Thanks, Mike.
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

  • 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

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


    is joe kiniry your supervisor?


Advertisement