PR# 16721 Precondition violated Tag: a_end_token_attached in {EB_SMART_EDITOR}.highlight_matched_braces in Eif

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2010/04/27
Class: Bug
Severity: Non-critical
Number: 16721
Release: 6.6.0.0
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 6.6.0.0 GPL Edition - win64
Synopsis: Precondition violated Tag: a_end_token_attached in {EB_SMART_EDITOR}.highlight_matched_braces in Eif

Description
I got the following crash when clicking in the editor just before a closing parenthesis.

Project loaded: True
Project compiled: True
Is compiling: False

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
ES_EDITOR_BRACE_MATCHER
                    match_brace @3         a_end_token_attached:
<000000000963CCD8>  (From ES_EDITOR_PAIRED_MATCHER)
                                           Precondition violated.        Fail
-------------------------------------------------------------------------------
EB_SMART_EDITOR     highlight_matched_braces @21
<000000000C807E08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_SMART_EDITOR     on_mouse_button_up @2                               
<000000000C807E08>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           fast_call                                           
<0000000003040548>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @5                                             
<0000000003040548>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
                    call @22               
<0000000003040488>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
                    call @3                
<0000000003040488>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DRAWING_AREA_IMP call_pointer_actions @2
<000000000C808D18>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DRAWING_AREA_IMP on_button_up @5                                     
<000000000C808D18>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DRAWING_AREA_IMP on_left_button_up @2                                
<000000000C808D18>  (From EV_WIDGET_IMP)   Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DRAWING_AREA_IMP window_process_message @12
<000000000C808D18>  (From WEL_WINDOW)      Routine failure.              Fail
-------------------------------------------------------------------------------
EV_DRAWING_AREA_IMP process_message @23                                 
<000000000C808D18>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @10                                
<00000000064B43F8>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_MSG             cwin_dispatch_message                               
<00000000064038E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_MSG             dispatch @1                                         
<00000000064038E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_message @11                                 
<0000000006402C98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_underlying_toolkit_event_queue @7
<0000000006402C98>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @2                              
<0000000006402C98>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @3                                           
<0000000006402C98>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @4                                           
<0000000006402C68>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<0000000006402BE8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @6                                             
<0000000006402B88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<0000000006402B88>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions