PR# 18936 [RJ] Freeze required when changing assertion settings on a library.

Problem Report Summary
Submitter: axarosenberg
Category: EiffelStudio
Priority: Medium
Date: 2014/08/07
Class: Bug
Severity: Serious
Number: 18936
Release: 14.05.9.5417
Confidential: No
Status: Analyzed
Responsible:
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64; Trident/7.0; rv:11.0) like Gecko
Synopsis: [RJ] Freeze required when changing assertion settings on a library.

Description
I have class A in an override.  I have class B in a regular library which inherits from A.  In A is a feature, foo, with a precondition.  Preconditions are ON for the override but not the library.  At this point, preconditions are OFF for {B}.foo.  A little confusing - the code is in a library with preconditions ON but B is in a library with them OFF.  (Is that by design?)  OK, now I change preconditions to be ON in B's library.  When I run, I am asked if I want to recompile.  I do, with no effect.  A freeze is required to get it working!

Could you "do the right thing"?

   Randy
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2014/08/07    Download   
Shift+F8 was added to speed up the Eiffel compilation by only checking the changes in the override clusters and nothing else. I guess we should also take into account the changes in the ECF if any.

Alt+F8 and F7 will trigger a recompilation if anything changes in the ECF.

And when changing the assertion level you actually need to generate some code to tell on which class assertions are monitored. Technically it does not need a full compilation if the changes were generated in a separate file from the executable, but since it is part of the executable, it requires the compilation.

From:axarosenberg    Date:2014/08/07    Download   
Rats, you caught me.  First Eiffel Studio asked if I wanted to recompile.  I said NO.  I ran the code to see what would happen.  Then I did shift-F8 - which did nothing.

Arrgh!  OK, I just tried it again but this time I said YES and yes, that worked.  But it really should know what needs to be done even if I press shift-F8.  (I don't even see why a recompile is needed since the code is already there and acts pretty much like an 'if' statement.)

   Randy

p.s. Alt-F8 and F7 both worked.

From:manus_eiffel    Date:2014/08/07    Status: Analyzed    Download   
Could you confirm that you tried both Alt+F8, or Shift + F8, or F7 to compile the project without any effect?