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

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

Revision: 516
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=516&view=rev
Author:   pcmehlitz
Date:     2007-08-16 10:44:56 -0700 (Thu, 16 Aug 2007)

Log Message:
-----------
* reverted the 'final' modifier requirement for structural State fields in state machine
model classes. As a reminder - this came up because there was an application that stored
states in ordinary variable fields, which were not intended to define the composition of
the state machine (basically, state machines and controlled objects got folded into the
same State class).

'final' seemed to be a good idea at the time, since the statemachine structure is
supposed to be invariant, but it was way too easy to forget the modifier and end up with
a runtime exception, thus killing our "no overhead, more easy than drawing" argument. I
think those strange references are way too exotic to value higher than ease of use

if you really really need such reference variables, they have to be marked with a
@NoSubState annotation

* moved the annotation type defs into State - saves an import and doesn't make
sense outside anyways

* updated the models accordingly (though 'final' doesn't have to be removed)

Modified Paths:
--------------
    trunk/extensions/statechart/doc/translation-rules.txt
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_State.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
    trunk/extensions/statechart/examples/FixedPhone.java
    trunk/extensions/statechart/examples/SendEvents1.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
    trunk/src/gov/nasa/jpf/jvm/AnnotationInfo.java
    trunk/src/gov/nasa/jpf/jvm/FieldInfo.java

Removed Paths:
-------------
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/Params.java


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