[Javapathfinder-svn] SF.net SVN: javapathfinder:[1074] trunk

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

Revision: 1074
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1074&view=rev
Author:   pcmehlitz
Date:     2008-11-21 05:32:11 +0000 (Fri, 21 Nov 2008)

Log Message:
-----------
* vm.sourcepath now also supports jars, including archive internal root dirs (as in ../hum/di/dum/src.jar/src). Note that even on Windows, archive internal paths have to use '/', i.e. these "jar paths" have a filesystem- and an archive- part.

* because of this, Config now only recognizes ',' as separator for String arrays

!!!! IF YOU USED ':' OR ' ' OR ';' AS SEPARATORS IN *.properties, *.jpf OR ECLIPSE *.launch FILES, YOU HAVE TO CHANGE THEM !!!!

* little fix on the go - if BCEL doesn't report a source file, and we have to guess it from the class name, we should use the outermost encapsulating class name (note this doesn't help for non-public classes)

Modified Paths:
--------------
    trunk/default.properties
    trunk/examples/ICSETutorial/launch/Tutorial-CEV-scriptless-bt.launch
    trunk/examples/ICSETutorial/launch/Tutorial-CV-generate-assumption-1.launch
    trunk/examples/ICSETutorial/launch/Tutorial-CV-generate-assumption-2.launch
    trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-UseAssumption.launch
    trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-generateAssumption.launch
    trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-scriptless.launch
    trunk/examples/ICSETutorial/launch/Tutorial-Output-dischargeAssumption.launch
    trunk/examples/jpfESAS/launch/CEV-scriptless-bt.launch
    trunk/examples/jpfESAS/launch/CEV-scriptless-constraints.launch
    trunk/examples/jpfESAS/launch/CEV-scriptless.launch
    trunk/examples/jpfESAS/launch/CV-assumption-1.launch
    trunk/examples/jpfESAS/launch/CV-assumptions-1-2.launch
    trunk/examples/jpfESAS/launch/CV-generate-assumption-1.launch
    trunk/examples/jpfESAS/launch/CV-generate-assumption-2.launch
    trunk/examples/launch/basic-racer.launch
    trunk/examples/launch/basic-random.launch
    trunk/examples/launch/conc-1-RA.launch
    trunk/examples/launch/conc-2-RA_da.launch
    trunk/examples/launch/conc-3-lockorder.launch
    trunk/examples/launch/conc-4-ms.launch
    trunk/examples/launch/conc-5-nml.launch
    trunk/examples/launch/conc-6-race.launch
    trunk/examples/launch/conc-7-race-eraser.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage DoubleTest Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced Test #0.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
    trunk/src/gov/nasa/jpf/report/Reporter.java
    trunk/src/gov/nasa/jpf/report/XMLPublisher.java
    trunk/src/gov/nasa/jpf/util/Source.java
    trunk/src/gov/nasa/jpf/util/SourceRef.java
    trunk/test/gov/nasa/jpf/mc/TestAnnotationPropertiesJPF.java
    trunk/test/gov/nasa/jpf/mc/TestDataChoiceJPF.java


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