Command for checking initialised status is out of date

Description

The eclipse_interface has changed. The boolean property to check is now "initialised" instead of "isInitialisedState"

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

Fixed

Details

Assignee

Reporter

Fix versions

Priority

Created April 4, 2013 at 11:26 AM
Updated April 4, 2013 at 2:33 PM
Resolved April 4, 2013 at 2:33 PM