PR# 14057 Check violation when switching EiffelStudio from normal to debug mode

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2008/03/03
Class: Bug
Severity: Serious
Number: 14057
Release: 6.2.7.2437
Confidential: No
Status: Analyzed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.12) Gecko/20080201 Firefox/2.0.0.12
Synopsis: Check violation when switching EiffelStudio from normal to debug mode

Description
I started my workbench version and clicked the debug mode button, when I did that I got the following check violation. I had previously removed all my docking preferences.

one_button: Assertion violated. (CHECK_VIOLATION)
******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
EB_DEBUGGER_MANAGER restore_standard_debug_docking_layout_by_code @13
                                           one_button:
<0000000005AD5398>                         Assertion violated.           Fail
-------------------------------------------------------------------------------
EB_DEBUGGER_MANAGER restore_standard_debug_docking_layout_by_code @13
<0000000005AD5398>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DEBUGGER_MANAGER restore_standard_debug_docking_layout @7
<0000000005AD5398>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DEBUGGER_MANAGER restore_debug_docking_layout @5
<0000000005AD5398>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DEBUGGER_MANAGER raise_saving_layout @35
<0000000005AD5398>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DEBUGGER_MANAGER force_debug_mode @3                                 
<0000000005AD5398>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FORCE_DEBUG_MODE_CMD
                    execute_for_opening @4 
<0000000005D1BD08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_FORCE_DEBUG_MODE_CMD
                    execute @2             
<0000000005D1BD08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           fast_call                                           
<000000000E7A19A8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @3                                             
<000000000E7A19A8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @22               
<000000000E7A1918>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<000000000E7A1918>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_SD_COMMAND_TOOL_BAR_TOGGLE_BUTTON
                    on_pointer_release @7  
<000000000E7A1558>  (From SD_TOOL_BAR_TOGGLE_BUTTON)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
SD_TOOL_BAR         on_pointer_release @10                              
<000000000F36E858>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           fast_call                                           
<000000000F36FE88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @3                                             
<000000000F36FE88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
                    call @22               
<000000000F36FDC8>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
                    call @3                
<000000000F36FDC8>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP call_pointer_actions @2
<000000000E97C758>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_button_up @4                                     
<000000000E97C758>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_left_button_up @2                                
<000000000E97C758>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP window_process_message @12
<000000000E97C758>  (From WEL_WINDOW)      Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP process_message @23                                 
<000000000E97C758>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @10                                
<0000000005AC2548>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------

Call stack:

ObjectClassRoutine
------------------
[0x565CC48] EB_DEBUGGER_MANAGER restore_standard_debug_docking_layout_by_code <*> ( @ 13 )
[0x565CC48] EB_DEBUGGER_MANAGER restore_standard_debug_docking_layout ( @ 7 )
[0x565CC48] EB_DEBUGGER_MANAGER restore_debug_docking_layout ( @ 5 )
[0x565CC48] EB_DEBUGGER_MANAGER raise_saving_layout ( @ 35 )
[0x565CC48] EB_DEBUGGER_MANAGER force_debug_mode ( @ 3 )
[0x565CDB8] EB_FORCE_DEBUG_MODE_CMD execute_for_opening ( @ 4 )
[0x565CDB8] EB_FORCE_DEBUG_MODE_CMD execute ( @ 2 )
[0x565CC80] PROCEDURE fast_call ( @ 0 )
[0x565CC80] PROCEDURE call ( @ 3 )
[0x565CBD8] EV_NOTIFY_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 )
[0x565CBD8] EV_NOTIFY_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 3 )
[0x565CB00] EB_SD_COMMAND_TOOL_BAR_TOGGLE_BUTTON on_pointer_release (From SD_TOOL_BAR_TOGGLE_BUTTON) ( @ 7 )
[0x565CBF8] SD_TOOL_BAR on_pointer_release ( @ 10 )
[0x565CCD0] PROCEDURE fast_call ( @ 0 )
[0x565CCD0] PROCEDURE call ( @ 3 )
[0x565CBC0] EV_POINTER_BUTTON_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 )
[0x565CBC0] EV_POINTER_BUTTON_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 3 )
[0x565CD80] SD_DRAWING_AREA_IMP call_pointer_actions (From EV_WIDGET_IMP) ( @ 2 )
[0x565CD80] SD_DRAWING_AREA_IMP on_button_up (From EV_WIDGET_IMP) ( @ 4 )
[0x565CD80] SD_DRAWING_AREA_IMP on_left_button_up (From EV_WIDGET_IMP) ( @ 2 )
[0x565CD80] SD_DRAWING_AREA_IMP window_process_message (From WEL_WINDOW) ( @ 12 )
[0x565CD80] SD_DRAWING_AREA_IMP process_message (From WEL_COMPOSITE_WINDOW) ( @ 23 )
[0x565CB90] WEL_DISPATCHER window_procedure (From WEL_ABSTRACT_DISPATCHER) <R> ( @ 10 )
[0x565CCC8] WEL_MSG cwin_dispatch_message ( @ 0 )
[0x565CCC8] WEL_MSG dispatch ( @ 1 )
[0x565CC28] EV_APPLICATION_IMP process_window_message ( @ 14 )
[0x565CC28] EV_APPLICATION_IMP process_message ( @ 11 )
[0x565CC28] EV_APPLICATION_IMP process_underlying_toolkit_event_queue ( @ 7 )
[0x565CC28] EV_APPLICATION_IMP process_event_queue (From EV_APPLICATION_I) <R> ( @ 2 )
[0x565CC28] EV_APPLICATION_IMP launch (From EV_APPLICATION_I) ( @ 3 )
[0x565CBF0] EV_APPLICATION launch <R> ( @ 4 )
[0x565CB30] ES_GRAPHIC make ( @ 4 )
[0x565CB70] EB_KERNEL make ( @ 3 )

To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2008/03/04    Status: Analyzed    Download   
Actually since it was due to the default.xml not being updated, one should put some protection in there just in case `default.xml' is not valid.

From:manus_eiffel    Date:2008/03/03    Download   
Now I cannot start EiffelStudio anymore, I'm always getting this check violation. I have to remove my docking preferences to start it.