PR# 16036 Postcondition violation in {ES_SHELL_TOOLS}.show_tool_edition
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2009/07/17
Class: Bug
Severity: Serious
Number: 16036
Release: 6.5.7.9798
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.9.1.1) Gecko/20090715 Firefox/3.5.1 (.NET CLR 3.5.30729)
Synopsis: Postcondition violation in {ES_SHELL_TOOLS}.show_tool_edition
Description
I was compiling a project that had an error. When it was time to show the error I got the postcondition violation in {ES_SHELL_TOOLS}.show_tool_edition below. The argument `a_type' of that routine was TYPE [ES_ERROR_LIST_TOOL]. The Error list is at the bottom of EiffelStudio pinned.
tool_is_shown: Postcondition violated. (POSTCONDITION_VIOLATION)
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
ES_SHELL_TOOLS show_tool_edition @9 tool_is_shown:
<00000000069CB3F8> Postcondition violated. Fail
-------------------------------------------------------------------------------
ES_SHELL_TOOLS show_tool_edition @9
<00000000069CB3F8> Routine failure. Fail
-------------------------------------------------------------------------------
ES_SHELL_TOOLS show_tool @3
<00000000069CB3F8> Routine failure. Fail
-------------------------------------------------------------------------------
ES_ERROR_DISPLAYER show_errors_and_warnings_tool @3
<00000000069F7758> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<0000000002AB5C58> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<0000000002AB5C58> Routine failure. Fail
-------------------------------------------------------------------------------
EB_WINDOW_MANAGER for_all_development_windows @6
<000000000696FF18> Routine failure. Fail
-------------------------------------------------------------------------------
ES_ERROR_DISPLAYER force_display @2
<00000000069F7758> Routine failure. Fail
-------------------------------------------------------------------------------
ERROR_HANDLER force_display @2
<00000000069F7728> Routine failure. Fail
-------------------------------------------------------------------------------
WORKBENCH_I recompile @42
<00000000069F8B48> Exception in rescue clause. Fail
-------------------------------------------------------------------------------
E_PROJECT melt @8
<00000000069E36E8> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT freeze @3
<00000000069E36E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
perform_compilation @1
<00000000069A7BA8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
compile @5
<00000000069A7BA8> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
compile_and_run @1
<00000000069A7BA8> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
confirm_execution_halt @2
<00000000069A7BA8> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
set_c_compilation_and_compile @2
<00000000069A7BA8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<0000000002AA91D8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<0000000002AA91D8> Routine failure. Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
on_dialog_button_pressed @13
<0000000002AA7B58> (From ES_DIALOG) Routine failure. Fail
-------------------------------------------------------------------------------
ES_DISCARDABLE_WARNING_PROMPT
show_on_active_window @4
<0000000002AA7B58> (From ES_DISCARDABLE_PROMPT)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
confirm_and_compile @5
<00000000069A7BA8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
compile_no_save @4
<00000000069A7BA8> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
execute_with_c_compilation_flag @16
<00000000069A7BA8> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
go_on_compile @1
<00000000069A7BA8> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_FREEZE_PROJECT_COMMAND
execute @14
<00000000069A7BA8> (From EB_MELT_PROJECT_COMMAND)
Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<00000000068B5148> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<00000000068B5148> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @22
<00000000068B5088> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<00000000068B5088> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_MENU_ITEM_IMP on_activate @2
<00000000068B4F58> Routine failure. Fail
-------------------------------------------------------------------------------
EV_MENU_BAR_IMP menu_item_clicked @4
<0000000006A4D4D8> (From EV_MENU_ITEM_LIST_IMP)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
on_menu_command @5
<00000000067CBFF8> (From EV_WINDOW_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
on_wm_menu_command @2
<00000000067CBFF8> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
on_wm_command @17
<00000000067CBFF8> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_TITLED_WINDOW_IMP
process_message @9
<00000000067CBFF8> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER window_procedure @10
<0000000006702458> (From WEL_ABSTRACT_DISPATCHER)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG cwin_dispatch_message
<0000000006702748> Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG dispatch @1
<0000000006702748> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_message @11
<00000000067018F8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_underlying_toolkit_event_queue @7
<00000000067018F8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @2
<00000000067018F8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @3
<00000000067018F8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @4
<00000000067018C8> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<0000000006701848> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @6
<00000000067017E8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<00000000067017E8> Routine failure. Exit
-------------------------------------------------------------------------------
Call stack:
ObjectClassRoutine
------------------
[0x663F368] ES_SHELL_TOOLS show_tool_edition ( @ 9 )
[0x663F368] ES_SHELL_TOOLS show_tool ( @ 3 )
[0x663F380] ES_ERROR_DISPLAYER show_errors_and_warnings_tool ( @ 3 )
[0x663F2F8] PROCEDURE fast_call ( @ 0 )
[0x663F2F8] PROCEDURE call ( @ 5 )
[0x663F388] EB_WINDOW_MANAGER for_all_development_windows ( @ 6 )
[0x663F380] ES_ERROR_DISPLAYER force_display ( @ 2 )
[0x663F318] ERROR_HANDLER force_display ( @ 2 )
[0x663F310] WORKBENCH_I recompile <R> ( @ 42 )
[0x663F390] E_PROJECT melt <R> ( @ 8 )
[0x663F390] E_PROJECT freeze ( @ 3 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND perform_compilation ( @ 1 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND compile (From EB_MELT_PROJECT_COMMAND) ( @ 5 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND compile_and_run (From EB_MELT_PROJECT_COMMAND) ( @ 1 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND confirm_execution_halt (From EB_MELT_PROJECT_COMMAND) ( @ 2 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND set_c_compilation_and_compile ( @ 2 )
[0x663F340] PROCEDURE fast_call ( @ 0 )
[0x663F340] PROCEDURE call ( @ 5 )
[0x663F3A8] ES_DISCARDABLE_WARNING_PROMPT on_dialog_button_pressed (From ES_DIALOG) ( @ 13 )
[0x663F3A8] ES_DISCARDABLE_WARNING_PROMPT show_on_active_window (From ES_DISCARDABLE_PROMPT) ( @ 4 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND confirm_and_compile ( @ 5 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND compile_no_save (From EB_MELT_PROJECT_COMMAND) ( @ 4 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND execute_with_c_compilation_flag (From EB_MELT_PROJECT_COMMAND) ( @ 16 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND go_on_compile (From EB_MELT_PROJECT_COMMAND) ( @ 1 )
[0x663F3B0] EB_FREEZE_PROJECT_COMMAND execute (From EB_MELT_PROJECT_COMMAND) ( @ 14 )
[0x663F358] PROCEDURE fast_call ( @ 0 )
[0x663F358] PROCEDURE call ( @ 5 )
[0x663F3A0] EV_NOTIFY_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 )
[0x663F3A0] EV_NOTIFY_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 3 )
[0x663F398] EV_MENU_ITEM_IMP on_activate ( @ 2 )
[0x663F370] EV_MENU_BAR_IMP menu_item_clicked (From EV_MENU_ITEM_LIST_IMP) ( @ 4 )
[0x663F348] EV_TITLED_WINDOW_IMP on_menu_command (From EV_WINDOW_IMP) ( @ 5 )
[0x663F348] EV_TITLED_WINDOW_IMP on_wm_menu_command (From WEL_COMPOSITE_WINDOW) ( @ 2 )
[0x663F348] EV_TITLED_WINDOW_IMP on_wm_command (From WEL_COMPOSITE_WINDOW) ( @ 17 )
[0x663F348] EV_TITLED_WINDOW_IMP process_message (From WEL_COMPOSITE_WINDOW) ( @ 9 )
[0x663F330] WEL_DISPATCHER window_procedure (From WEL_ABSTRACT_DISPATCHER) <R> ( @ 10 )
[0x663F338] WEL_MSG cwin_dispatch_message ( @ 0 )
[0x663F338] WEL_MSG dispatch ( @ 1 )
[0x663F328] EV_APPLICATION_IMP process_message ( @ 11 )
[0x663F328] EV_APPLICATION_IMP process_underlying_toolkit_event_queue ( @ 7 )
[0x663F328] EV_APPLICATION_IMP process_event_queue (From EV_APPLICATION_I) <R> ( @ 2 )
[0x663F328] EV_APPLICATION_IMP launch (From EV_APPLICATION_I) ( @ 3 )
[0x663F350] EV_APPLICATION launch <R> ( @ 4 )
[0x663F320] ES_GRAPHIC make ( @ 4 )
[0x663F300] EB_KERNEL make ( @ 6 )
To Reproduce
Problem Report Interactions
I've got that postcondition again. Would be nice to have it fixed. In my case, the error list is in auto-hide mode at the bottom of EiffelStudio.