Error in "New Variable Wizard"

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#209 Error in "New Variable Wizard"

Status: closed-fixed

Owner: Aurélien GILLES

Labels: Event-B interface (231)

Priority: 5

Updated: 2008-12-23

Created: 2008-07-22

Creator: Aurélien GILLES

Private: No

If there is no INITIALISATION clause, "New Variable Wizard" doesn't create it.

In EventBEditorUtils,
assert !newEvt.exists();
newEvt.setLabel("INITIALISATION", m);
throws an exception (creation is missing).

Discussion

Son Hoang - 2008-10-08

labels: --> Event-B interface

assigned_to: nobody --> tshoang
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Laurent Voisin - 2008-11-27

assigned_to: tshoang --> a_gilles
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Aurélien GILLES - 2008-12-23

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Aurélien GILLES - 2008-12-23

Fixed with history support

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.