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

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

Revision: 1403
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1403&view=rev
Author:   pcmehlitz
Date:     2009-04-15 01:01:08 +0000 (Wed, 15 Apr 2009)

Log Message:
-----------
* added a synthetic "config" and "config_path" entry to Config, which is set from the mode property file (if there is any). With that, you can finally specify scripts relative to where the *.jpf is stored, like

  inspect.script = ${config_path}/myscript.es

* fixed a little bug in Config.getTargetArgParameters
  
* removed the awt.* -> inspect.* hack in the UIInspector. Still need to change a bunch of launch configs accordingly, but they now can be replaced with *.jpf's anyways

* moved all the non-test extensions/ui launch configs to *.jpf's

Modified Paths:
--------------
    trunk/extensions/ui/examples/RobotManager test.launch
    trunk/extensions/ui/examples/RobotManager-nothread.jpf
    trunk/extensions/ui/examples/RobotManager-thread1.jpf
    trunk/extensions/ui/examples/RobotManager-thread2.jpf
    trunk/extensions/ui/examples/RobotManager-thread3.jpf
    trunk/extensions/ui/examples/RobotManager-thread4.jpf
    trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/util/Inspector.java

Removed Paths:
-------------
    trunk/extensions/ui/examples/RobotManager nothread.launch
    trunk/extensions/ui/examples/RobotManager thread.launch
    trunk/extensions/ui/examples/RobotManager-nothread-console.jpf
    trunk/extensions/ui/examples/RobotManager-thread-console.jpf


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