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


Reply via email to