PR# 15309 Precondition violation after completing a compilation from scratch
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Low
Date: 2009/01/22
Class: Bug
Severity: Non-critical
Number: 15309
Release: 6.4.7.6804
Confidential: No
Status: Open
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: Precondition violation after completing a compilation from scratch
Description
I had EiffelStudio open without an editor visible. After successfully compiling my project, I got the following precondition violation. In the title bar, I saw that it was trying to load the root class of my project (i.e. ANY since I was compiling the wel-safe.ecf library).
visible: Precondition violated. (PRECONDITION_VIOLATION)
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
SD_CONTENT set_focus @1 visible:
<0000000006632ED8> Precondition violated. Fail
-------------------------------------------------------------------------------
EB_EDITORS_MANAGER select_editor @5
<000000000641C2F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_DEVELOPMENT_WINDOW
set_focus_to_main_editor @2
<000000000630E468> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<0000000002FBA2E8> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<0000000002FBA2E8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @22
<00000000062F24F8> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<00000000062F24F8> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @15
<00000000062F21C8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @3
<00000000062F21C8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @4
<00000000062F2198> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<00000000062F2128> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @3
<00000000062F20C8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<00000000062F20C8> Routine failure. Exit
-------------------------------------------------------------------------------
Call stack:
ObjectClassRoutine
------------------
[0x5F96C00] SD_CONTENT set_focus ( @ 1 )
[0x5F96C10] EB_EDITORS_MANAGER select_editor ( @ 5 )
[0x5F96C18] EB_DEVELOPMENT_WINDOW set_focus_to_main_editor ( @ 2 )
[0x5F96C20] PROCEDURE fast_call ( @ 0 )
[0x5F96C20] PROCEDURE call ( @ 5 )
[0x5F96C28] EV_NOTIFY_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 )
[0x5F96C28] EV_NOTIFY_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 3 )
[0x5F96C30] EV_APPLICATION_IMP process_event_queue (From EV_APPLICATION_I) <R> ( @ 15 )
[0x5F96C30] EV_APPLICATION_IMP launch (From EV_APPLICATION_I) ( @ 3 )
[0x5F96C38] EV_APPLICATION launch <R> ( @ 4 )
[0x5F96C40] ES_GRAPHIC make ( @ 4 )
[0x5F96C48] EB_KERNEL make ( @ 3 )
To Reproduce
Problem Report Interactions