JmlEclipseJazzRepository

Here are notes on how to setup, build and test projects from the KSU Jazz "Team: JMLEclipse" stream.

Assumptions: you ...

• Are working from a new Eclipse workspace.
• Have the necessary Eclipse plug-ins, including those for accessing Jazz and SVN.

Outside of Eclipse:

• Ensure you have OpenJDK6 installed. As of March 2010, the only way to get OpenJDK6 is as a precompiled binary. There is quite a bit of activity on MacPorts ticket #20956 in early November 2010 attempting to fix this problem.

Eclipse Preferences setup, when working from a new workspace:

• Team >> SVN: set the "SVN interface" to "SVNKit (pure Java)".
• Java >> Compiler: set the JDK Compliance to 1.6.
• Java >> Installed JREs:
  • Set "JVM 1.6.x" as your default JRE.
  • Add a "MacOS X VM" named "JVM OpenJDK6" linked to your OpenJDK6 directory.
• General >> Workspace >> Linded Resources: create a WORKSPACE path variable that points to your workspace and ensure that "Enable linked resources" is checked.

Eclipse projects setup:

• If you will be doing development on OpenJIR, then load and configure the Eclipse OpenJDK project (source:OpenJML/trunk/OpenJDK)
  • Load via the subversion URL: https://jmlspecs.svn.sourceforge.net/svnroot/jmlspecs/OpenJML/trunk/OpenJDK, revision 2126.
  • Open the project Properties and select Edit on the Java Build Path >> Libraries >> JRE System Library: as an "Alternate JRE" select "JVM OpenJDK6" or change the project's execution environment.
• Create a Jazz repository connection.
• Then connect to the Sireum project area.
• Create a workspace, say "Team: JMLEclipse Workspace" from the "Team: JMLEclipse" stream under the Sireum/Source_Control folder (note that if you previously created such a workspace it will already be under "My Repository Workspaces").
• Load all of the projects from your "Team: JMLEclipse Workspace" (under "My Repository Workspaces").
• Import the project set source:JmlEclipse/trunk/jmleclipse-utils/misc/jmlEclipse-testing-required-eclipse-org-projects.psf; you can achieve this by right-clicking on this file in your local jmleclise-utils project then selecting Import ... >> Team Project Set.
• The following projects can be closed:
  • org.jmlspecs.eclispe.ui: a new UI based on the Eclipse UI Sireum framework. This is not currently used.
  • org.jmlspecs.jir.openjml.test and .test.util.
  • org.jmlspecs.jir.tutorial.example.test.

[JmlEclipse] can be launched by selecting: Run Configurations ... >> Eclipse Application >> [JmlEclipse] (JML4).