On 26/02/2016 23:06, Alain Rastoul wrote:
On 26/02/2016 23:01, Alain Rastoul wrote:
I also recompiled the CriticBrowser with an invariant to see where something was wrong with right-click/ban from selected package (DNU).
Thought there is still something related to ast/recompilation I have to investigate : It start with a DNU in IRTranslatorV2 with a packageCount not found that it should find, the second time you open Critic Browser it is ok If you want to try this, with IceCompiler package installed copy paste the following in a playground and do in sequence: " 1. add the invariant method I gave to CriticBrowser (may be it is completely false but whatever) : rulesModelChildrenUnderstandLeaves <contract: invariant> ^ rulesModel selectedItem ifNil: [ true ] ifNotNil: [ :rule | rule respondsTo: #leaves ]. then " "2 .recompile CriticBrowser with the invariant:" IceCompiler compile: CriticBrowser . "3. open an inspector on the blacbox" IceReporter open . " 4. do CriticBrowser stuff here 4.1 open CritiBrowser on my package, first time DNU to investigate related to Metalink ast recompilation I guess close it 4.2 then second time, opening CriticBrowser is ok 4.3 then right click on rule, select 'ban from selected package' => DNU" "5.refresh the blackbox, you will see the traces of contract failures" "6. clean the CriticBrowser compiled methods from contracts (ie recompile)" IceCompiler clean: CriticBrowser fun :) -- Alain