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

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

Revision: 1028
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1028&view=rev
Author:   pcmehlitz
Date:     2008-10-01 01:19:54 +0000 (Wed, 01 Oct 2008)

Log Message:
-----------
* updated the Eclipse launch configs (which are hopefully going away with the advent of Eclipse/NetBeans
*.jpf files) so that statechart extension scripts are specified with "+sc.script=..". This became
necessary because we've added the capability to query the arguments from the model code, which shouldn't
include the script.

* slight change in String expansion - alternatives ('..|..') and char classes ('..[..]..') are
expanded within string literals, and single quotes are automatically replaced with double quotes
('ab|cd' -> {"ab","cd"}. This is to make it more readable for double quote contexts like
annotation parameters, but it's not ideal. If single or double quotes should be preserved, they
have to be '\' escaped.

* for some unknown reason, the TestContext lost the check for compatible ctor args. Reinstated
(should make the MethodTester run again)

Modified Paths:
--------------
    trunk/examples/jpfESAS/launch/CEV-ascent-guards.launch
    trunk/examples/jpfESAS/launch/CEV-interactive-sim.launch
    trunk/examples/jpfESAS/launch/CEV-las-defect-sim.launch
    trunk/examples/jpfESAS/launch/CEV-las-defect.launch
    trunk/examples/jpfESAS/launch/CEV-nominal-sim.launch
    trunk/examples/jpfESAS/launch/CEV-safehold.launch
    trunk/examples/jpfESAS/launch/CEV-scriptless-constraints.launch
    trunk/examples/jpfESAS/launch/CEV-tli-sim.launch
    trunk/examples/jpfESAS/launch/CEV-tli.launch
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
    trunk/src/gov/nasa/jpf/test/TestContext.java
    trunk/src/gov/nasa/jpf/util/ExpandableStringReader.java
    trunk/src/gov/nasa/jpf/util/StringExpander.java


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