PR# 16214 Precondition in docking
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2009/08/31
Class: Bug
Severity: Serious
Number: 16214
Release: 6.5.8.524
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.9.1.2) Gecko/20090729 Firefox/3.5.2 (.NET CLR 3.5.30729)
Synopsis: Precondition in docking
Description
I had played with my docking and a few tools where docked out. When I realize that my EiffelStudio was not in debug mode, I click on the debug mode button and then got this while it was redrawing itself:
set: Precondition violated. (PRECONDITION_VIOLATION)
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
SD_PLACE_HOLDER_ZONE
minimize @1 set:
<0000000002A50C28> (From SD_UPPER_ZONE) Precondition violated. Fail
-------------------------------------------------------------------------------
SD_PLACE_HOLDER_ZONE
on_minimize @4
<0000000002A50C28> (From SD_UPPER_ZONE) Routine failure. Fail
-------------------------------------------------------------------------------
SD_EDITOR_CONFIG_HELPER
open_editor_minimized_data_minimize @5
<0000000002B6EA48> Routine failure. Fail
-------------------------------------------------------------------------------
SD_EDITOR_CONFIG_HELPER
restore_editor_state @34
<0000000002B6EA48> Routine failure. Fail
-------------------------------------------------------------------------------
SD_OPEN_CONFIG_MEDIATOR
open_tools_config_imp @6
<0000000002B6EA08> Routine failure. Fail
-------------------------------------------------------------------------------
SD_OPEN_CONFIG_MEDIATOR
open_tools_config @3
<0000000002B6EA08> Routine failure. Fail
-------------------------------------------------------------------------------
SD_DOCKING_MANAGER open_tools_config @3
<00000000064961A8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_DOCKING_LAYOUT_MANAGER
restore_debug_docking_layout @3
<00000000065069E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_DEBUGGER_MANAGER raise_saving_layout @33
<00000000063BBBC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_DEBUGGER_MANAGER force_execution_mode @3
<00000000063BBBC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_FORCE_EXECUTION_MODE_CMD
execute_for_opening @4
<00000000064AA0A8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_FORCE_EXECUTION_MODE_CMD
execute @2
<00000000064AA0A8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<00000000066C56A8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<00000000066C56A8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @22
<00000000066C55E8> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<00000000066C55E8> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_SD_COMMAND_TOOL_BAR_TOGGLE_BUTTON
on_pointer_release @7
<00000000066C51C8> (From SD_TOOL_BAR_TOGGLE_BUTTON)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_TOOL_BAR on_pointer_release @10
<00000000066B6DE8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<00000000066CD548> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<00000000066CD548> Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @22
<00000000066CD488> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @3
<00000000066CD488> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP call_pointer_actions @2
<000000000651F528> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_button_up @4
<000000000651F528> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_left_button_up @2
<000000000651F528> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP window_process_message @12
<000000000651F528> (From WEL_WINDOW) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP process_message @23
<000000000651F528> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER window_procedure @10
<00000000063A5788> (From WEL_ABSTRACT_DISPATCHER)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG cwin_dispatch_message
<00000000062F2608> Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG dispatch @1
<00000000062F2608> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_message @11
<00000000062F19C8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_underlying_toolkit_event_queue @7
<00000000062F19C8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @2
<00000000062F19C8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @3
<00000000062F19C8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @4
<00000000062F1998> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<00000000062F1918> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @6
<00000000062F18B8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<00000000062F18B8> Routine failure. Exit
-------------------------------------------------------------------------------
Call stack:
ObjectClassRoutine
------------------
[0x62A1DE0] SD_PLACE_HOLDER_ZONE minimize (From SD_UPPER_ZONE) ( @ 1 )
[0x62A1DE0] SD_PLACE_HOLDER_ZONE on_minimize (From SD_UPPER_ZONE) ( @ 4 )
[0x62A1DA0] SD_EDITOR_CONFIG_HELPER open_editor_minimized_data_minimize ( @ 5 )
[0x62A1DA0] SD_EDITOR_CONFIG_HELPER restore_editor_state ( @ 34 )
[0x62A1D90] SD_OPEN_CONFIG_MEDIATOR open_tools_config_imp <R> ( @ 6 )
[0x62A1D90] SD_OPEN_CONFIG_MEDIATOR open_tools_config ( @ 3 )
[0x62A1DB0] SD_DOCKING_MANAGER open_tools_config ( @ 3 )
[0x62A1D98] EB_DOCKING_LAYOUT_MANAGER restore_debug_docking_layout ( @ 3 )
[0x62A1D88] EB_DEBUGGER_MANAGER raise_saving_layout <*> ( @ 33 )
[0x62A1D88] EB_DEBUGGER_MANAGER force_execution_mode ( @ 3 )
[0x62A1DF0] EB_FORCE_EXECUTION_MODE_CMD execute_for_opening ( @ 4 )
[0x62A1DF0] EB_FORCE_EXECUTION_MODE_CMD execute ( @ 2 )
[0x62A1DC8] PROCEDURE fast_call ( @ 0 )
[0x62A1DC8] PROCEDURE call ( @ 5 )
[0x62A1DD8] EV_NOTIFY_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 )
[0x62A1DD8] EV_NOTIFY_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 3 )
[0x62A1DA8] EB_SD_COMMAND_TOOL_BAR_TOGGLE_BUTTON on_pointer_release (From SD_TOOL_BAR_TOGGLE_BUTTON) ( @ 7 )
[0x62A1DD0] SD_TOOL_BAR on_pointer_release ( @ 10 )
[0x62A1DC0] PROCEDURE fast_call ( @ 0 )
[0x62A1DC0] PROCEDURE call ( @ 5 )
[0x62A1DF8] EV_POINTER_BUTTON_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 )
[0x62A1DF8] EV_POINTER_BUTTON_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 3 )
[0x62A1E00] SD_DRAWING_AREA_IMP call_pointer_actions (From EV_WIDGET_IMP) ( @ 2 )
[0x62A1E00] SD_DRAWING_AREA_IMP on_button_up (From EV_WIDGET_IMP) ( @ 4 )
[0x62A1E00] SD_DRAWING_AREA_IMP on_left_button_up (From EV_WIDGET_IMP) ( @ 2 )
[0x62A1E00] SD_DRAWING_AREA_IMP window_process_message (From WEL_WINDOW) ( @ 12 )
[0x62A1E00] SD_DRAWING_AREA_IMP process_message (From WEL_COMPOSITE_WINDOW) ( @ 23 )
[0x62A1E08] WEL_DISPATCHER window_procedure (From WEL_ABSTRACT_DISPATCHER) <R> ( @ 10 )
[0x62A1E10] WEL_MSG cwin_dispatch_message ( @ 0 )
[0x62A1E10] WEL_MSG dispatch ( @ 1 )
[0x62A1E18] EV_APPLICATION_IMP process_message ( @ 11 )
[0x62A1E18] EV_APPLICATION_IMP process_underlying_toolkit_event_queue ( @ 7 )
[0x62A1E18] EV_APPLICATION_IMP process_event_queue (From EV_APPLICATION_I) <R> ( @ 2 )
[0x62A1E18] EV_APPLICATION_IMP launch (From EV_APPLICATION_I) ( @ 3 )
[0x62A1E20] EV_APPLICATION launch <R> ( @ 4 )
[0x62A1E28] ES_GRAPHIC make ( @ 4 )
[0x62A1E30] EB_KERNEL make ( @ 6 )
To Reproduce
Problem Report Interactions
This bug is fixed in revision#80554. Thanks for your report.