- Pharo-dev - lists.pharo.org

Re: [Pharo-dev] About Pharo 60

by Tudor Girba

Hi, The answer was that Spotter is not different in any way than any other global shortcut. This means that if we want to have an interactive solution, we should do it at the level of the Keymapping framework not at the level of individual tools. In the meantime, how do we manage this? Inspect: KMRepository default If you want to remove all of them you can do: KMRepository default globalCategories removeAll Given that producing an end-user image should rely on a script, I think this solution pragmatic enough. Or do I miss something? Cheers, Doru > On Aug 27, 2016, at 2:32 PM, Esteban Lorenzano <estebanlm(a)gmail.com> wrote: > > yes, some years ago I made a package for this. > later Ben tried something similar with the user manager. > none of those approaches worked as general approach because you need to âcloseâ a lot of thingsâ¦ (not just the spotterâ¦ which by the way, NEEDS to have a setting, no idea who answered you that but he is wrong), and image is not prepared for that. > > of course is still possible :) > > anyway, today I would tackle a solution in a different way: I would open my app morph on an SDL2 window and not touch the word at all (opening a headless image). This is not possible in windows because when you do âheadlessâ it just laugh at you, but is doable in the not-so-long term. > > Esteban > >> On 27 Aug 2016, at 13:39, Cyril Ferlicot D. <cyril.ferlicot(a)gmail.com> wrote: >> >> Le 27/08/2016 Ã 13:18, stepharo a Ã©crit : >>> >>> >>> YES!!! >>> >>> Do you know how Settings works? >>> We can adapt it this way. >> >> When I improved the deployment of Synectique Tools I asked to get a >> simple way to disable Spotter via a setting but I got as answer "No >> because you can do it by removing a global shortcut so it is not needed.". >> >> People in companies don't have the time to learn how shortcuts work and >> how to remove one without impacting something else. And they don't have >> the time to check Spotter code to know how it is call. >> >> If the image is able to have a deployment mode then I don't care how >> Spotter is disabled (setting or removing a shortcut). But for now we >> don't have it. :) >> >>> I mean the User approach that Benjmain proposed and was pushed in Pharo >>> was not good because it was not modular. Now each part of the system >>> should be >>> defined in way that it can be set just as a setting. >>> We should not have >>> >>> World .... >>> User current = ifTrue >>> >>> But >>> >>> World use: userSetting >>> >>> and World should handle it. >>> There is way more to do :) >>> When you deploy on linux you should be able to say beSilent to the >>> system (do not write on places that you cannot). >>> Valentin works on it and we should continue >>> >>> Stef >>> >> >> The fact that there is much more to do is the main reason for Pharo to >> do it and not the developer. The developer cannot know all the system >> and will not be able to protect the code of his company well because he >> will forget something as to disable ctrl+o+p (or he is a god developer! >> But everyone is not). >> >> This is a large thing to do, so it would be cool that everyone keep that >> in mind to allow it little by little (as with the work of Valentin). >> >> -- >> Cyril Ferlicot >> >> http://www.synectique.eu >> >> 165 Avenue Bretagne >> Lille 59000 France >> > > -- www.tudorgirba.com www.feenk.com "Sometimes the best solution is not the best solution."

Aug. 28, 2016

Re: [Pharo-dev] Layout in bloc

by Alexandre Bergel

Other questions, where are the layout you have showed me at ESUG? Is there a tree layout? If no, then I can port the one of Roassal. Alexandre > On Aug 28, 2016, at 5:18 AM, Aliaksei Syrel <alex.syrel(a)gmail.com> wrote: > > Hi > > Thanks for the example. Exactly, ability to have elements that are visible but not participate in layout is very important. But first I would like to describe bloc layout a bit more. > > --------------------------------- > If you think for a second about the meaning of "layout" you would realize that layout is just "the way in which the parts of something are arranged or laid out". So, actually, layout is all about determining the positions of elements within the parent (origin of bounds). However, real world is a bit more complicated, especially when it comes to visual elements. In our world we must also compute size (extent) of every element before actually laying it out. Bad news is that size depends on layout type and layout constraints (match parent, fit content, take exact size) that may depend rather on children or parent. > > In Bloc the whole process is divided in two parts: measurement and layout. They are completely separated and do not overlap. > > During measurement step we iterate over the whole tree and depending on layout and constraints only compute extent of every element. For optimisation purposes layout caches previous extent and if during new measurement step it does not change, we stop, skipping children. There is a rule: if child's constraints didn't change and if child's measurement bit is not dirty and if parent's extent is the same child will have the same extent. > > Than comes layout step. Because we already measured all extents we can easily determine positions within the parent, and logic is very simple. > --------------------------------- > > Now let's think about visibility and visible: setter. What argument should it be? How do we encode visibility. In Morphic it is a Boolean. However, in real world it is a bit more complicated. > > Sometimes we want an element to be completely gone, it is not visible and does not take any space within the parent and does not participate in layout. > Sometimes we want an element to be hidden, it is not visible but it still occupies space within the parent (it is just empty) and do participate in layout. > Sometimes we want an element to be floating, it is visible but does not occupy any space and does not participate in layout. However, a floating element must be measured (extent computed), we just do not want to compute its position and simply let user set it manually. > > To conclude, instead of Boolean in Bloc visibility is defined by BlVisibility object. > -------------------------------- > > Floating mode is exactly what you want, Alex. It can be set easily: > txt constraints beFloating. > > However, I just checked and it does not work. Looks like this feature was removed during last iteration. I find this feature is a huge step forward, but now we are many steps back :( > > > Cheers, > Alex > > On 28 August 2016 at 02:24, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: > Hi! > > I am working on a popup support in Bloc and I am facing a problem. Consider the following code: > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > space := BlSpace new. > space root layout: BlLinearLayout horizontal. > 10 > timesRepeat: [ | e | > e := (BlRectangle new extent: 20 @ 20) asElement. > e background: Color random. > space root addChild: e ]. > space root children withIndexDo: [ :e :index | e translateBy: (index * 30) @ 10 ]. > > space root children do: [ :e | > e > addEventHandler: > (BlEventHandler > on: BlMouseEnterEvent > do: [ :evt | > | txt | > txt := BlText new > position: evt position; > fill: Color red; > text: 'Hello World'. > > e parent addChild: txt ]). > > ]. > space show > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > > If you uncomment the second line (âspace root layout:â¦â), then the string hello world is added text to the element in which the mouse enter. With the layout, the string is added at the end of the line. > > I like very much the idea of having the layout applied when elements are added (even I suspect we may have scalability issues very soon), but in that situation, this is not wished. > > Alexandre > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > > -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

Aug. 28, 2016

Binary selector and special characters

by Nicolai Hess

Hi, where can I find a good reference about what characters are allowed as binary selectors (from old syntax definition) and what is nowadays allowed by the implementations. And whether the current set of allowed binaries selector includes some additions on purpose or if this is just a bug of the parser. >From what I found out, (Blue book and some other smalltalk syntax definitions) the current set of allowed characters includes the "special characters": $! $% $& $* $+ $, $- $/ $< $= $> $? $@ $\ $| $~ (some implementation do not allow $@ and some calls $- not a special character but allowed as binary selector character) And this is what String>>#numArgs uses. Therefore '-' numArgs "->1". '!' numArgs "->1". And for example: 'Â§' numArgs "-> -1 (the -1 is indicating "not even a valid selector")" But I am interested in the characters not called "special characters and not even in the range 0-126. The scanner allowes much more characters to be used as a selector name (From the scanners typeTable) : {Character value: 1 . Character value: 2 . Character value: 3 . Character value: 4 . Character value: 5 . Character value: 6 . Character value: 7 . Character backspace . Character value: 11 . Character value: 14 . Character value: 15 . Character value: 16 . Character value: 17 . Character value: 18 . Character value: 19 . Character value: 20 . Character value: 21 . Character value: 22 . Character value: 23 . Character value: 24 . Character value: 25 . Character value: 26 . Character escape . Character value: 28 . Character value: 29 . Character value: 30 . Character value: 31 . $! . $% . $& . $* . $+ . $, . $- . $/ . $< . $= . $> . $? . $@ . $\ . $` . $~ . Character delete . $â¬ . $ . $â . $Æ . $â . $â¦ . $â . $â¡ . $Ë . $â° . $Å . $â¹ . $Å . $ . $Å½ . $ . $ . $â . $â . $â . $â . $â¢ . $â . $â . $Ë . $â¢ . $Å¡ . $âº . $Å . $ . $Å¾ . $Å¸ . $ . $Â¡ . $Â¢ . $Â£ . $Â¤ . $Â¥ . $Â¦ . $Â§ . $Â¨ . $Â© . $Â« . $Â¬ . $Â . $Â® . $Â¯ . $Â° . $Â± . $Â² . $Â³ . $Â´ . $Â¶ . $Â· . $Â¸ . $Â¹ . $Â» . $Â¼ . $Â½ . $Â¾ . $Â¿ . $Ã . $Ã·} This means you can define a method with for example the name "Ã·". So , the question I want to ask. What do we want to allow as a binary selector (character). All that is nowadays "parseable" as binary selector, or only the set of "special characters" or something between both, and where to put this information, the "this is an allowed binary selector character" information? Thanks Nicolai

Aug. 28, 2016

Re: [Pharo-dev] Layout in bloc

by Alexandre Bergel

Thanks Alex! Cheers, Alexandre > On Aug 28, 2016, at 5:18 AM, Aliaksei Syrel <alex.syrel(a)gmail.com> wrote: > > Hi > > Thanks for the example. Exactly, ability to have elements that are visible but not participate in layout is very important. But first I would like to describe bloc layout a bit more. > > --------------------------------- > If you think for a second about the meaning of "layout" you would realize that layout is just "the way in which the parts of something are arranged or laid out". So, actually, layout is all about determining the positions of elements within the parent (origin of bounds). However, real world is a bit more complicated, especially when it comes to visual elements. In our world we must also compute size (extent) of every element before actually laying it out. Bad news is that size depends on layout type and layout constraints (match parent, fit content, take exact size) that may depend rather on children or parent. > > In Bloc the whole process is divided in two parts: measurement and layout. They are completely separated and do not overlap. > > During measurement step we iterate over the whole tree and depending on layout and constraints only compute extent of every element. For optimisation purposes layout caches previous extent and if during new measurement step it does not change, we stop, skipping children. There is a rule: if child's constraints didn't change and if child's measurement bit is not dirty and if parent's extent is the same child will have the same extent. > > Than comes layout step. Because we already measured all extents we can easily determine positions within the parent, and logic is very simple. > --------------------------------- > > Now let's think about visibility and visible: setter. What argument should it be? How do we encode visibility. In Morphic it is a Boolean. However, in real world it is a bit more complicated. > > Sometimes we want an element to be completely gone, it is not visible and does not take any space within the parent and does not participate in layout. > Sometimes we want an element to be hidden, it is not visible but it still occupies space within the parent (it is just empty) and do participate in layout. > Sometimes we want an element to be floating, it is visible but does not occupy any space and does not participate in layout. However, a floating element must be measured (extent computed), we just do not want to compute its position and simply let user set it manually. > > To conclude, instead of Boolean in Bloc visibility is defined by BlVisibility object. > -------------------------------- > > Floating mode is exactly what you want, Alex. It can be set easily: > txt constraints beFloating. > > However, I just checked and it does not work. Looks like this feature was removed during last iteration. I find this feature is a huge step forward, but now we are many steps back :( > > > Cheers, > Alex > > On 28 August 2016 at 02:24, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: > Hi! > > I am working on a popup support in Bloc and I am facing a problem. Consider the following code: > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > space := BlSpace new. > space root layout: BlLinearLayout horizontal. > 10 > timesRepeat: [ | e | > e := (BlRectangle new extent: 20 @ 20) asElement. > e background: Color random. > space root addChild: e ]. > space root children withIndexDo: [ :e :index | e translateBy: (index * 30) @ 10 ]. > > space root children do: [ :e | > e > addEventHandler: > (BlEventHandler > on: BlMouseEnterEvent > do: [ :evt | > | txt | > txt := BlText new > position: evt position; > fill: Color red; > text: 'Hello World'. > > e parent addChild: txt ]). > > ]. > space show > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > > If you uncomment the second line (âspace root layout:â¦â), then the string hello world is added text to the element in which the mouse enter. With the layout, the string is added at the end of the line. > > I like very much the idea of having the layout applied when elements are added (even I suspect we may have scalability issues very soon), but in that situation, this is not wished. > > Alexandre > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > > -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

Aug. 28, 2016

Re: [Pharo-dev] Layout in bloc

by Aliaksei Syrel

Hi Thanks for the example. Exactly, ability to have elements that are visible but not participate in layout is very important. But first I would like to describe bloc layout a bit more. --------------------------------- If you think for a second about the meaning of "layout" you would realize that layout is just "the way in which the parts of something are arranged or laid out". So, actually, layout is all about determining the positions of elements within the parent (origin of bounds). However, real world is a bit more complicated, especially when it comes to visual elements. In our world we must also compute size (extent) of every element before actually laying it out. Bad news is that size depends on layout type and layout constraints (match parent, fit content, take exact size) that may depend rather on children or parent. In Bloc the whole process is divided in two parts: measurement and layout. They are completely separated and do not overlap. During measurement step we iterate over the whole tree and depending on layout and constraints only compute extent of every element. For optimisation purposes layout caches previous extent and if during new measurement step it does not change, we stop, skipping children. There is a rule: if child's constraints didn't change and if child's measurement bit is not dirty and if parent's extent is the same child will have the same extent. Than comes layout step. Because we already measured all extents we can easily determine positions within the parent, and logic is very simple. --------------------------------- Now let's think about visibility and visible: setter. What argument should it be? How do we encode visibility. In Morphic it is a Boolean. However, in real world it is a bit more complicated. Sometimes we want an element to be completely gone, it is not visible and does not take any space within the parent and does not participate in layout. Sometimes we want an element to be hidden, it is not visible but it still occupies space within the parent (it is just empty) and do participate in layout. Sometimes we want an element to be floating, it is visible but does not occupy any space and does not participate in layout. However, a floating element must be measured (extent computed), we just do not want to compute its position and simply let user set it manually. To conclude, instead of Boolean in Bloc visibility is defined by BlVisibility object. -------------------------------- Floating mode is exactly what you want, Alex. It can be set easily: > txt constraints beFloating. However, I just checked and it does not work. Looks like this feature was removed during last iteration. I find this feature is a huge step forward, but now we are many steps back :( Cheers, Alex On 28 August 2016 at 02:24, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: > Hi! > > I am working on a popup support in Bloc and I am facing a problem. > Consider the following code: > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > space := BlSpace new. > space root layout: BlLinearLayout horizontal. > 10 > timesRepeat: [ | e | > e := (BlRectangle new extent: 20 @ 20) asElement. > e background: Color random. > space root addChild: e ]. > space root children withIndexDo: [ :e :index | e translateBy: > (index * 30) @ 10 ]. > > space root children do: [ :e | > e > addEventHandler: > (BlEventHandler > on: BlMouseEnterEvent > do: [ :evt | > | txt | > txt := BlText new > position: evt > position; > fill: Color red; > text: 'Hello > World'. > > e parent addChild: txt ]). > > ]. > space show > -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= > > If you uncomment the second line (âspace root layout:â¦â), then the string > hello world is added text to the element in which the mouse enter. With the > layout, the string is added at the end of the line. > > I like very much the idea of having the layout applied when elements are > added (even I suspect we may have scalability issues very soon), but in > that situation, this is not wished. > > Alexandre > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > >

Aug. 28, 2016

Re: [Pharo-dev] About Pharo 60

by Esteban Lorenzano

> On 28 Aug 2016, at 00:55, Cyril Ferlicot D. <cyril.ferlicot(a)gmail.com> wrote: > > Le 27/08/2016 Ã 14:32, Esteban Lorenzano a Ã©crit : >> yes, some years ago I made a package for this. >> later Ben tried something similar with the user manager. >> none of those approaches worked as general approach because you need to âcloseâ a lot of thingsâ¦ (not just the spotterâ¦ which by the way, NEEDS to have a setting, no idea who answered you that but he is wrong), and image is not prepared for that. >> > > I checked the issue tracker and it was closed because people though that > we need a better way to disable shortcuts in general and that it is not > specific to Spotter. > > https://pharo.fogbugz.com/f/cases/17041/We-should-be-able-to-disable-GTSpot… > > But we still cannot disable/enable Spotter without hacking into KM :( > I think that sometimes it is good to think about a generic solution, but > we still can get a temporary one because everyone cannot wait 3 years > that the good one works. We can still let a flag "Remove this temporary > solution after we finish <issueNumberHere>â. ok, I will re-open it because this is not about shourtcuts, is about enabling or disabling a tool. The fact that this tool is called with a shortcut is just a detailâ¦ and also is incomplete: a good setting should also remove spotter from world menu, for example. Esteban > > >> of course is still possible :) >> >> anyway, today I would tackle a solution in a different way: I would open my app morph on an SDL2 window and not touch the word at all (opening a headless image). This is not possible in windows because when you do âheadlessâ it just laugh at you, but is doable in the not-so-long term. >> >> Esteban >> > > -- > Cyril Ferlicot > > http://www.synectique.eu > > 165 Avenue Bretagne > Lille 59000 France >

Aug. 28, 2016

Re: [Pharo-dev] ensure blocks in TestCase>>tearDown are not run if an error occurs inside ensured block when test itself was halted ...

by stepharo

Hi dale Le 8/8/16 Ã 15:00, Dale Henrichs a Ã©crit : > > Max, > > Thanks for looking into this. > > Do you think that this bug will be fixed in Pharo5.0? When I'm > debugging the tests with this fatal pattern, my only recourse is to > start and stop images between test runs ... > Definitively. We do regular backport of fixes when they are important and this one looks important. > The side effect of not running ensure blocks in tests is that a > SharedQueue gets stuck waiting on an empty queue and when I interrupt > that process (and get another debugger that is closed) I end up with > the Empty Debugger problem where the debuggers have decide to stop > working ... I saw that there was logic in Process>>terminate involved > in dealing with processes running in critical blocks and that logic > might be faulty as well ... > > Dale > > On 8/8/16 12:11 AM, Max Leske wrote: >> Thanks Nicolai. >> >> Iâve opened an issue on phogbugz: >> https://pharo.fogbugz.com/f/cases/18885/Ensure-blocks-in-test-tear-down-not…. >> >> >>> On 8 Aug 2016, at 09:03, Nicolai Hess <nicolaihess(a)gmail.com >>> <mailto:nicolaihess@gmail.com>> wrote: >>> >>> >>> >>> 2016-08-08 8:52 GMT+02:00 Max Leske <maxleske(a)gmail.com >>> <mailto:maxleske@gmail.com>>: >>> >>> Wow, thatâs pretty bad. The process termination logic should be >>> taking care of the ensure blocks. Unfortunately I canât run any >>> Pharo images at the moment but if thereâs something wrong with >>> process termination then itâs likely that me or Ben made some >>> mistake. Could someone please rerun Daleâs test scenario with >>> the original process termination code (e.g. from Pharo 3) and >>> report the results? >>> >>> >>> Yes, test runs fine in pharo 30864 (halts in the ensure block) >>> >>> >>> Cheers, >>> Max >>> >>> >>> > On 8 Aug 2016, at 03:25, Dale Henrichs >>> <dale.henrichs(a)gemtalksystems.com >>> <mailto:dale.henrichs@gemtalksystems.com>> wrote: >>> > >>> > While attempting to characterize the "Empty Debugger" problem >>> that I've recently reported[1], I found that ensure blocks in >>> TestCase>>teardown methods are not run if an Error is signaled >>> while executing the code protected by the ensure block ... when >>> the test itself brings up a debugger --- now that is a mouthful >>> :) ... but a situation that commonly occurs ... >>> > >>> > I've attached a fileIn with a very simple reproduction of this >>> problem. After filing in the code, execute the following: >>> > >>> > BugTestCase debug: #test. >>> > >>> > Abandon the first halt -- this is the halt in the test. Next a >>> debugger is brought up on the error from inside the ensure block >>> in the tearDown method: >>> > >>> > tearDown >>> > [ self error: 'teardown' ] >>> > ensure: [ >>> > "Imagine that something important NEEDED to be done >>> here" >>> > self halt ]. >>> > super tearDown. >>> > >>> > Abandon the error and the `self halt` in the ensure block is >>> not run ... >>> > >>> > If you take the `self halt` out of the test method itself, the >>> `self halt` in the ensure block _is_ run ... >>> > >>> > This does not directly lead to the Empty Debugger, but when >>> the ensure blocks called during teardown are not run, a resource >>> is not cleaned up properly and that leads to SharedQueue hanging >>> ... when I interrupt the SharedQueue, I believe that this leads >>> to the "Empty Debugger" a separate, but more nasty problem ... >>> > >>> > Dale >>> > >>> > [1] >>> http://forum.world.st/Re-Empty-debugger-Pharo-5-0-td4909911.html >>> <http://forum.world.st/Re-Empty-debugger-Pharo-5-0-td4909911.html> >>> > >>> > <BugTestCase.st <http://BugTestCase.st>> >>> >>> >>> >> >

Aug. 28, 2016

Re: [Pharo-dev] ensure blocks in TestCase>>tearDown are not run if an error occurs inside ensured block when test itself was halted ...

by stepharo

Thank you all for taking care and feeling like Pharo is your baby :). Stef Le 8/8/16 Ã 09:11, Max Leske a Ã©crit : > Thanks Nicolai. > > Iâve opened an issue on phogbugz: > https://pharo.fogbugz.com/f/cases/18885/Ensure-blocks-in-test-tear-down-not…. > > >> On 8 Aug 2016, at 09:03, Nicolai Hess <nicolaihess(a)gmail.com >> <mailto:nicolaihess@gmail.com>> wrote: >> >> >> >> 2016-08-08 8:52 GMT+02:00 Max Leske <maxleske(a)gmail.com >> <mailto:maxleske@gmail.com>>: >> >> Wow, thatâs pretty bad. The process termination logic should be >> taking care of the ensure blocks. Unfortunately I canât run any >> Pharo images at the moment but if thereâs something wrong with >> process termination then itâs likely that me or Ben made some >> mistake. Could someone please rerun Daleâs test scenario with the >> original process termination code (e.g. from Pharo 3) and report >> the results? >> >> >> Yes, test runs fine in pharo 30864 (halts in the ensure block) >> >> >> Cheers, >> Max >> >> >> > On 8 Aug 2016, at 03:25, Dale Henrichs >> <dale.henrichs(a)gemtalksystems.com >> <mailto:dale.henrichs@gemtalksystems.com>> wrote: >> > >> > While attempting to characterize the "Empty Debugger" problem >> that I've recently reported[1], I found that ensure blocks in >> TestCase>>teardown methods are not run if an Error is signaled >> while executing the code protected by the ensure block ... when >> the test itself brings up a debugger --- now that is a mouthful >> :) ... but a situation that commonly occurs ... >> > >> > I've attached a fileIn with a very simple reproduction of this >> problem. After filing in the code, execute the following: >> > >> > BugTestCase debug: #test. >> > >> > Abandon the first halt -- this is the halt in the test. Next a >> debugger is brought up on the error from inside the ensure block >> in the tearDown method: >> > >> > tearDown >> > [ self error: 'teardown' ] >> > ensure: [ >> > "Imagine that something important NEEDED to be done >> here" >> > self halt ]. >> > super tearDown. >> > >> > Abandon the error and the `self halt` in the ensure block is >> not run ... >> > >> > If you take the `self halt` out of the test method itself, the >> `self halt` in the ensure block _is_ run ... >> > >> > This does not directly lead to the Empty Debugger, but when the >> ensure blocks called during teardown are not run, a resource is >> not cleaned up properly and that leads to SharedQueue hanging ... >> when I interrupt the SharedQueue, I believe that this leads to >> the "Empty Debugger" a separate, but more nasty problem ... >> > >> > Dale >> > >> > [1] >> http://forum.world.st/Re-Empty-debugger-Pharo-5-0-td4909911.html >> <http://forum.world.st/Re-Empty-debugger-Pharo-5-0-td4909911.html> >> > >> > <BugTestCase.st <http://BugTestCase.st>> >> >> >> >

Aug. 28, 2016

Re: [Pharo-dev] [Pharo-users] [ann] GTExamples alpha

by Tudor Girba

Hi, > On Aug 26, 2016, at 10:01 PM, Nicolai Hess <nicolaihess(a)gmail.com> wrote: > > > > 2016-08-26 0:51 GMT+02:00 Tudor Girba <tudor(a)tudorgirba.com>: > Hi, > > I just tried again, and the latest GToolkit image does contain FileSystem class >> gtExampleZip: > > Yes, it is there, but not listed under the FileSystem class package. > If you open Nautilus for all gt examples (world menu -> GT Examples -> Browse all examples) > A Nautilus browser opens, but it shows mostly GT-Packages. > And if you just open a new Nautilus window, select the FileSystem-Core package and choose "Browse All Examples of Package FileSystem-Core from the GT-Examples menu. > you won't see any example. > It is "impractical", that you need to select the GT-Examples-Examples package to actuall find the FileSystem-Core examples (and others). > > Or in short > The FileSystem examples are not in the FileSystem *package* > And the same for other examples, you can not find all "Collections"-Examples by selecting the Collection package and choose "Browse All Examplesâ Indeed. Good catch. This should be rethought. Cheers, Doru > Inspect this: > Smalltalk gtExamplesContained select: [ :each | > each method methodClass instanceSide = FileSystem ] > > This is the image: > https://ci.inria.fr/moose/job/gtoolkit/5595/artifact/gtoolkit.zip > > Cheers, > Doru > > > > On Aug 25, 2016, at 11:40 PM, Tudor Girba <tudor(a)tudorgirba.com> wrote: > > > > Hi Nicolai, > > > > Thanks a lot for the feedback. Please letâs continue. See more inline. > > > >> On Aug 25, 2016, at 6:34 PM, Nicolai Hess <nicolaihess(a)gmail.com> wrote: > >> > >> > >> > >> 2016-08-25 8:47 GMT+02:00 Tudor Girba <tudor(a)tudorgirba.com>: > >> Hi, > >> > >> Hi Doru, > >> some questions and feedback ( I am sorry for my tone or if this sounds negative, it isn't meant to be) > >> > >> Over the last coupe of years Stefan Reichhart and the rest of the GT team worked on an implementation of examples. The work is inspired from previous work done by Markus Gaelli and Adrian Kuhn. > >> > >> As one of the goals of GT is to offer a live programming environment, > >> > >> Isn't this what we already have, a live programming environment, I think for newcomers (and maybe others) this needs to make be more clear, how is different, what gap are you trying to fill. > >> > >> one important issue is how to move from the static code to live objects as fast as possible. > >> > >> Isn't code always "static" and aren't objects always "live", how do play gtExamples any role in this? > > > > What I meant is that I want to be as little as possible in the static code browser. Instead I want to write code in the presence of a bounded âselfâ which happens either in a debugger or in an inspector. > > > > The gap that examples fill is that when I look at a static code and I have examples about it, I can possibly jump to those examples and code against their result. So, instead of coding a method about a FileReference in the code browser, I will code it against an instance of a FileReference. Hence, we make live programming easier to achieve. > > > > > >> That is why we worked on this library as a solution to provide a link between the static code and live objects. > >> > >> From my understanding, I think this "link" between code an objects is the real valuable new point. This is the great thing about gtExamples. link from code (the example methods itself or methods refering a class > >> to an example object/instance that can be inspected (the raw object or an object specific inspector pane). > >> This is what I would consider the real step forward. You see a method refering to class TextModel and Nautilus or any other tool not only offers a method to browse all Users of this class, but too, a dedicated > >> list of "example methods" where every example has a view for this example instance that let the user show and interact (even for non-visual objects through the "evaluater pane", or just see the code creating this > >> example. > > > > Exactly. > > > >> We really miss examples, I often see questions on the mailing list (especially about spect) that can be explained easily with an example. And even worse, often the examples already exists, they just aren't as visible. > > > > Exactly. These examples are particularly amplified by the fact that we have an inspector that can provide a reacher experience through different views. > > > > > >> Furthermore, this examples library also enables the definition of assertions on the examples, and this provides the possibility of rethinking the way we construct tests throughout our system. Tests are great as they help us create live objects and then to assert live properties. > >> > >> This whole thing sounds as if Unit-Test were a good idea but not the way that they are used today, I strongly disagree. I don't see this as a "rethinking the way we construct tests", yes, we can > >> augment the current set of tests with addtional assertions on live objects, but this is not a replacement. > >> "Tests are great as they help us create live objects" This is not my only purpose for writing tests, often unit-tests cover methods and "private-apis" not even considered to be used on live objects. You can not (or I don't want to > >> ) write tests only on "finished lived objects" sometimes we need tests for initialiazation/private code or exception handling I don't see how we can offer this only by using example instances (yes your "rethinking" sounds like "this > >> is the better way to do testsâ). > > > > I think there is a misunderstanding here. > > > > When I test, (1) I create one or more objects, (2) I assert against them and then (3) I potentially cleanup. At least the objects from step 1 are potentially interesting for documentation purposes as well. However, because tests are built in a completely different environment than examples are, and because they are not casually linked to the code they are about, we cannot exploit them to the maximum potential. > > > > The GT-Examples model offers a unification. This means that you can use the same mechanism for expressing both a test scenario and a documentation one. There is potential to be exploited here. For example, there is research that aims to take the all sorts of objects and try to infer types for code out of these. We could make this much simpler. > > > > I understand that this is a departure from the classic way of testing, but we have already expressed more than 1 thousand examples both from a documentation and from testing point of view, and it does seem to work. > > > > > >> However, they do not allow us to leverage the objects we create, and this can be a tremendous resource for understanding systems. > >> > >> In our vision, examples should be everywhere and they should be explicitly linked to the static code they exemplify. That is why the library comes with an initial integration in existing tools (such as Nautilus, Spotter, Inspector). > >> > >> The current solution works well and it is the result of several rewrites. We think that the solution is complete in terms of features, but there are still several things to improve and iterate on. To this end, I kindly ask you to take a look at it while distinguishing between the concrete implementation choice (e.g., the current extensive use of pragmas) and the conceptual benefits of the approach. > >> > >> To ease the discussion, we put together a short documentation: > >> > >> Everytime I see a gtExample method on a class I first think, shouldn't this go to a Help or Doc or Exampels class instead. I don't know how others thinks about this but this is my first impression. > >> For example, the example on your page: > >> > >> FileSystem class >> #createFileOnDisk > >> > >> <gtExample> > >> < > >> description: 'Create a new file or override an existing file with some contents. Open and close the stream safely' > >>> > >> ^ > >> FileSystem workingDirectory / 'test.txt' > >> > >> > >> writeStreamDo: [ :stream | stream nextPutAll: self > >> comment ]; > >> yourself > >> > >> Nice, now the user can see how to use FileSystem to create a file, open *and* close the stream safely. But for me, this method does *not* belong to the FileSystem class it just not make any sense to me, to have a method (*in this class*) that opens and closes a stream. Even if this is just an example, I would put it in a doc-page or a tutorial that can execute code. But again , this is just my point of view. > >> I can not really explain it, having a example method on Morph or a widget ui or a widget model class, that opens an example morph or widget in the world, is for me something completly different and a valid example. > >> Having the same for the method above - is not, at least not as executable code on the FileSystm class). > > > > I do not understand this last point. > > > > Just because an object does not have a visual appearance like a Morph does, does not make it uninteresting from an interaction point of view. The inspector already can provide the views. We also have the possibility of adding custom actions that can be installed as menu items. Even for a morph, I sometimes want to not look at its default appearance, but at its submorphs. Thus, I do not see the confusion. > > > > Nevertheless, the example does not have to be on the class side. It can be in any class you want and you can associate it with a subject. For example, all Roassal examples are in dedicated classes. There are hundreds of methods, so putting them all on the class side of a domain class would not work at all. We showed the example on the class side because that is a pattern that people used for a long time and it is a reasonable place when you have only a handful of examples. The rationale is that an example is a way to instantiate a class, so having it on the class side is not far fetched. Also, if you put it on the class side, you get by default the class as a subject for the examples it contains which is quite natural. > > > > > >> http://gtoolkit.org/doc/Examples/examples.html > >> > >> That being said, you can get it with the full GToolkit in Pharo 6.0: > >> > >> Is this based on the recent Pharo 6.0? > >> > >> GTExamplesReleaseTests are failing for me > > > > Yes, these are yellow. > > > > > >> Where did you test this? I get some Object>>#name deprecation warnings when browsing for examples refering a class, for example on > >> class FileSystem and menu entry "Browse Examples refering FileSystem" (maybe a Pharo 5.0 version?) > > > > I tested in Pharo 6.0 (60188), but we just got a problem that was reported related to Epicea and Martin is looking at it. > > > > > >> The example on the examples.html side isn't actually in the image right? > > > > Yes, itâs not there yet. > > > > > >> The browsing examples of a package (context menu on nautilus package pane) does not work or I don't understand why it does not find any examples at all. > >> The World menu "Browse All Examples" does not contain the class FileSystem, although FileSystem>>gtExampleZip is a gtExample, this is because > >> the example method is in an extension package, should all gtExample methods be class extensions ? This is handled differently for different packages. > > > > Hmm. When I "Browse All Examples" I get a Nautilus with FileSystem class>>gtExampleZip in my image. But, indeed, in the latest GToolkit image, this example is missing. > > > > > >> The code pane context menu of a sendersOf Message browser is broken (debug menu). > > > > I do not understand what menu item you refer to. Could provide a screenshot. > > > >> > >> From the web-side: > >> > >> "Furthermore, Nautilus, the World-Menu, all Rub-Text-Editors as well as Spotter and Inspector provide access to retrieve, browse and navigate examples from entities within the world" > >> I can not find it, not in inspector, Rub-Text-Editors, only in Nautilus. > > > > In Nautilus and in RubText you get it in the GT-Examples menu (Browse examples with subject â¦). > > > > The Inspector is not yet there, but we are adding it. > > > > > >> And the menu entries are ... unfortunate (see screenshot), what you put in, the whole source as menu label? > > > > Hmm. Something is strange there. I get the name of a method, not the source code. What image are you in? > > > > > >> run "run the example and return its return-value" > >> > >> debug > >> "same run, but open debugger if the example failsâ > >> returnValue > >> "the return-value" > >> Executing run/debug/inspect returnValue does not seem to make any different when called from nautilus. It always gives > >> an inspector on a dictionary holding the gtexample and its gtexampleresult (is this a bug?) > > > > Yes. > > > > > >> Glossary: > >> "Example: an example is a tiny stub object representing a GT-Example. It holds the references to its dependencies, subjects and many other entities. " > >> What are "many other entities" this is a bit unclear > > > > Icon, Label, Provider, and others that you can add through custom annotations if you want to. This part is not yet clear. > > > > > >> "After-method: the after-method is a method that is performed right after the example." > >> After the example ? I thought an example is a "tiny stub *object*", how can it run? > >> How it is run after I run an example for inspection, after I closed the inspector? > > > > Not yet. At this point, inspecting does not prevent triggering of the cleanup method, but it would certainly be interesting to get there. > > > > Cheers, > > Doru > > > >> http://gtoolkit.org/#install > >> (easiest is to download the ready made image for now) > >> > >> For those that are at ESUG, I will try to provide a short overview during the Show Us Your Project session from today. > >> > >> Cheers, > >> Doru > >> > >> > >> -- > >> www.tudorgirba.com > >> www.feenk.com > >> > >> "Reasonable is what we are accustomed with." > >> > >> > >> > >> <gtexample_menu.png> > > > > -- > > www.tudorgirba.com > > www.feenk.com > > > > "No matter how many recipes we know, we still value a chef." > > -- > www.tudorgirba.com > www.feenk.com > > "Quality cannot be an afterthought." > > > -- www.tudorgirba.com www.feenk.com "What we can governs what we wish."

Aug. 28, 2016

Re: [Pharo-dev] [ann] GTExamples alpha

by Tudor Girba

Hi Nicolai, > On Aug 26, 2016, at 10:08 PM, Nicolai Hess <nicolaihess(a)gmail.com> wrote: [â¦] > > And the menu entries are ... unfortunate (see screenshot), what you put in, the whole source as menu label? > > Hmm. Something is strange there. I get the name of a method, not the source code. What image are you in? > > Ah, it always uses the "selected text" for building the menu label, in this example screenshot, I 've selected the whole > method. > Hm. But I don't know how it would find the selected method anyway. > If I selecte the method #append: and select > Browse examples with subject #append: > or > Browse examples with literal: #append: > it opens a browser on class Text ander there is a Text class>>#gtExampleSimple, > but it does not contain #append: not as a literal or as a message send. > > I did another test: select the message "asText" and choose > Browse Examples with literal #asText > It opens a browse with some more classes/example methods but > I can not see *any* relation between this example methods and the text I selected. An example can have all sorts of objects as subjects such as class, method or package. But, it can also have more arbitrary objects such as text and this is what you see in the text pane. I agree that right now this is more experimental from a usage point of view and we likely should remove it from now to make the default behavior focus on code entities. Doru -- www.tudorgirba.com www.feenk.com "To utilize feedback, you first have to acquire it."

Aug. 28, 2016