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

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

Revision: 538
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=538&view=rev
Author:   pcmehlitz
Date:     2007-08-29 23:26:42 -0700 (Wed, 29 Aug 2007)

Log Message:
-----------
* before AntlrWorks pulls me a leg again, I commit the current test infrastructure
it starts to work but still need some polishing, plus a lot more goals

PLEASE NOTE - this requires the Antlr 3.x runtime lib to compile

* added arrays to the AnnotationInfo

* moved the stuff that is supposed to be used from apps (that make explicit use of
JPF)  into .../app

ultimately, Verify should go there too, but still needs to be cleaned up

Modified Paths:
--------------
    trunk/.classpath
    trunk/bin/javajpf
    trunk/bin/jpf
    trunk/src/gov/nasa/jpf/jvm/AnnotationInfo.java
    trunk/src/gov/nasa/jpf/util/StringSetMatcher.java
    trunk/src/gov/nasa/jpf/util/script/Event.java

Added Paths:
-----------
    trunk/app/
    trunk/app/gov/
    trunk/app/gov/nasa/
    trunk/app/gov/nasa/jpf/
    trunk/app/gov/nasa/jpf/Const.java
    trunk/app/gov/nasa/jpf/NonShared.java
    trunk/app/gov/nasa/jpf/Test.java
    trunk/lib/antlr-runtime-3.0.1.jar
    trunk/src/gov/nasa/jpf/test/
    trunk/src/gov/nasa/jpf/test/ArgList.java
    trunk/src/gov/nasa/jpf/test/CompareGoal.java
    trunk/src/gov/nasa/jpf/test/Goal.java
    trunk/src/gov/nasa/jpf/test/NoThrowsGoal.java
    trunk/src/gov/nasa/jpf/test/TestSpec.g
    trunk/src/gov/nasa/jpf/test/TestSpec.java
    trunk/src/gov/nasa/jpf/test/TestSpecLexer.java
    trunk/src/gov/nasa/jpf/test/TestSpecParser.java
    trunk/src/gov/nasa/jpf/test/ThrowsGoal.java
    trunk/src/gov/nasa/jpf/test/ValSet.java
    trunk/src/gov/nasa/jpf/tools/MethodTester.java
    trunk/src/gov/nasa/jpf/util/ExpandableStringReader.java
    trunk/src/gov/nasa/jpf/util/StringExpander.java
    trunk/test/gov/nasa/jpf/test/
    trunk/test/gov/nasa/jpf/test/TestMethodTest.java

Removed Paths:
-------------
    trunk/env/jpf/gov/nasa/jpf/Const.java
    trunk/env/jpf/gov/nasa/jpf/NonShared.java
    trunk/src/gov/nasa/jpf/util/script/ExpandableStringReader.java
    trunk/src/gov/nasa/jpf/util/script/StringExpander.java


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