PR# 16724 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: Serious
Number: 16724
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 was deleting the following:

feature {NONE} -- Initiazation

so that it became

feature { -- Initialization

When I reached the { then I got this exception.

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
<00000000064BD2C8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_SMART_EDITOR     handle_extended_key @32
<00000000064BD2C8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_SMART_EDITOR     repeat_extended_key @5                              
<00000000064BD2C8>  (From KEYBOARD_SELECTABLE_TEXT_PANEL)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           fast_call                                           
<0000000002DDE088>                         Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @5                                             
<0000000002DDE088>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @22               
<00000000066DAC48>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<00000000066DAC48>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_TIMEOUT_IMP      on_timeout @3                                       
<00000000066DAC18>  (From EV_TIMEOUT_I)    Routine failure.              Fail
-------------------------------------------------------------------------------
EV_INTERNAL_TIMEOUT_IMP
                    on_timer @5            
<00000000066F2098>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_INTERNAL_TIMEOUT_IMP
                    window_process_message @21
<00000000066F2098>  (From WEL_WINDOW)      Routine failure.              Fail
-------------------------------------------------------------------------------
EV_INTERNAL_TIMEOUT_IMP
                    process_message @23    
<00000000066F2098>  (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