Command for checking initialised status is out of date
Description
Environment
None
Gliffy Diagrams
Activity
Show:

Jenkins Build Server April 4, 2013 at 11:52 AM
Integrated in
ProB_eclipse_develop #864
use constant instead of hard coded string () (Revision 6a296ec2cc6409e5d037cbfa5ecae657212dce9a)
Result = SUCCESS
sebastian :
Files :
de.prob.core/src/de/prob/core/command/CheckInitialisationStatusCommand.java

Jenkins Build Server April 4, 2013 at 11:33 AM
Integrated in
ProB_eclipse_develop #863
changed the command so that it is compatible with the current probcli (Revision 9cfd3bf4aa2b40c2d91ae088060d6dd43b899293)
Result = SUCCESS
joyclark2004 :
Files :
de.prob.core/src/de/prob/core/command/CheckInitialisationStatusCommand.java
The eclipse_interface has changed. The boolean property to check is now "initialised" instead of "isInitialisedState"