[Javapathfinder-devel] SF.net SVN: javapathfinder: [719] trunk

[<pcm...@us...>]

Revision: 719
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=719&view=rev
Author:   pcmehlitz
Date:     2007-12-20 16:37:04 -0800 (Thu, 20 Dec 2007)

Log Message:
-----------
* changed @Requirement annotation to have a String array attribute, so that a method can be associated with several
requirements. Still needs some more polishing for the report (we probably should report the uncovered/not-loaded methods for each requirement). It's also worth it to extend the MethodTester to execute test exprs for certain requirements (not the whole class)

* added the Eclipse launch configs to the test dir

Modified Paths:
--------------
    trunk/app/gov/nasa/jpf/Requirement.java
    trunk/doc/JPF_files/JPF-mod.css
    trunk/src/gov/nasa/jpf/tools/CoverageAnalyzer.java
    trunk/test/gov/nasa/jpf/test/TestMethodTest.java
    trunk/test/gov/nasa/jpf/test/TestRequirementsCoverage.java

Added Paths:
-----------
    trunk/test/gov/nasa/jpf/test/TestConst.launch
    trunk/test/gov/nasa/jpf/test/TestContracts.launch
    trunk/test/gov/nasa/jpf/test/TestMethods-standalone.launch
    trunk/test/gov/nasa/jpf/test/TestMethods.launch
    trunk/test/gov/nasa/jpf/test/TestRequirements.launch
    trunk/test/gov/nasa/jpf/test/TestSequence.launch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.