PR# 18104 Class invariant violated on EV_GRID_HEADER_ITEM while calling {EV_GRID}.set_column_count_to
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelVision
Priority: Medium
Date: 2012/02/03
Class: Bug
Severity: Serious
Number: 18104
Release: 7.1
Confidential: No
Status: Analyzed
Responsible:
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/535.7 (KHTML, like Gecko) Chrome/16.0.912.77 Safari/535.7
Synopsis: Class invariant violated on EV_GRID_HEADER_ITEM while calling {EV_GRID}.set_column_count_to
Description
parented_whilst_in_grid: Class invariant violated. (INVARIANT_VIOLATION)
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
EV_GRID_HEADER_ITEM _invariant @3 parented_whilst_in_grid:
<00000000025B5EB8> Class invariant violated. Fail
-------------------------------------------------------------------------------
EV_GRID_HEADER_ITEM _invariant
<00000000025B5EB8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_HEADER_ITEM implementation
<00000000025B5EB8> (From EV_HEADER_ITEM) Routine failure. Fail
-------------------------------------------------------------------------------
EV_HEADER_IMP insert_i_th @2
<0000000003C3B198> (From EV_DYNAMIC_LIST_IMP)
Assertion violated. Fail
-------------------------------------------------------------------------------
EV_HEADER_IMP insert_i_th @2
<0000000003C3B198> (From EV_DYNAMIC_LIST_IMP)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_HEADER_IMP insert_i_th @2
<0000000003C3B198> (From EV_ITEM_LIST_IMP)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_HEADER_IMP put_right @2
<0000000003C3B198> (From EV_DYNAMIC_LIST_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_HEADER put_right @8
<00000000024D5E78> (From EV_DYNAMIC_LIST) Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_IMP show_column @10
<0000000003C38F58> (From EV_GRID_I) Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_IMP add_column_at @23
<0000000003C38F58> (From EV_GRID_I) Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID_IMP set_column_count_to @7
<0000000003C38F58> (From EV_GRID_I) Routine failure. Fail
-------------------------------------------------------------------------------
EV_GRID set_column_count_to @3
<0000000002484E98> Routine failure. Fail
-------------------------------------------------------------------------------
EV_SUGGESTION_WINDOW
build_suggestion_list @7
<000000000246F098> Routine failure. Fail
-------------------------------------------------------------------------------
EV_SUGGESTION_WINDOW
show @2
<000000000246F098> Routine failure. Fail
-------------------------------------------------------------------------------
EV_SUGGESTION_TEXT_FIELD
complete_code @5
<000000000246D9A8> (From EV_ABSTRACT_SUGGESTION_FIELD)
Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<0000000002532D28> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<0000000002532D28> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @22
<000000000246DA48> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<000000000246DA48> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_TIMEOUT_IMP on_timeout @3
<000000000246DBD8> (From EV_TIMEOUT_I) Routine failure. Fail
-------------------------------------------------------------------------------
EV_INTERNAL_TIMEOUT_IMP
on_timer @5
<000000000246DC08> Routine failure. Fail
-------------------------------------------------------------------------------
EV_INTERNAL_TIMEOUT_IMP
window_process_message @21
<000000000246DC08> (From WEL_WINDOW) Routine failure. Fail
-------------------------------------------------------------------------------
EV_INTERNAL_TIMEOUT_IMP
process_message @23
<000000000246DC08> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER window_procedure @10
<00000000023D2098> (From WEL_ABSTRACT_DISPATCHER)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG cwin_dispatch_message
<00000000023D2A48> Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG dispatch @1
<00000000023D2A48> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_message @11
<00000000023D0678> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_underlying_toolkit_event_queue @6
<00000000023D0678> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @2
<00000000023D0678> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @3
<00000000023D0678> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @4
<00000000023D05E8> Routine failure. Fail
-------------------------------------------------------------------------------
APPLICATION make_and_launch @3
<00000000023D05A8> Routine failure. Fail
-------------------------------------------------------------------------------
APPLICATION root's creation
<00000000023D05A8> Routine failure. Exit
-------------------------------------------------------------------------------
Call stack:
ObjectClassRoutine
------------------
[0x3B03FD0] EV_GRID_HEADER_ITEM _invariant ( @ 0 )
[0x3B03FD0] EV_GRID_HEADER_ITEM implementation (From EV_HEADER_ITEM) <*> ( @ 0 )
[0x3B03FE0] EV_HEADER_IMP insert_i_th (From EV_DYNAMIC_LIST_IMP) ( @ 2 )
[0x3B03FE0] EV_HEADER_IMP insert_i_th (From EV_ITEM_LIST_IMP) <*> ( @ 2 )
[0x3B03FE0] EV_HEADER_IMP put_right (From EV_DYNAMIC_LIST_I) ( @ 2 )
[0x3B03FE8] EV_GRID_HEADER put_right (From EV_DYNAMIC_LIST) ( @ 8 )
[0x3B03FF0] EV_GRID_IMP show_column (From EV_GRID_I) ( @ 10 )
[0x3B03FF0] EV_GRID_IMP add_column_at (From EV_GRID_I) <*> ( @ 23 )
[0x3B03FF0] EV_GRID_IMP set_column_count_to (From EV_GRID_I) ( @ 7 )
[0x3B03FF8] EV_GRID set_column_count_to ( @ 3 )
[0x3B04000] EV_SUGGESTION_WINDOW build_suggestion_list <*> ( @ 7 )
[0x3B04000] EV_SUGGESTION_WINDOW show <*> ( @ 2 )
[0x3B04008] EV_SUGGESTION_TEXT_FIELD complete_code (From EV_ABSTRACT_SUGGESTION_FIELD) ( @ 5 )
[0x3B04010] PROCEDURE fast_call ( @ 0 )
[0x3B04010] PROCEDURE call ( @ 5 )
[0x3B04018] EV_NOTIFY_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 )
[0x3B04018] EV_NOTIFY_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 3 )
[0x3B04020] EV_TIMEOUT_IMP on_timeout (From EV_TIMEOUT_I) ( @ 3 )
[0x3B04028] EV_INTERNAL_TIMEOUT_IMP on_timer ( @ 5 )
[0x3B04028] EV_INTERNAL_TIMEOUT_IMP window_process_message (From WEL_WINDOW) ( @ 21 )
[0x3B04028] EV_INTERNAL_TIMEOUT_IMP process_message (From WEL_COMPOSITE_WINDOW) ( @ 23 )
[0x3B04030] WEL_DISPATCHER window_procedure (From WEL_ABSTRACT_DISPATCHER) <R> ( @ 10 )
[0x3B04038] WEL_MSG cwin_dispatch_message ( @ 0 )
[0x3B04038] WEL_MSG dispatch ( @ 1 )
[0x3B04040] EV_APPLICATION_IMP process_message ( @ 11 )
[0x3B04040] EV_APPLICATION_IMP process_underlying_toolkit_event_queue ( @ 6 )
[0x3B04040] EV_APPLICATION_IMP process_event_queue (From EV_APPLICATION_I) <R> ( @ 2 )
[0x3B04040] EV_APPLICATION_IMP launch (From EV_APPLICATION_I) ( @ 3 )
[0x3B04048] EV_APPLICATION launch <R> ( @ 4 )
[0x3B04050] APPLICATION make_and_launch ( @ 3 )
To Reproduce
Problem Report Interactions
After recompiling my project from scratch I'm not getting this error anymore. It seems that the query `v.implementation' was triggering an invariant checking but now it does not.