PR# 15329 Postcondition violation in ES_EDITOR_TOKEN_GRID.virtual_y_position
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelVision
Priority: Medium
Date: 2009/01/27
Class: Bug
Severity: Serious
Number: 15329
Release: 6.4
Confidential: No
Status: Analyzed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.9.0.5) Gecko/2008120122 Firefox/3.0.5
Synopsis: Postcondition violation in ES_EDITOR_TOKEN_GRID.virtual_y_position
Description
Open EiffelStudio and compile a project with about 4 errors. When the error list is built, you get the following postcondition violation. In my case `Result' was 85, but `parent.virtual_height - row.height' was 84 and thus '85 <= 84' yields false.
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
ISE_EXCEPTION_MANAGER
developer_raise Compiler error:
<0000000002AB2778> Developer exception. Fail
-------------------------------------------------------------------------------
ISE_EXCEPTION_MANAGER
developer_raise
<0000000002AB2778> Routine failure. Fail
-------------------------------------------------------------------------------
ISE_EXCEPTION_MANAGER
raise @9
<0000000002AB2778> Routine failure. Fail
-------------------------------------------------------------------------------
DEVELOPER_EXCEPTION raise @2
<0000000002AB2498> (From EXCEPTION) Routine failure. Fail
-------------------------------------------------------------------------------
ERROR_HANDLER raise @3
<00000000065C9CA8> (From EXCEPTIONS) Routine failure. Fail
-------------------------------------------------------------------------------
ERROR_HANDLER raise_error @4
<00000000065C9CA8> Routine failure. Fail
-------------------------------------------------------------------------------
ERROR_HANDLER checksum @3
<00000000065C9CA8> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_3 execute @31
<0000000002A5DF18> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I process_degree_3 @2
<00000000097E9018> Routine failure. Rescue
-------------------------------------------------------------------------------
SYSTEM_I do_recompilation @79
<00000000097E9018> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I recompile @7
<00000000097E9018> Routine failure. Rescue
-------------------------------------------------------------------------------
WORKBENCH_I recompile @23
<000000000643C0E8> Routine failure. Rescue
-------------------------------------------------------------------------------
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ entering level 1 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-------------------------------------------------------------------------------
EV_GRID_DRAWABLE_ITEM_I
virtual_y_position @6 valid_result_when_parent_row_height_not_fixed:
<0000000002C87B68> (From EV_GRID_ITEM_I) Postcondition violated. Fail
-------------------------------------------------------------------------------
EV_GRID_DRAWABLE_ITEM_I
virtual_y_position @6
<0000000002C87B68> (From EV_GRID_ITEM_I) Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_IMP redraw_item @12
<0000000009D14D28> (From EV_GRID_I) Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_IMP internal_set_item @36
<0000000009D14D28> (From EV_GRID_I) Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_IMP set_item @7
<0000000009D14D28> (From EV_GRID_I) Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_ROW_I set_item @7
<0000000002C875C8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_ROW set_item @7
<0000000002C87568> Routine failure. Fail
-------------------------------------------------------------------------------
ES_ERROR_LIST_TOOL_PANEL
populate_event_grid_row_items @46
<0000000009FE0698> Routine failure. Fail
-------------------------------------------------------------------------------
ES_ERROR_LIST_TOOL_PANEL
on_event_item_added @19
<0000000009FE0698> (From ES_EVENT_LIST_TOOL_PANEL_BASE)
Routine failure. Fail
-------------------------------------------------------------------------------
ES_ERROR_LIST_TOOL_PANEL
on_event_item_added @8
<0000000009FE0698> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<0000000009FE05F8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<0000000009FE05F8> Routine failure. Fail
-------------------------------------------------------------------------------
EVENT_TYPE publish_internal @15
<0000000009FE03B8> Routine failure. Rescue
-------------------------------------------------------------------------------
EVENT_TYPE publish @3
<0000000009FE03B8> Routine failure. Fail
-------------------------------------------------------------------------------
EVENT_LIST on_item_added @5
<0000000009FE02A8> Routine failure. Fail
-------------------------------------------------------------------------------
EVENT_LIST put_event_item @14
<0000000009FE02A8> Routine failure. Fail
-------------------------------------------------------------------------------
ES_ERROR_DISPLAYER trace_errors @15
<00000000065C9CD8> Routine failure. Fail
-------------------------------------------------------------------------------
ERROR_HANDLER trace @4
<00000000065C9CA8> Routine failure. Fail
-------------------------------------------------------------------------------
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ back to level 0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-------------------------------------------------------------------------------
WORKBENCH_I recompile @55
<000000000643C0E8> Exception in rescue clause. Fail
-------------------------------------------------------------------------------
E_PROJECT melt @7
<00000000065B6C78> Routine failure. Rescue
-------------------------------------------------------------------------------
E_PROJECT quick_melt @4
<00000000065B6C78> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
perform_compilation @1
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile @4
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_and_run @1
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_execution_halt @2
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_and_compile @1
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_no_save @4
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute_with_c_compilation_flag @16
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
go_on_compile @2
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute @8
<0000000006596AC8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<000000000815CCA8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<000000000815CCA8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @22
<000000000815CC18> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<000000000815CC18> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_SD_COMMAND_TOOL_BAR_DUAL_POPUP_BUTTON
on_pointer_release @7
<000000000815C838> (From SD_TOOL_BAR_DUAL_POPUP_BUTTON)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_TOOL_BAR on_pointer_release @10
<000000000A01DE38> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<000000000A02CD28> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<000000000A02CD28> Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @22
<000000000A02CC68> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @3
<000000000A02CC68> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP call_pointer_actions @2
<00000000084E4CF8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_button_up @4
<00000000084E4CF8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_left_button_up @2
<00000000084E4CF8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP window_process_message @12
<00000000084E4CF8> (From WEL_WINDOW) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP process_message @23
<00000000084E4CF8> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER window_procedure @10
<00000000062F3688> (From WEL_ABSTRACT_DISPATCHER)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG cwin_dispatch_message
<00000000062F3968> Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG dispatch @1
<00000000062F3968> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_message @11
<00000000062F2C08> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_underlying_toolkit_event_queue @7
<00000000062F2C08> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @2
<00000000062F2C08> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @3
<00000000062F2C08> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @4
<00000000062F2BD8> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<00000000062F2EE8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @5
<00000000062F2B78> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<00000000062F2B78> Routine failure. Exit
-------------------------------------------------------------------------------
To Reproduce
Problem Report Interactions
Forgot to mention that you have to use application options for both WEL and Vision2 in order to get this postcondition violation.