#2: abstract out Eclipse project locations in the local file system in a way
that they are easily available to tests and scripts
-----------------------+----------------------------------------------------
Reporter: davidcok | Owner:
Type: task | Status: closed
Priority: major | Milestone:
Component: OpenJML | Version:
Resolution: fixed | Keywords: infrastructure
-----------------------+----------------------------------------------------
Changes (by davidcok):
* status: assigned => closed
* resolution: => fixed
Comment:
Those platform or user dependent items are obtained from a common
openjml.properties file. The SVN repository has a template for this
properties file, which users must customize for their own system. The
properties file is also usable by the ant build scripts. Within Eclipse,
a standard organization of the SVN projects is assumed, the one generated
by importing the project.psf file. Locations of provers as well as other
customizations are recorded in the properties file.
--
Ticket URL: <
http://sourceforge.net/apps/trac/jmlspecs/ticket/2#comment:3>
jmlspecs <
http://sourceforge.net/projects/jmlspecs/>
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, documentation generation, unit testing, static checking, verification, etc.
------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
