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

[<ubn...@us...>]

Revision: 973
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=973&view=rev
Author:   ubnepvpb
Date:     2008-08-23 00:16:48 +0000 (Sat, 23 Aug 2008)

Log Message:
-----------
Carl Albach's StateChart animation GUI
Changes to core JPF methods are mostly visibility changes

Modified Paths:
--------------
    trunk/env/jpf/java/lang/reflect/Field.java
    trunk/env/jpf/java/lang/reflect/Method.java
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
    trunk/src/gov/nasa/jpf/tools/ChoiceTracker.java

Added Paths:
-----------
    trunk/extensions/statechart/examples/samplevisualizeconfigs/
    trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-ascent-guards
    trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-las-defect
    trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-safehold
    trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-scriptless
    trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-scriptless-bt
    trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-scriptless-constraints
    trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-tli
    trunk/extensions/statechart/examples/samplevisualizeconfigs/cv-assumption
    trunk/extensions/statechart/examples/visualize/
    trunk/extensions/statechart/examples/visualize/CEV_15EOR_LOR.java
    trunk/extensions/statechart/examples/visualize/ErrorLog.java
    trunk/extensions/statechart/examples/visualize/Failures.java
    trunk/extensions/statechart/examples/visualize/README-ESAS.txt
    trunk/extensions/statechart/examples/visualize/README-annotations.txt
    trunk/extensions/statechart/examples/visualize/Spacecraft.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/EdgeUtility.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/NotificationConsole.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/ReadMe
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/StateMachineDiagram.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/TextDiagram.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualDiagram.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualDriver.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualModel.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualResource.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualSimStateMachine.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualView.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/ExternalState.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/NextNeighbor.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/README-annotations.txt
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/Transitions.java


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