PR# 17231 Feature call on void target in {AST_FEATURE_CHECKER_GENERATOR}.type_check_and_code in EiffelStudio.
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2010/12/21
Class: Bug
Severity: Serious
Number: 17231
Release: 6.7.8.5123
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 6.7.8.5123 GPL Edition - win64
Synopsis: Feature call on void target in {AST_FEATURE_CHECKER_GENERATOR}.type_check_and_code in EiffelStudio.
Description
Made a change to STRING_GENERAL's postcondition of `prepend' and recompiled.
Project loaded: True
Project compiled: False
Is compiling: False
Last known class processed: STRING_GENERAL
Last status message: Degree 3: Checking Types (1/30): STRING_GENERAL
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
type_check_and_code @16
<0000000015DDF5D8> Feature call on void target. Fail
-------------------------------------------------------------------------------
AST_FEATURE_CHECKER_GENERATOR
type_check_and_code @16
<0000000015DDF5D8> Routine failure. Fail
-------------------------------------------------------------------------------
EIFFEL_CLASS_C pass3 @60
<0000000006A5C858> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_3 process_class @3
<0000000006BDF498> Routine failure. Fail
-------------------------------------------------------------------------------
DEGREE_3 execute @20
<0000000006BDF498> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I process_degree_3 @2
<0000000003351C08> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I do_recompilation @50
<0000000003351C08> Routine failure. Fail
-------------------------------------------------------------------------------
SYSTEM_I recompile @7
<0000000003351C08> Routine failure. Fail
-------------------------------------------------------------------------------
WORKBENCH_I recompile @23
<00000000032FDE38> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT melt @7
<0000000003276C88> Routine failure. Fail
-------------------------------------------------------------------------------
E_PROJECT quick_melt @3
<0000000003276C88> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
perform_compilation @1
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile @5
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_and_run @1
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_execution_halt @2
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
confirm_and_compile @1
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
compile_no_save @4
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute_with_c_compilation_flag @16
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
go_on_compile @1
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_MELT_PROJECT_COMMAND
execute @11
<0000000002FFF1F8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @21
<000000000333E758> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
call @3
<000000000333E758> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
EB_SD_COMMAND_TOOL_BAR_DUAL_POPUP_BUTTON
on_pointer_release @7
<00000000061DFF98> (From SD_TOOL_BAR_DUAL_POPUP_BUTTON)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_TOOL_BAR on_pointer_release @10
<000000000333CE18> Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @21
<000000000333D868> (From ACTION_SEQUENCE) Routine failure. Fail
-------------------------------------------------------------------------------
EV_POINTER_BUTTON_ACTION_SEQUENCE
call @3
<000000000333D868> (From EV_LITE_ACTION_SEQUENCE)
Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP call_pointer_actions @2
<00000000030845D8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_button_up @5
<00000000030845D8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP on_left_button_up @2
<00000000030845D8> (From EV_WIDGET_IMP) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP window_process_message @11
<00000000030845D8> (From WEL_WINDOW) Routine failure. Fail
-------------------------------------------------------------------------------
SD_DRAWING_AREA_IMP process_message @22
<00000000030845D8> (From WEL_COMPOSITE_WINDOW)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER window_procedure @7
<00000000031815B8> (From WEL_ABSTRACT_DISPATCHER)
Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG dispatch @1
<0000000003102488> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_message @10
<0000000003101898> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_underlying_toolkit_event_queue @7
<0000000003101898> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @2
<0000000003101898> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @3
<0000000003101898> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @2
<0000000003101868> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<0000000003101848> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @4
<0000000002FE4148> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<0000000002FE4148> Routine failure. Exit
-------------------------------------------------------------------------------
To Reproduce
Problem Report Interactions