PR# 12824 Postcondition violation in docking
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2007/05/22
Class: Bug
Severity: Serious
Number: 12824
Release: 6.0.6.8565
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Synopsis: Postcondition violation in docking
Description
I got the following postcondition with my workbench version, I believe it was when clicking the compile toolbar button. Exception tag: Code: 4 (Postcondition violated.) Tag: disable_capture Exception message: disable_capture Call stack: ObjectClassRoutine ------------------ [0x5140D98] SD_TOOL_BAR_DRAGGING_AGENTS on_pointer_release ( @ 4 ) [0x5140D90] PROCEDURE fast_call ( @ 0 ) [0x5140D90] PROCEDURE call ( @ 3 ) [0x5140D88] EV_POINTER_BUTTON_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 ) [0x5140D88] EV_POINTER_BUTTON_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 5 ) [0x5140DA0] SD_DRAWING_AREA_IMP call_pointer_actions (From EV_WIDGET_IMP) ( @ 2 ) [0x5140DA0] SD_DRAWING_AREA_IMP on_button_up (From EV_WIDGET_IMP) ( @ 4 ) [0x5140DA0] SD_DRAWING_AREA_IMP on_left_button_up (From EV_WIDGET_IMP) ( @ 2 ) [0x5140DA0] SD_DRAWING_AREA_IMP window_process_message (From WEL_WINDOW) ( @ 12 ) [0x5140DA0] SD_DRAWING_AREA_IMP process_message (From WEL_COMPOSITE_WINDOW) ( @ 23 ) [0x5140DA8] WEL_DISPATCHER window_procedure (From WEL_ABSTRACT_DISPATCHER) <R> ( @ 10 ) [0x5140DB0] WEL_MSG cwin_dispatch_message ( @ 0 ) [0x5140DB0] WEL_MSG dispatch ( @ 1 ) [0x5140DB8] EV_APPLICATION_IMP process_window_message ( @ 14 ) [0x5140DB8] EV_APPLICATION_IMP process_message ( @ 11 ) [0x5140DB8] EV_APPLICATION_IMP process_underlying_toolkit_event_queue ( @ 7 ) [0x5140DB8] EV_APPLICATION_IMP process_event_queue (From EV_APPLICATION_I) <R> ( @ 2 ) [0x5140DB8] EV_APPLICATION_IMP launch (From EV_APPLICATION_I) ( @ 3 ) [0x5140DC0] EV_APPLICATION launch <R> ( @ 4 ) [0x5140DC8] EB_KERNEL make ( @ 21 )
To Reproduce
Problem Report Interactions
This bug is fixed in revision#68801. Thanks for your report.