PR# 18063 Feature call on void target in {FEATURE_STONE}.update in EiffelStudio.

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2011/12/28
Class: Bug
Severity: Serious
Number: 18063
Release: 7.1.8.8126
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 7.1.8.8126 GPL Edition - win64
Synopsis: Feature call on void target in {FEATURE_STONE}.update in EiffelStudio.

Description
I had a class open in a tab and the tab was not active. Outside of EiffelStudio, I removed the associated file. When I clicked on the tab, I got the message in the editor stating that: File ..... does not exist which is ok.

After than I believe that I tried to click on the tab or to close it and then this crash occurred.

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
FEATURE_STONE       update @2                                           
<0000000008CA5208>                         Feature call on void target.  Fail
-------------------------------------------------------------------------------
FEATURE_STONE       update @2                                           
<0000000008CA5208>                         Routine failure.              Fail
-------------------------------------------------------------------------------
FEATURE_STONE       line_number @1                                      
<0000000008CA5208>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_BASIC_TEXT_FORMATTER
                    go_to_position @8      
<00000000031F3588>  (From EB_EDITOR_FORMATTER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EB_BASIC_TEXT_FORMATTER
                    format @7              
<00000000031F3588>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_BASIC_TEXT_FORMATTER
                    set_classi @6          
<00000000031F3588>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_BASIC_TEXT_FORMATTER
                    force_stone @4         
<00000000031F3588>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_STONE_CHECKER    check_new_class_stone @25
<00000000028B5988>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_STONE_CHECKER    handle_all_class_stones @7
<00000000028B5988>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_STONE_CHECKER    handle_break_error_ace_external_file_stone @18
<00000000028B5988>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_STONE_CHECKER    set_stone_after_check @4
<00000000028B5988>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DEVELOPMENT_WINDOW
                    set_stone_after_check @2
<0000000002F6C858>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_STONE_FIRST_CHECKER
                    set_stone_after_first_check @49
<0000000002887B48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DEVELOPMENT_WINDOW
                    set_stone_after_first_check @3
<0000000002F6C858>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_DEVELOPMENT_WINDOW
                    set_stone @14          
<0000000002F6C858>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_EDITORS_MANAGER  on_editor_switched @3                               
<000000000307EE48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ACTION_SEQUENCE     call @21                                            
<000000000317C1E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_EDITORS_MANAGER  on_focus @15                                        
<000000000307EE48>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SD_NOTIFY_ACTION_SEQUENCE
                    call @21               
<0000000008CA4CD8>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
SD_NOTIFY_ACTION_SEQUENCE
                    call @3                
<0000000008CA4CD8>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
SD_NOTIFY_ACTION_SEQUENCE
                    call @2                
<0000000008CA4CD8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SD_TAB_ZONE_UPPER   on_select_tab @5                                    
<00000000061F1DA8>  (From SD_TAB_ZONE)     Routine failure.              Fail
-------------------------------------------------------------------------------
SD_TAB_ZONE_UPPER   on_select_tab @1                                    
<00000000061F1DA8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<0000000006319B88>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<0000000006319B88>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
SD_NOTEBOOK_UPPER   on_tab_selected @3                                  
<00000000061F2198>  (From SD_NOTEBOOK)     Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<0000000008CD3048>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<0000000008CD3048>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
SD_NOTEBOOK_TAB     on_pointer_press @10                                
<0000000008CD2FB8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
SD_NOTEBOOK_TAB_BOX on_pointer_press @8                                 
<000000001098E3E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
                    call @21               
<000000001098E7C8>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
                    call @3                
<000000001098E7C8>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP call_pointer_actions @2
<000000000EC16248>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_button_down @5                                   
<000000000EC16248>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_left_button_down @3                              
<000000000EC16248>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_left_button_down @2                              
<000000000EC16248>  (From EV_DRAWING_AREA_IMP)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP window_process_message @10
<000000000EC16248>  (From WEL_WINDOW)      Routine failure.              Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP process_message @22                                 
<000000000EC16248>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @7                                 
<00000000030D03D8>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_MSG             dispatch @1                                         
<00000000030831E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_message @10                                 
<00000000030824A8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_underlying_toolkit_event_queue @6
<00000000030824A8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @2                              
<00000000030824A8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @3                                           
<00000000030824A8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @2                                           
<0000000003082478>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<0000000003082458>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @4                                             
<0000000002F83758>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<0000000002F83758>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions