atiti
commented
11 years ago From: (GH: None) Date: Sat Dec 15 17:24:18 2007
added mailto line
This message has 0 attachment(s)
Open atiti opened 11 years ago
atiti
commented
11 years ago From: (GH: None) Date: Sat Dec 15 17:24:18 2007
added mailto line
This message has 0 attachment(s)
atiti
commented
11 years ago From: (GH: None) Date: Sat Dec 15 17:26:29 2007
added mailto line
This message has 0 attachment(s)
atiti
commented
11 years ago From: kiniry (GH: kiniry) Date: Thu May 28 18:20:01 2009
We have built the environment here at the Spec-a-thon for Windows, OS X, and (nearly) Linux.
{{{
!html
Reply to: noreply@sort.ucd.ie }}} {{{ Task #1127 has been updated.
Project: ESC/Java2 Subproject: To Do Summary: Setup development environment in latest Eclipse release Complete: 100% Status: Closed
Description: I am setting up a full development environment with Eclipse 3.0 so that we may use the various JML-aware Eclipse plugins for ESC/Java2 development.
The plugins I am currently using, or am planning to start using soon, are JMLEclipse, ESC/Java2, Indus, Bogor, Daikon, and Ernst's continuous testing.
I am setting up Java builders in Eclipse to run make commands including source generation and tests.
I am committing the .project and .classfile files into the repository so others who wish to use Eclipse 3.0 can bootstrap off of them and not go through all the pain that I have been through this weekend. :)
Follow-Ups:
Date: 2007-04-25 17:06 By: jkiniry
Comment: This new configuration is complete and I gave a demonstration of it at ETAPS. We'll now test it in Windows and Linux then ship it to Mobius partners and the world.
Date: 2006-10-13 20:36 By: jkiniry
Comment: I am going to finish the new implementation of the JML plugin, incorporate the ESC/Java plugin, FindBugs (per David's request), and incorporate the CheckStyle code standard before releasing the complete workspace.
Date: 2005-12-18 20:22 By: jkiniry
Comment: I am adding you guys to this task as you have been/will be using Eclipse for ESC/Java2 development thus you have been using/reworking the project in the CVS repository (right Robin?).
Should we call this done yet?
Date: 2005-08-30 10:40 By: davidcok
Comment: I suggest including FindBugs as well, though it is not JML specific. - David
Date: 2005-08-29 14:05 By: jkiniry
Comment: Full setup of 3.0 is completed and committed.
I have decided that the performance and behavior of the JMLEclipse plugin is unsatisfactory at this time, so I moved to Eclipse 3.1. I'm in communication with authors of the various plugins and will incorporate them into my environment over time, with the able assistance of SRG members, over the coming few weeks.
I am updating the end date of this task to reflect this state-of-affairs.
We cannot setup a reasonable builder that uses a GNU make-spawned jml/jmlc/escjava2 since the smart Make support (e.g., parsing make output) is only available in Eclipse's CDT. We need to file a bug report and support request on this with the Eclipse folks.
For more info, visit:
http://sort.ucd.ie/pm/task.php?func=detailtask&project_task_id=1127&group_id=97&group_project_id=170 }}}