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

Re: [Pharo-dev] protocol pane "no messages" Re: [Pharo-users] setter method

by stepharong

> > To be pedantic, shouldn't "no messages" actually be "no methods" > But maybe even better would be... "click for method template" ? send a fix :) > > cheers -ben > -- Using Opera's mail client: http://www.opera.com/mail/

Dec. 10, 2016

Re: [Pharo-dev] RBPattern matching dynamic array expressions

by stepharong

Hi nicolai I always thought that I understand and I always find a situation that totally confused me. This is why I asked some guys expert in transformation to have a look and they got confused. This is why camille teruel started to work with Mark on Phorms. But the effort got stalled. Stef > Background : > > initial question: > http://forum.world.st/RewriteTool-matching-parts-of-an-array-tp4910482.html > my fix : > 18910 MNU: OrderedCollection>>parent: when trying to rewrite a tree with > RBParseTreeRewriter > > the error my fix introduced :-) : > 19445 Pattern code ArrayNode matching failure > > Question : how should a pattern with three variables > (first/second/third) look like to match the expression > { (1@2) . Color red . 3} and assign the (sub)-expressions1@2 > Color red > 3 > to the three variables first/second/third ? > > Looking at the initial question "RegisterRewriteTool matching parts of > an array", I was suprised that > for the pattern and the dynamic array expression: > pattern := '{ `@first . `@second . `@third }' > expression := '{ (1@2) . Color red . 3}' > the third variable matches all three expressions and the first two are > empty: > > RBPatternVariableNode(`@first)->an OrderedCollection() > RBPatternVariableNode(`@second)->an OrderedCollection() > RBPatternVariableNode(`@third)->an OrderedCollection(RBMessageNode((1 @ > 2)) RBMessageNode(Color red) RBLiteralValueNode(3)) > > I fixed this in a way, that all three variables gets assigned one > (sub)expression of the array. > But the fix was wrong, now a statement-list-pattern-variable cannot be > used anymore to match > the array statements: > > pattern := '{ `@.stmts }'. > expression:= RBParser parseExpression:'{ (1@2) . Color red . 3}'. > > results in an error during matching but I would expect the result: > RBPatternVariableNode(`@.stmts)->an OrderedCollection(RBMessageNode((1 @ > 2)) RBMessageNode(Color red) RBLiteralValueNode(3)) > Now I am not sure that the pattern { `@first . `@second . `@third }' is > actually a valid > pattern for matching the array (sub)-expressions, the array contents > is a list of three single statemts and @first isn't a statement pattern, > but a pattern for an > expression list. > > On the other hand, if I try to match *three statements* without the > being in a dynamic array: > (Note the missing curly braces) > > pattern := '`@first . `@second . `@third '. > expression : parseExpression: ' (1@2) . Color red . 3'. > > The result works as I wanted them for the array pattern: > > RBPatternVariableNode(`@first)->RBMessageNode(1 @ 2) > RBPatternVariableNode(`@second)->RBMessageNode(Color red) > RBPatternVariableNode(`@third)->RBLiteralValueNode(3) > > > So, is the pattern actually right or is the matching wrong? > What should I expect by these patterns and expressions: > > pattern := '`@first . `@second . `@third '. > expression : parseExpression: ' (1@2) . Color red . 3'. > > pattern := '`.first. `.second. `.third. '. > expression := ' (1@2) . Color red . 3'. > > pattern := '{`.first. `.second. `.third.}'. > expression := '{ (1@2) . Color red . 3}'. > > pattern := '{`@.all}'. > expression := '{ (1@2) . Color red . 3}'. > > > pattern := '{`@.all}'. > expression := '{ (1@2) . Color red . 3}'. > > pattern := '`.head. `.@tail'. > expression := '(1@2) . Color red . 3'. > > pattern := '{`.head. `.@tail}'. > expression := '{(1@2) . Color red . 3}'. > > I would expect all statement-pattern without the dynamic array, assign > the variables to the > subexpressions, and the same way for the pattern with dynamic arrays. > > Btw, I don't know why this does not match > pattern := '`.head `.@tail'. > expression := '(1@2) . Color red . 3'. > > isn't the first variable a statement pattern ? > From the rewrite-tool documentation > (http://www.refactory.com/tools/refactoring-browser/rewrite-tool) > > ` recurse into the thing that is matched looking for more matches > @ treat the item as a list > ; used for messages where the message is treated as a list of > messages in a cascade > . treat the item as a statement in a sequence node > # matches literals > > > thanks in advance > > nicolai > > > > -- Using Opera's mail client: http://www.opera.com/mail/

Dec. 10, 2016

RBPattern matching dynamic array expressions

by Nicolai Hess

Background : initial question: http://forum.world.st/RewriteTool-matching-parts-of-an-array-tp4910482.html my fix : 18910 <https://pharo.fogbugz.com/f/cases/18910/MNU-OrderedCollection-parent-when-t…> MNU: OrderedCollection>>parent: when trying to rewrite a tree with RBParseTreeRewriter the error my fix introduced :-) : 19445 <https://pharo.fogbugz.com/f/cases/19445/Pattern-code-ArrayNode-matching-fai…> Pattern code ArrayNode matching failure Question : how should a pattern with three variables (first/second/third) look like to match the expression { (1@2) . Color red . 3} and assign the (sub)-expressions 1@2 Color red 3 to the three variables first/second/third ? Looking at the initial question "RegisterRewriteTool matching parts of an array", I was suprised that for the pattern and the dynamic array expression: pattern := '{ `@first . `@second . `@third }' expression := '{ (1@2) . Color red . 3}' the third variable matches all three expressions and the first two are empty: RBPatternVariableNode(`@first)->an OrderedCollection() RBPatternVariableNode(`@second)->an OrderedCollection() RBPatternVariableNode(`@third)->an OrderedCollection(RBMessageNode((1 @ 2)) RBMessageNode(Color red) RBLiteralValueNode(3)) I fixed this in a way, that all three variables gets assigned one (sub)expression of the array. But the fix was wrong, now a statement-list-pattern-variable cannot be used anymore to match the array statements: pattern := '{ `@.stmts }'. expression:= RBParser parseExpression:'{ (1@2) . Color red . 3}'. results in an error during matching but I would expect the result: RBPatternVariableNode(`@.stmts)->an OrderedCollection(RBMessageNode((1 @ 2)) RBMessageNode(Color red) RBLiteralValueNode(3)) Now I am not sure that the pattern { `@first . `@second . `@third }' is actually a valid pattern for matching the array (sub)-expressions, the array contents is a list of three single statemts and @first isn't a statement pattern, but a pattern for an expression list. On the other hand, if I try to match *three statements* without the being in a dynamic array: (Note the missing curly braces) pattern := '`@first . `@second . `@third '. expression : parseExpression: ' (1@2) . Color red . 3'. The result works as I wanted them for the array pattern: RBPatternVariableNode(`@first)->RBMessageNode(1 @ 2) RBPatternVariableNode(`@second)->RBMessageNode(Color red) RBPatternVariableNode(`@third)->RBLiteralValueNode(3) So, is the pattern actually right or is the matching wrong? What should I expect by these patterns and expressions: pattern := '`@first . `@second . `@third '. expression : parseExpression: ' (1@2) . Color red . 3'. pattern := '`.first. `.second. `.third. '. expression := ' (1@2) . Color red . 3'. pattern := '{`.first. `.second. `.third.}'. expression := '{ (1@2) . Color red . 3}'. pattern := '{`@.all}'. expression := '{ (1@2) . Color red . 3}'. pattern := '{`@.all}'. expression := '{ (1@2) . Color red . 3}'. pattern := '`.head. `.@tail'. expression := '(1@2) . Color red . 3'. pattern := '{`.head. `.@tail}'. expression := '{(1@2) . Color red . 3}'. I would expect all statement-pattern without the dynamic array, assign the variables to the subexpressions, and the same way for the pattern with dynamic arrays. Btw, I don't know why this does not match pattern := '`.head `.@tail'. expression := '(1@2) . Color red . 3'. isn't the first variable a statement pattern ? >From the rewrite-tool documentation ( http://www.refactory.com/tools/refactoring-browser/rewrite-tool) ` recurse into the thing that is matched looking for more matches @ treat the item as a list ; used for messages where the message is treated as a list of messages in a cascade . treat the item as a statement in a sequence node # matches literals thanks in advance nicolai

Dec. 10, 2016

Re: [Pharo-dev] consider putting stars on our nice books on github :)

by Julien Delplanque

Was already done for some of them. Now done for all of them. :-) On 09/12/16 16:11, stepharong wrote: > https://github.com/SquareBracketAssociates/EnterprisePharo > > https://github.com/SquareBracketAssociates/NumericalMethods > > https://github.com/SquareBracketAssociates/UpdatedPharoByExample > > https://github.com/SquareBracketAssociates/BuildingUIWithSpec > > https://github.com/SquareBracketAssociates/TinyBlogTutorial > > https://github.com/SquareBracketAssociates/ExploringVMs > > https://github.com/SquareBracketAssociates/DeepIntoPharo > > Stef

Dec. 9, 2016

Re: [Pharo-dev] protocol pane "no messages" Re: [Pharo-users] setter method

by phil＠highoctane.be

To be pedantic it should be "no protocols" because as soon as you add one, you get --all-- someaddedprotocol even if there is no method. Phil On Fri, Dec 9, 2016 at 7:21 PM, Ben Coman <btc(a)openinworld.com> wrote: > [Forwarded to pharo-dev for side discussion...] > > On Sat, Dec 10, 2016 at 2:15 AM, Ben Coman <btc(a)openinworld.com> wrote: > > On Sat, Dec 10, 2016 at 1:39 AM, Kateryna Aloshkina > > <aloshkina(a)ucu.edu.ua> wrote: > >> Hi everybody! > >> > >> I've just joined the community:) and have a question > >> How to write the method count: such that, when invoked on an instance of > >> Counter, instance variable is set to the argument given to the message? > >> so that > >> Counter new count: 7 > >> would set the value of a new Counter instance to 7 > >> (It is a little exercise from > >> http://rmod-pharo-mooc.lille.inria.fr/MOOC/Exercises/Exo-Counter.pdf) > >> > >> > >> Best wishes, > >> Kateryna > > > > Welcome Kateryna, > > I hope you are having fun and Pharo changes the way you think about > programming. > > > > Referring to Figure 1.2, assuming you've already created the class, > > first make sure you are on the instance-side rather than the class-side > > of the class such that the class definition in the bottom (code) pane > > looks just like Figure 1.2. Click the <Class> button to toggle which > > side you look at. > > > > Now in the third (protocols) pane on "no messages" > > and you will get a method template in the code pane > > > > Change... messageSelectorAndArgumentNames > > to... count: > > > > then change.... statements > > to an assignment to the instance variable. > > and <Accept> the the code to save & compile the method. > > To be pedantic, shouldn't "no messages" actually be "no methods" > But maybe even better would be... "click for method template" ? > > cheers -ben > >

Dec. 9, 2016

protocol pane "no messages" Re: [Pharo-users] setter method

by Ben Coman

[Forwarded to pharo-dev for side discussion...] On Sat, Dec 10, 2016 at 2:15 AM, Ben Coman <btc(a)openinworld.com> wrote: > On Sat, Dec 10, 2016 at 1:39 AM, Kateryna Aloshkina > <aloshkina(a)ucu.edu.ua> wrote: >> Hi everybody! >> >> I've just joined the community:) and have a question >> How to write the method count: such that, when invoked on an instance of >> Counter, instance variable is set to the argument given to the message? >> so that >> Counter new count: 7 >> would set the value of a new Counter instance to 7 >> (It is a little exercise from >> http://rmod-pharo-mooc.lille.inria.fr/MOOC/Exercises/Exo-Counter.pdf) >> >> >> Best wishes, >> Kateryna > > Welcome Kateryna, > I hope you are having fun and Pharo changes the way you think about programming. > > Referring to Figure 1.2, assuming you've already created the class, > first make sure you are on the instance-side rather than the class-side > of the class such that the class definition in the bottom (code) pane > looks just like Figure 1.2. Click the <Class> button to toggle which > side you look at. > > Now in the third (protocols) pane on "no messages" > and you will get a method template in the code pane > > Change... messageSelectorAndArgumentNames > to... count: > > then change.... statements > to an assignment to the instance variable. > and <Accept> the the code to save & compile the method. To be pedantic, shouldn't "no messages" actually be "no methods" But maybe even better would be... "click for method template" ? cheers -ben

Dec. 9, 2016

Re: [Pharo-dev] consider putting stars on our nice books on github :)

by Sven Van Caekenberghe

Done. > On 9 Dec 2016, at 16:11, stepharong <stepharong(a)free.fr> wrote: > > https://github.com/SquareBracketAssociates/EnterprisePharo > > https://github.com/SquareBracketAssociates/NumericalMethods > > https://github.com/SquareBracketAssociates/UpdatedPharoByExample > > https://github.com/SquareBracketAssociates/BuildingUIWithSpec > > https://github.com/SquareBracketAssociates/TinyBlogTutorial > > https://github.com/SquareBracketAssociates/ExploringVMs > > https://github.com/SquareBracketAssociates/DeepIntoPharo > > Stef > -- > Using Opera's mail client: http://www.opera.com/mail/ >

Dec. 9, 2016

Re: [Pharo-dev] about syntaxError

by stepharong

> Change line 3 of RBExtractMethodRefactoring>>extractMethod to something > like: > [ extractedParseTree := RBParser parseExpression: extractCode ] on: > SyntaxErrorNotification do: [ :ex| ex debug ]. > > To bring up a debugger. Tx this is what I was trying to do (but I should not because I was in a hacking session) and then I went to bed. I will try it. STef > > Best regards, > Henrik > > -----Original Message----- > From: Pharo-dev [mailto:pharo-dev-bounces@lists.pharo.org] On Behalf Of > stepharong > Sent: Thursday, December 8, 2016 9:08 PM > To: pharo-dev(a)lists.pharo.org > Subject: [Pharo-dev] about syntaxError > > I tried to fix the extract method refactoring that seems broken when > extracting class or variables. > And I wanted to understand if I can get a debugger stack instead of this > useless Syntax Error: window. > Now I cannot find reference to SyntaxErrorDebugger. > still putting a break point in > > buildMorphicViewOn: aSyntaxError > "Answer an Morphic view on the given SyntaxError." > > | window | > self halt. > > bring a debugger but with a cut stack .... > > open: aSyntaxError > "Answer a standard system view whose model is an instance of me." > <primitive: 19> > "Simulation guard" > | process | > process := Processor activeProcess. > UIManager default spawnNewProcessIfThisIsUI: process. > UIManager default defer: [ > self buildMorphicViewOn: aSyntaxError. > ]. > ^ process suspend > > so it does not really help to understand the syntax error. > I do not get why this is so opaque. > > Stef > > > -- > Using Opera's mail client: http://www.opera.com/mail/ > > -- Using Opera's mail client: http://www.opera.com/mail/

Dec. 9, 2016

consider putting stars on our nice books on github :)

by stepharong

https://github.com/SquareBracketAssociates/EnterprisePharo https://github.com/SquareBracketAssociates/NumericalMethods https://github.com/SquareBracketAssociates/UpdatedPharoByExample https://github.com/SquareBracketAssociates/BuildingUIWithSpec https://github.com/SquareBracketAssociates/TinyBlogTutorial https://github.com/SquareBracketAssociates/ExploringVMs https://github.com/SquareBracketAssociates/DeepIntoPharo Stef -- Using Opera's mail client: http://www.opera.com/mail/

Dec. 9, 2016

Re: [Pharo-dev] about syntaxError

by Igor Stasenko

and this works simply by knowing that primitive 19 always fails (this is guaranteed by VM itself). so when you run code naturally - the primitive fails, and so it runs the body of method. but when same method attempted to activate(simulate) via debugger - it doesn't runs a method body and doing something else, what exactly - look at debugger code, because i don't remember :). On 9 December 2016 at 02:00, Igor Stasenko <siguctua(a)gmail.com> wrote: > > On 9 December 2016 at 01:39, phil(a)highoctane.be <phil(a)highoctane.be> > wrote: > >> Nice to now understand how this debugger thing behaves. >> >> I have some issues when debugging tests GTDebugger in Pharo5 when there >> is a self halt in the test method. For some reason the step through looks >> like out of what with the actual thing to step through. >> >> How does that work? >> > > well, IIRC, when you stepping through, the debugger running a simulation > and detects that you trying to interrupt it > and since it is not a good idea to interrupt the debugger itself , else > you will need to open yet another debugger window, > showing where the simulation/exception handling was interrupted.. and so > you enter an endless recursive loop, > and as result won't be able to debug anything :) > > And this 'simulation guard' is serving to prohibit further processing in > such cases, or in certain cases, it simply ignores > it and pretends that it is done, suppressing actual code behavior, which > would be triggered, if it wouldn't run simulated by debugger. > > >> Phil >> >> > > -- > Best regards, > Igor Stasenko. > -- Best regards, Igor Stasenko.

Dec. 9, 2016