February 2016 - Pharo-dev - lists.pharo.org

Re: [Pharo-dev] [pharo-project/pharo-core] 335349: 50617

by stepharo

Thanks a lot for the menu I will be able to produce a videos before leaving to teahc to annecy :) Le 27/2/16 09:57, GitHub a Ã©crit : > 50617 > 17283 strange monticello repo in 507:http://www.squeaksource.com/Pharo/ > https://pharo.fogbugz.com/f/cases/17283 > > 16436 add RBSelfSuperSentNotImplementedRule > https://pharo.fogbugz.com/f/cases/16436 > > 17622 Failing test: MethodPragmaTest>>#testPrimitiveNamedErrorCode1 > https://pharo.fogbugz.com/f/cases/17622 > > 17714 Clean old startup mechanism - part 2 > https://pharo.fogbugz.com/f/cases/17714 > > 17691 ProfStef menu are broken > https://pharo.fogbugz.com/f/cases/17691

Feb. 27, 2016

[pharo-project/pharo-core]

by GitHub

Branch: refs/tags/50617 Home: https://github.com/pharo-project/pharo-core

Feb. 27, 2016

[pharo-project/pharo-core] 335349: 50617

by GitHub

Branch: refs/heads/5.0 Home: https://github.com/pharo-project/pharo-core Commit: 3353494741532202d947834fe2a97fa61363b026 https://github.com/pharo-project/pharo-core/commit/3353494741532202d947834f… Author: Jenkins Build Server <board(a)pharo-project.org> Date: 2016-02-27 (Sat, 27 Feb 2016) Changed paths: R ConfigurationOfGofer.package/ConfigurationOfGofer.class/README.md R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/accessing/project.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/development support/compareVersions.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/development support/createNewDevelopmentVersion.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/development support/updateToLatestPackageVersions_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/loading/load.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/metacello tool support/isMetacelloConfig.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/metacello tool support/lastMetacelloVersionLoad.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/metacello tool support/metacelloVersion_loads_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/private/bootstrapPackage_from_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/class/private/ensureMetacello.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/definition.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/accessing/project.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/baselines/baseline100_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/baselines/baseline1021_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/baselines/baseline1051_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/baselines/baseline1052_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/baselines/baseline105_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/symbolic versions/development_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/symbolic versions/stable_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version100_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version101_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version1021_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version1022_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version102_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version103_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version104_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version1051_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version1052_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version1053_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version1054_.st R ConfigurationOfGofer.package/ConfigurationOfGofer.class/instance/versions/version105_.st M FileSystem-Disk.package/DiskStore.class/class/class initialization/initialize.st R FileSystem-Disk.package/DiskStore.class/class/class initialization/release.st M FontInfrastructure.package/LogicalFont.class/class/class initialization/initialize.st R FontInfrastructure.package/LogicalFont.class/class/class initialization/release.st M FreeType.package/FT2Handle.class/class/initialize-release/initialize.st R FreeType.package/FT2Handle.class/class/initialize-release/release.st M FreeType.package/FreeTypeCache.class/class/initialize-release/initialize.st R FreeType.package/FreeTypeCache.class/class/initialize-release/release.st M FreeType.package/FreeTypeSettings.class/class/class initialization/initialize.st R FreeType.package/FreeTypeSettings.class/class/class initialization/release.st R Graphics-Display Objects.package/Form.class/class/initialize-release/release.st R Graphics-Primitives.package/Color.class/class/initialize-release/release.st R Kernel-Tests.package/MethodPragmaTest.class/instance/testing-primitives/testPrimitiveNamedErrorCode1.st M NECompletion.package/NOCCompletionTable.class/class/class initialization/initialize.st R NECompletion.package/NOCCompletionTable.class/class/class initialization/release.st R Nautilus.package/Nautilus.class/class/initialize-release/release.st M Network-Kernel.package/InternetConfiguration.class/class/initialization/initialize.st R Network-Kernel.package/InternetConfiguration.class/class/initialization/release.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/README.md A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/class/accessing/uniqueIdentifierName.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/class/testing/checksMethod.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/definition.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/instance/accessing/group.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/instance/accessing/name.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/instance/accessing/rationale.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/instance/accessing/severity.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/instance/running/basicCheck_.st A Refactoring-Critics.package/RBSelfSentNotImplementedRule.class/instance/running/checkMethod_.st R Refactoring-Critics.package/RBSentNotImplementedRule.class/instance/accessing/implementorsExists_.st M Refactoring-Critics.package/RBSentNotImplementedRule.class/instance/accessing/rationale.st M Refactoring-Critics.package/RBSentNotImplementedRule.class/instance/running/basicCheck_.st M Refactoring-Critics.package/RBSentNotImplementedRule.class/instance/running/checkMethod_.st R ScriptLoader50.package/ScriptLoader.class/instance/pharo - scripts/script50616.st A ScriptLoader50.package/ScriptLoader.class/instance/pharo - scripts/script50617.st R ScriptLoader50.package/ScriptLoader.class/instance/pharo - updates/update50616.st A ScriptLoader50.package/ScriptLoader.class/instance/pharo - updates/update50617.st M ScriptLoader50.package/ScriptLoader.class/instance/public/commentForCurrentUpdate.st M SmartSuggestions.package/SugsAbstractContext.class/class/instance creation/contextFor_.st M SmartSuggestions.package/SugsAbstractContext.class/instance/selection/selectedInterval.st A SmartSuggestions.package/SugsNullContext.class/README.md A SmartSuggestions.package/SugsNullContext.class/definition.st A SmartSuggestions.package/SugsNullContext.class/instance/refactoring/sourceTextArea.st A SmartSuggestions.package/SugsNullContext.class/instance/selection/selectedClass.st A SmartSuggestions.package/SugsNullContext.class/instance/selection/selectedMethod.st M System-OSEnvironments.package/OSEnvironment.class/class/initialize-release/initialize.st R System-OSEnvironments.package/OSEnvironment.class/class/initialize-release/release.st M System-Platforms.package/OSPlatform.class/class/initialize-release/initialize.st R System-Platforms.package/OSPlatform.class/class/initialize-release/release.st M System-Support.package/EndianDetector.class/class/class initialization/initialize.st R System-Support.package/EndianDetector.class/class/class initialization/release.st M Tool-Base.package/PharoCommonTools.class/class/initialization/initialize.st R Tool-Base.package/PharoCommonTools.class/class/initialization/release.st Log Message: ----------- 50617 17283 strange monticello repo in 507: http://www.squeaksource.com/Pharo/ https://pharo.fogbugz.com/f/cases/17283 16436 add RBSelfSuperSentNotImplementedRule https://pharo.fogbugz.com/f/cases/16436 17622 Failing test: MethodPragmaTest>>#testPrimitiveNamedErrorCode1 https://pharo.fogbugz.com/f/cases/17622 17714 Clean old startup mechanism - part 2 https://pharo.fogbugz.com/f/cases/17714 17691 ProfStef menu are broken https://pharo.fogbugz.com/f/cases/17691 http://files.pharo.org/image/50/50617.zip

Feb. 27, 2016

Re: [Pharo-dev] wrong method trailer kind

by Eliot Miranda

Hi Nicolai, On Fri, Feb 26, 2016 at 1:50 PM, Nicolai Hess <nicolaihess(a)gmail.com> wrote: > 17618 > <https://pharo.fogbugz.com/f/cases/17618/Failing-test-ReleaseTest-testInstal…> > Failing test: ReleaseTest>>#testInstalledMethodsWithIncorrectTrailerKind > Interesting bug. > someone who can tell me what exactly is this trailer kind and why it is > based > on some "flag" in "method at: method size". > There's a rich class comment in CompiledMethodTrailer which explains a lot, but let me add a little. Back in the day the source pointer in methods (the pointer that says which of the two source files and where in the file a method's source is kept) was stored in three bytes added onto the end of a CompiledMethod after its endPC. Then Dan Ingalls added the ability to not have source files at all but just to have named temporary variables. he added a compressed version of the temp names in bytes tacked on at the end of a method, replacing the source pointer. IIRC the difference between a source pointer, no source pointer, or a compressed version of the temp names was all encoded in the last byte. Round about 2009 Igor Stasenko did a really nice reimplementation of this scheme where he factored out the encoding tricks into CompiledMethodTrailer, allowing one to generalize the scheme and add new encoding types, for a total of 256 different kinds of trailer. (and if you already know all of this, forgive me for trying to teach you to suck eggs) Anyway this trailer is CompiledMethodTrailer >>encodeEmbeddedSourceQCompress "data is string with method's source code, encode it using qCompress method" self encodeUsingQCompress CompiledMethodTrailer >>decodeEmbeddedSourceQCompress "data is string with method's source code, encoded using qCompress method" self qDecompress. HTH And why it seems to be wrong for many GT-methods: > > (CompiledMethod allInstances select:[:m | (m at: m size) = 24]) > collect:[:k | > k -> k trailer kind] "an Array(String > class>>#gtInspectorFourtyTwo->#EmbeddedSourceQCompress > OSEnvironment>>#getEnv:->#EmbeddedSourceQCompress > OSEnvironment>>#getEnv:->#EmbeddedSourceQCompress GlobalVariable > class>>#gtExampleSmalltalk->#EmbeddedSourceQCompress VirtualMachine > class>>#gtExampleBasic->#EmbeddedSourceQCompress GLMBrowser > class>>#gtExampleBasic->#EmbeddedSourceQCompress RPackageTag > class>>#gtExamplePackageTag->#EmbeddedSourceQCompress Object > class>>#gtExampleBasic->#EmbeddedSourceQCompress GLMCompositePresentation > class>>#gtExampleCompositePresentation->#EmbeddedSourceQCompress > LiteralVariable > class>>#gtExampleUniqueLiteralVariable->#EmbeddedSourceQCompress > GTSpotterRecorderEvent > class>>#gtExampleAnySubclass->#EmbeddedSourceQCompress > MetacelloAbstractPackageSpec > class>>#gtExamplePackageSpec->#EmbeddedSourceQCompress > MetacelloProjectReferenceSpec > class>>#gtExampleProjectReferenceSpec->#EmbeddedSourceQCompress > MetacelloProjectSpec > class>>#gtExampleMetacelloSpec->#EmbeddedSourceQCompress MetacelloSpec > class>>#gtExampleMetacelloSpec->#EmbeddedSourceQCompress MetacelloVersion > class>>#gtExampleMetacelloVersion->#EmbeddedSourceQCompress GLMPresentation > class>>#gtExampleBasic->#EmbeddedSourceQCompress Bag > class>>#gtExampleBagWithTenElements->#EmbeddedSourceQCompress Bag > class>>#gtExampleBagWithOneElement->#EmbeddedSourceQCompress > GTDummyExamplesRecursive class>>#h->#EmbeddedSourceQCompress GLMAlertBrick > class>>#gtExample->#EmbeddedSourceQCompress > GTDummyExampleProvider>>#a->#EmbeddedSourceQCompress > GTDummyExampleProvider>>#b->#EmbeddedSourceQCompress > GTDummyExampleWithAssertions>>#a->#EmbeddedSourceQCompress > GTDummyExampleWithAssertions>>#b->#EmbeddedSourceQCompress GTDummyExamples > class>>#l->#EmbeddedSourceQCompress GTDummyExamples > class>>#o->#EmbeddedSourceQCompress GTDummyExamplesInvalid > class>>#a:->#EmbeddedSourceQCompress GTDummyExamplesPragmas > class>>#a->#EmbeddedSourceQCompress GTDummyExamplesPragmas > class>>#c->#EmbeddedSourceQCompress GTDummyExamplesPragmas > class>>#b->#EmbeddedSourceQCompress GLMCollapsableBrick > class>>#gtExample->#EmbeddedSourceQCompress FileReference > class>>#gtExampleText->#EmbeddedSourceQCompress GTSpotterStep > class>>#gtExampleBasic->#EmbeddedSourceQCompress GTEventAnnouncement > class>>#gtExampleEmptyAnnouncement->#EmbeddedSourceQCompress > UndefinedObject>>#DoIt->#EmbeddedSourceQCompress > UndefinedObject>>#DoIt->#EmbeddedSourceQCompress)" > _,,,^..^,,,_ best, Eliot

Feb. 26, 2016

Re: [Pharo-dev] Run time checking with design by contract assertions

by Alain Rastoul

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

Feb. 26, 2016

Re: [Pharo-dev] wrong method trailer kind

by Tudor Girba

I would be curious to find out as well :) Doru > On Feb 26, 2016, at 11:16 PM, Nicolai Hess <nicolaihess(a)gmail.com> wrote: > > It seems, the gt-Methods are actually methods not in any method dictionary. > And if I inspect the real methods from the method dictionary, that "flag" is different. > But I can not find any object pointing to this elements, and they arent cleaned up with > Smalltalk garbageCollect ... > > 2016-02-26 22:50 GMT+01:00 Nicolai Hess <nicolaihess(a)gmail.com>: > 17618 Failing test: ReleaseTest>>#testInstalledMethodsWithIncorrectTrailerKind > Interesting bug. > someone who can tell me what exactly is this trailer kind and why it is based > on some "flag" in "method at: method size". > And why it seems to be wrong for many GT-methods: > > (CompiledMethod allInstances select:[:m | (m at: m size) = 24]) collect:[:k | > k -> k trailer kind] "an Array(String class>>#gtInspectorFourtyTwo->#EmbeddedSourceQCompress OSEnvironment>>#getEnv:->#EmbeddedSourceQCompress OSEnvironment>>#getEnv:->#EmbeddedSourceQCompress GlobalVariable class>>#gtExampleSmalltalk->#EmbeddedSourceQCompress VirtualMachine class>>#gtExampleBasic->#EmbeddedSourceQCompress GLMBrowser class>>#gtExampleBasic->#EmbeddedSourceQCompress RPackageTag class>>#gtExamplePackageTag->#EmbeddedSourceQCompress Object class>>#gtExampleBasic->#EmbeddedSourceQCompress GLMCompositePresentation class>>#gtExampleCompositePresentation->#EmbeddedSourceQCompress LiteralVariable class>>#gtExampleUniqueLiteralVariable->#EmbeddedSourceQCompress GTSpotterRecorderEvent class>>#gtExampleAnySubclass->#EmbeddedSourceQCompress MetacelloAbstractPackageSpec class>>#gtExamplePackageSpec->#EmbeddedSourceQCompress MetacelloProjectReferenceSpec class>>#gtExampleProjectReferenceSpec->#EmbeddedSourceQCompress MetacelloProjectSpec class>>#gtExampleMetacelloSpec->#EmbeddedSourceQCompress MetacelloSpec class>>#gtExampleMetacelloSpec->#EmbeddedSourceQCompress MetacelloVersion class>>#gtExampleMetacelloVersion->#EmbeddedSourceQCompress GLMPresentation class>>#gtExampleBasic->#EmbeddedSourceQCompress Bag class>>#gtExampleBagWithTenElements->#EmbeddedSourceQCompress Bag class>>#gtExampleBagWithOneElement->#EmbeddedSourceQCompress GTDummyExamplesRecursive class>>#h->#EmbeddedSourceQCompress GLMAlertBrick class>>#gtExample->#EmbeddedSourceQCompress GTDummyExampleProvider>>#a->#EmbeddedSourceQCompress GTDummyExampleProvider>>#b->#EmbeddedSourceQCompress GTDummyExampleWithAssertions>>#a->#EmbeddedSourceQCompress GTDummyExampleWithAssertions>>#b->#EmbeddedSourceQCompress GTDummyExamples class>>#l->#EmbeddedSourceQCompress GTDummyExamples class>>#o->#EmbeddedSourceQCompress GTDummyExamplesInvalid class>>#a:->#EmbeddedSourceQCompress GTDummyExamplesPragmas class>>#a->#EmbeddedSourceQCompress GTDummyExamplesPragmas class>>#c->#EmbeddedSourceQCompress GTDummyExamplesPragmas class>>#b->#EmbeddedSourceQCompress GLMCollapsableBrick class>>#gtExample->#EmbeddedSourceQCompress FileReference class>>#gtExampleText->#EmbeddedSourceQCompress GTSpotterStep class>>#gtExampleBasic->#EmbeddedSourceQCompress GTEventAnnouncement class>>#gtExampleEmptyAnnouncement->#EmbeddedSourceQCompress UndefinedObject>>#DoIt->#EmbeddedSourceQCompress UndefinedObject>>#DoIt->#EmbeddedSourceQCompress)" > -- www.tudorgirba.com www.feenk.com "Being happy is a matter of choice."

Feb. 26, 2016

Re: [Pharo-dev] wrong method trailer kind

by Nicolai Hess

It seems, the gt-Methods are actually methods not in any method dictionary. And if I inspect the real methods from the method dictionary, that "flag" is different. But I can not find any object pointing to this elements, and they arent cleaned up with Smalltalk garbageCollect ... 2016-02-26 22:50 GMT+01:00 Nicolai Hess <nicolaihess(a)gmail.com>: > 17618 > <https://pharo.fogbugz.com/f/cases/17618/Failing-test-ReleaseTest-testInstal…> > Failing test: ReleaseTest>>#testInstalledMethodsWithIncorrectTrailerKind > Interesting bug. > someone who can tell me what exactly is this trailer kind and why it is > based > on some "flag" in "method at: method size". > And why it seems to be wrong for many GT-methods: > > (CompiledMethod allInstances select:[:m | (m at: m size) = 24]) > collect:[:k | > k -> k trailer kind] "an Array(String > class>>#gtInspectorFourtyTwo->#EmbeddedSourceQCompress > OSEnvironment>>#getEnv:->#EmbeddedSourceQCompress > OSEnvironment>>#getEnv:->#EmbeddedSourceQCompress GlobalVariable > class>>#gtExampleSmalltalk->#EmbeddedSourceQCompress VirtualMachine > class>>#gtExampleBasic->#EmbeddedSourceQCompress GLMBrowser > class>>#gtExampleBasic->#EmbeddedSourceQCompress RPackageTag > class>>#gtExamplePackageTag->#EmbeddedSourceQCompress Object > class>>#gtExampleBasic->#EmbeddedSourceQCompress GLMCompositePresentation > class>>#gtExampleCompositePresentation->#EmbeddedSourceQCompress > LiteralVariable > class>>#gtExampleUniqueLiteralVariable->#EmbeddedSourceQCompress > GTSpotterRecorderEvent > class>>#gtExampleAnySubclass->#EmbeddedSourceQCompress > MetacelloAbstractPackageSpec > class>>#gtExamplePackageSpec->#EmbeddedSourceQCompress > MetacelloProjectReferenceSpec > class>>#gtExampleProjectReferenceSpec->#EmbeddedSourceQCompress > MetacelloProjectSpec > class>>#gtExampleMetacelloSpec->#EmbeddedSourceQCompress MetacelloSpec > class>>#gtExampleMetacelloSpec->#EmbeddedSourceQCompress MetacelloVersion > class>>#gtExampleMetacelloVersion->#EmbeddedSourceQCompress GLMPresentation > class>>#gtExampleBasic->#EmbeddedSourceQCompress Bag > class>>#gtExampleBagWithTenElements->#EmbeddedSourceQCompress Bag > class>>#gtExampleBagWithOneElement->#EmbeddedSourceQCompress > GTDummyExamplesRecursive class>>#h->#EmbeddedSourceQCompress GLMAlertBrick > class>>#gtExample->#EmbeddedSourceQCompress > GTDummyExampleProvider>>#a->#EmbeddedSourceQCompress > GTDummyExampleProvider>>#b->#EmbeddedSourceQCompress > GTDummyExampleWithAssertions>>#a->#EmbeddedSourceQCompress > GTDummyExampleWithAssertions>>#b->#EmbeddedSourceQCompress GTDummyExamples > class>>#l->#EmbeddedSourceQCompress GTDummyExamples > class>>#o->#EmbeddedSourceQCompress GTDummyExamplesInvalid > class>>#a:->#EmbeddedSourceQCompress GTDummyExamplesPragmas > class>>#a->#EmbeddedSourceQCompress GTDummyExamplesPragmas > class>>#c->#EmbeddedSourceQCompress GTDummyExamplesPragmas > class>>#b->#EmbeddedSourceQCompress GLMCollapsableBrick > class>>#gtExample->#EmbeddedSourceQCompress FileReference > class>>#gtExampleText->#EmbeddedSourceQCompress GTSpotterStep > class>>#gtExampleBasic->#EmbeddedSourceQCompress GTEventAnnouncement > class>>#gtExampleEmptyAnnouncement->#EmbeddedSourceQCompress > UndefinedObject>>#DoIt->#EmbeddedSourceQCompress > UndefinedObject>>#DoIt->#EmbeddedSourceQCompress)" >

Feb. 26, 2016

Re: [Pharo-dev] Run time checking with design by contract assertions

by Alain Rastoul

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). > nb : the invariant was : > > rulesModelChildrenUnderstandLeaves > <contract: invariant> > ^ rulesModel selectedItem ifNil: [ true ] ifNotNil: [ :rule | rule > respondsTo: #leaves ] > > because the DNU was on 'leaves' not understood. > > :) > forgot to say that I had several stack traces recorded in the black box ... > I was too short on TreeModel knowledge to go forward but this didn't > break CodeCritic. -- Alain

Feb. 26, 2016

Re: [Pharo-dev] Run time checking with design by contract assertions

by Alain Rastoul

On 26/02/2016 22:01, stepharo wrote: > > You see this is a lot more difficult than it appears. ***Ideally*** old > should be a full copy of the object :) > But we can live with an approx solution. You are right, I didn't thought about this problem at all, I was thinking about the way to connect the two objects wrapping the method calls with MetaLink, and the implications in the workflow of the compiler front-end I did (rewrite several parts in fact). I don't measure all the implications of making a deep copy, a shallow copy or no copy (pointers only), but this could be a parameter at run-time > > In any case I would really love to see if we can have contracts in > classes in Pharo libraries and > see how it improves them. > > I would like to see the performance penalties. > What we could have is the following: > The extra cost is almost only in what is done in the checks : I did the small test of using a FakeOrderedCollection (the one in IceCompiler-Core-Tests package) and adding 10K integer to it, with and without contracts and I had terrible results : more than 2mn with contract checking, less than 1s without (I don't remember the exact values) without, but no surprise at all, all the cost was in the collection>>includes: check done in the postCondition: postAdd: anObject ^ self includes: anObject who does a scan of the collection .... The cost of MetaLink or IceContractor and co is neglectable for a run-time check IMHO, abd when releasing, all the code will be recompiled without contract checking. > When we run the tests we run them twice > One with contracts on and one without contracts. > > - first the results should be same :) > - second the contracts should be working But this is done in the tests classes in the IceCompiler package with very small runs and my intention is to add more tests. I may be ashamed but you can look at the code... ( don't flame me please , I'm no coder and I know I have to refactor lot of things) ... ;) The approach I took is to have a blackbox to record test failures, no assert, exceptions or whatever, I just record failures, because I wanted to be non intrusive/agressive towards the system. And this could be a parameter too. I also recompiled the CriticBrowser with an invariant to see where something was wrong with right-click/ban from selected package (DNU). nb : the invariant was : rulesModelChildrenUnderstandLeaves <contract: invariant> ^ rulesModel selectedItem ifNil: [ true ] ifNotNil: [ :rule | rule respondsTo: #leaves ] because the DNU was on 'leaves' not understood. :) I was too short on TreeModel knowledge to go forward but this didn't break CodeCritic. > > Then we could start to have test harnessing (I know that guys from > argentina did some libraries for that) > and we could have better tests and find bugs in code by using the > contracts. > > Stef > > -- Alain

Feb. 26, 2016

wrong method trailer kind

by Nicolai Hess

17618 <https://pharo.fogbugz.com/f/cases/17618/Failing-test-ReleaseTest-testInstal…> Failing test: ReleaseTest>>#testInstalledMethodsWithIncorrectTrailerKind Interesting bug. someone who can tell me what exactly is this trailer kind and why it is based on some "flag" in "method at: method size". And why it seems to be wrong for many GT-methods: (CompiledMethod allInstances select:[:m | (m at: m size) = 24]) collect:[:k | k -> k trailer kind] "an Array(String class>>#gtInspectorFourtyTwo->#EmbeddedSourceQCompress OSEnvironment>>#getEnv:->#EmbeddedSourceQCompress OSEnvironment>>#getEnv:->#EmbeddedSourceQCompress GlobalVariable class>>#gtExampleSmalltalk->#EmbeddedSourceQCompress VirtualMachine class>>#gtExampleBasic->#EmbeddedSourceQCompress GLMBrowser class>>#gtExampleBasic->#EmbeddedSourceQCompress RPackageTag class>>#gtExamplePackageTag->#EmbeddedSourceQCompress Object class>>#gtExampleBasic->#EmbeddedSourceQCompress GLMCompositePresentation class>>#gtExampleCompositePresentation->#EmbeddedSourceQCompress LiteralVariable class>>#gtExampleUniqueLiteralVariable->#EmbeddedSourceQCompress GTSpotterRecorderEvent class>>#gtExampleAnySubclass->#EmbeddedSourceQCompress MetacelloAbstractPackageSpec class>>#gtExamplePackageSpec->#EmbeddedSourceQCompress MetacelloProjectReferenceSpec class>>#gtExampleProjectReferenceSpec->#EmbeddedSourceQCompress MetacelloProjectSpec class>>#gtExampleMetacelloSpec->#EmbeddedSourceQCompress MetacelloSpec class>>#gtExampleMetacelloSpec->#EmbeddedSourceQCompress MetacelloVersion class>>#gtExampleMetacelloVersion->#EmbeddedSourceQCompress GLMPresentation class>>#gtExampleBasic->#EmbeddedSourceQCompress Bag class>>#gtExampleBagWithTenElements->#EmbeddedSourceQCompress Bag class>>#gtExampleBagWithOneElement->#EmbeddedSourceQCompress GTDummyExamplesRecursive class>>#h->#EmbeddedSourceQCompress GLMAlertBrick class>>#gtExample->#EmbeddedSourceQCompress GTDummyExampleProvider>>#a->#EmbeddedSourceQCompress GTDummyExampleProvider>>#b->#EmbeddedSourceQCompress GTDummyExampleWithAssertions>>#a->#EmbeddedSourceQCompress GTDummyExampleWithAssertions>>#b->#EmbeddedSourceQCompress GTDummyExamples class>>#l->#EmbeddedSourceQCompress GTDummyExamples class>>#o->#EmbeddedSourceQCompress GTDummyExamplesInvalid class>>#a:->#EmbeddedSourceQCompress GTDummyExamplesPragmas class>>#a->#EmbeddedSourceQCompress GTDummyExamplesPragmas class>>#c->#EmbeddedSourceQCompress GTDummyExamplesPragmas class>>#b->#EmbeddedSourceQCompress GLMCollapsableBrick class>>#gtExample->#EmbeddedSourceQCompress FileReference class>>#gtExampleText->#EmbeddedSourceQCompress GTSpotterStep class>>#gtExampleBasic->#EmbeddedSourceQCompress GTEventAnnouncement class>>#gtExampleEmptyAnnouncement->#EmbeddedSourceQCompress UndefinedObject>>#DoIt->#EmbeddedSourceQCompress UndefinedObject>>#DoIt->#EmbeddedSourceQCompress)"

Feb. 26, 2016