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

[<jt...@us...>]

Revision: 1285
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1285&view=rev
Author:   jtzwu
Date:     2009-03-17 18:10:33 +0000 (Tue, 17 Mar 2009)

Log Message:
-----------
Add JPF config options documentation tool

Modified Paths:
--------------
    trunk/.classpath
    trunk/build.xml
    trunk/env/jpf/java/util/regex/Matcher.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_regex_Matcher.java

Added Paths:
-----------
    trunk/build-tools/optionsdoc/
    trunk/build-tools/optionsdoc/build/
    trunk/build-tools/optionsdoc/src/
    trunk/build-tools/optionsdoc/src/gov/
    trunk/build-tools/optionsdoc/src/gov/nasa/
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/BytecodeOptionsScanner.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/CodeScanner.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/CodeScannerFactory.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/ConfigDoc.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/ConfigDoclet.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/ConfigIOException.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/ConfigIOImpl.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/DocAppFactory.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/DocletArguments.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/MethodScanner.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/MethodScannerFactory.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/Options.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsFactory.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsFactoryImpl.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsFileReader.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsFileWriter.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsHandler.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsHandlerImpl.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsIO.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsReader.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsScanner.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsWriter.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/TagReader.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/KnownValue.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/StackSimulator.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/StackValue.java
    trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/UnknownValue.java
    trunk/test/gov/nasa/jpf/test/TestRegex.java
    trunk/test/gov/nasa/jpf/test/TestUtilsJPF.java


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