November 2010 - Pharo-dev - lists.pharo.org

Re: [Pharo-project] learning rewrite rules

by Lukas Renggli

> ok I added the files this is better. Yes, I could read the french article now. I am not quite convinced with the explanation of the back-tick though: "Un schÃ©ma peut contenir des variables en utilisant le backquote ou accent grave. Ainsi, `key reprÃ©sente nâimporte quelle variable, mais pas une expression." "`key" is a *meta-variable*, not necessarily a variable in the matched tree. Depending on the context it can also be a selector, e.g. "foo `key" matches all unary selectors sent to a variable called 'foo'. Ok, my french might not be that good :-) Also check page 42--43 of my PhD (http://scg.unibe.ch/archive/phd/renggli-phd.pdf) 4.1.1 Tree Pattern Matching. It is a bit dense and doesn't explain everything, but the basic matching is described and was successfully tested on students. Lukas -- Lukas Renggli www.lukas-renggli.ch

Nov. 4, 2010

Re: [Pharo-project] learning rewrite rules

by StÃ©phane Ducasse

ok I added the files this is better. stef On Nov 4, 2010, at 2:07 PM, Lukas Renggli wrote: > There is a Data folder, but only the pdf of my blog is in there. > > Lukas > > On 4 November 2010 14:04, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >> no data folder? >> probably forgot the push >> >> RewriteRules ls >> Data/ RewriteRules.tex >> Lint.odt program-checking-paper.tex >> Lint.tex >> RewriteRules git push >> Everything up-to-date >> RewriteRules >> >> >> >> Stef >> >> On Nov 4, 2010, at 1:45 PM, Lukas Renggli wrote: >> >>> I don't see any french text. Just a PDF of a blog article I wrote, the >>> LaTeX source of the program-checking paper, and an empty LaTeX >>> template. >>> >>> Lukas >>> >>> On 4 November 2010 13:30, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>> Normally I added some text in french :( >>>> do not pay attention too much on the style >>>> dump information and like that we can get material to work on >>>> I think that having examples is the key point to get started. >>>> >>>> >>>>> >>>>> On 4 November 2010 10:09, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>>>> I'm adding some other files (in french) :( >>>>>> but I'm stuck with git.... >>>>> >>>>> git pull >>>>> git add french-rewrite.tex >>>>> git commit >>>>> git push >>>>> >>>>>>> Yeah, where do I find that chapter? >>>>>>> >>>>>>> There is a section on the AST matching/search in my PhD as Helvetia >>>>>>> builds on top of it. Not on the AST rewriting though, Helvetia uses a >>>>>>> different mechanism there. Still it might be a good start. >>>>>>> >>>>>>> Lukas >>>>>>> >>>>>>> On 4 November 2010 09:49, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>>>>>> lukas >>>>>>>> >>>>>>>> I would love to have a chapter on Rules. I have a starter that I wrote long time ago for the squeak french book >>>>>>>> but it would be cool if you could add to it. >>>>>>>> >>>>>>>> Stef >>>>>>>> >>>>>>>> On Nov 4, 2010, at 12:55 AM, Lukas Renggli wrote: >>>>>>>> >>>>>>>>>> If I try to match it like: >>>>>>>>>> '`@browser showOn: `@target; from: `@origin; using: [ `@browser ``@.statements]' >>>>>>>>> >>>>>>>>> The match expression >>>>>>>>> >>>>>>>>> `@browser ``@.statements >>>>>>>>> >>>>>>>>> doesn't make sense. Statements (.) cannot be a message selector that >>>>>>>>> would be expected after a receiver. Also, you cannot have a selector >>>>>>>>> list (@) if you don't give also an argument list to match. So the >>>>>>>>> closest valid thing is >>>>>>>>> >>>>>>>>> `@browser `message >>>>>>>>> >>>>>>>>> which looks for unary message sends (recursive is not necessary here >>>>>>>>> either, because there is nothing to recurse into), or >>>>>>>>> >>>>>>>>> `@browser `@message: ``@message >>>>>>>>> >>>>>>>>> which looks for arbitrary message sends and recursively into all arguments. >>>>>>>>> >>>>>>>>>> It seems to only get those appearances which contain a single appearance of browser inside the block. >>>>>>>>> >>>>>>>>> As I wrote in the previous mail you need to do it with nested >>>>>>>>> rewrites. Inside the block you match for any sequence of statements: >>>>>>>>> >>>>>>>>> `@.statements >>>>>>>>> >>>>>>>>> And as replacement you use the `{ :context | ... } trick to perform a >>>>>>>>> new rewrite somehow along the following untested lines: >>>>>>>>> >>>>>>>>> `{ :context | >>>>>>>>> RBParseTreeRewriter new >>>>>>>>> " replace whatever matched to `@browser with the variable a " >>>>>>>>> replaceTree: (context at: '`@browser') with: (RBParser >>>>>>>>> parseExpression: 'a'); >>>>>>>>> " execute on the list of statements " >>>>>>>>> executeTree: (context at: '`@.statements'); >>>>>>>>> " return the rewritten tree " >>>>>>>>> tree } >>>>>>>>> >>>>>>>>> Cheers, >>>>>>>>> Lukas >>>>>>>>> >>>>>>>>> -- >>>>>>>>> Lukas Renggli >>>>>>>>> www.lukas-renggli.ch >>>>>>>>> >>>>>>>> >>>>>>>> >>>>>>>> >>>>>>> >>>>>>> >>>>>>> >>>>>>> -- >>>>>>> Lukas Renggli >>>>>>> www.lukas-renggli.ch >>>>>>> >>>>>> >>>>>> >>>>>> >>>>> >>>>> >>>>> >>>>> -- >>>>> Lukas Renggli >>>>> www.lukas-renggli.ch >>>>> >>>> >>>> >>>> >>> >>> >>> >>> -- >>> Lukas Renggli >>> www.lukas-renggli.ch >>> >> >> >> > > > > -- > Lukas Renggli > www.lukas-renggli.ch >

Nov. 4, 2010

Re: [Pharo-project] learning rewrite rules

by Francois Stephany

git status git add . git commit git push :) On 04/11/10 14:04, StÃ©phane Ducasse wrote: > no data folder? > probably forgot the push > > RewriteRules ls > Data/ RewriteRules.tex > Lint.odt program-checking-paper.tex > Lint.tex > RewriteRules git push > Everything up-to-date > RewriteRules -- francois.stephany(a)agilitic.com http://www.agilitic.com +32 (0)484/580.322

Nov. 4, 2010

Re: [Pharo-project] learning rewrite rules

by Lukas Renggli

There is a Data folder, but only the pdf of my blog is in there. Lukas On 4 November 2010 14:04, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: > no data folder? > probably forgot the push > > Â RewriteRules ls > Data/ Â Â Â Â Â Â Â Â Â Â Â RewriteRules.tex > Lint.odt Â Â Â Â Â Â Â Â Â Â program-checking-paper.tex > Lint.tex > Â RewriteRules git push > Everything up-to-date > Â RewriteRules > > > > Stef > > On Nov 4, 2010, at 1:45 PM, Lukas Renggli wrote: > >> I don't see any french text. Just a PDF of a blog article I wrote, the >> LaTeX source of the program-checking paper, and an empty LaTeX >> template. >> >> Lukas >> >> On 4 November 2010 13:30, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>> Normally I added some text in french :( >>> do not pay attention too much on the style >>> dump information and like that we can get material to work on >>> I think that having examples is the key point to get started. >>> >>> >>>> >>>> On 4 November 2010 10:09, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>>> I'm adding some other files (in french) :( >>>>> but I'm stuck with git.... >>>> >>>> git pull >>>> git add french-rewrite.tex >>>> git commit >>>> git push >>>> >>>>>> Yeah, where do I find that chapter? >>>>>> >>>>>> There is a section on the AST matching/search in my PhD as Helvetia >>>>>> builds on top of it. Not on the AST rewriting though, Helvetia uses a >>>>>> different mechanism there. Still it might be a good start. >>>>>> >>>>>> Lukas >>>>>> >>>>>> On 4 November 2010 09:49, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>>>>> lukas >>>>>>> >>>>>>> I would love to have a chapter on Rules. I have a starter that I wrote long time ago for the squeak french book >>>>>>> but it would be cool if you could add to it. >>>>>>> >>>>>>> Stef >>>>>>> >>>>>>> On Nov 4, 2010, at 12:55 AM, Lukas Renggli wrote: >>>>>>> >>>>>>>>> If I try to match it like: >>>>>>>>> Â '`@browser showOn: `@target; from: `@origin; using: [ `@browser ``@.statements]' >>>>>>>> >>>>>>>> The match expression >>>>>>>> >>>>>>>> Â Â `@browser ``@.statements >>>>>>>> >>>>>>>> doesn't make sense. Statements (.) cannot be a message selector that >>>>>>>> would be expected after a receiver. Also, you cannot have a selector >>>>>>>> list (@) if you don't give also an argument list to match. So the >>>>>>>> closest valid thing is >>>>>>>> >>>>>>>> Â Â `@browser `message >>>>>>>> >>>>>>>> which looks for unary message sends (recursive is not necessary here >>>>>>>> either, because there is nothing to recurse into), or >>>>>>>> >>>>>>>> Â Â `@browser `@message: ``@message >>>>>>>> >>>>>>>> which looks for arbitrary message sends and recursively into all arguments. >>>>>>>> >>>>>>>>> It seems to only get those appearances which contain a single appearance of browser inside the block. >>>>>>>> >>>>>>>> As I wrote in the previous mail you need to do it with nested >>>>>>>> rewrites. Inside the block you match for any sequence of statements: >>>>>>>> >>>>>>>> Â Â `@.statements >>>>>>>> >>>>>>>> And as replacement you use the `{ :context | ... } trick to perform a >>>>>>>> new rewrite somehow along the following untested lines: >>>>>>>> >>>>>>>> Â Â `{ :context | >>>>>>>> Â Â Â Â RBParseTreeRewriter new >>>>>>>> Â Â Â Â Â Â " replace whatever matched to `@browser with the variable a " >>>>>>>> Â Â Â Â Â Â replaceTree: (context at: '`@browser') with: (RBParser >>>>>>>> parseExpression: 'a'); >>>>>>>> Â Â Â Â Â Â " execute on the list of statements " >>>>>>>> Â Â Â Â Â Â executeTree: (context at: '`@.statements'); >>>>>>>> Â Â Â Â Â Â " return the rewritten tree " >>>>>>>> Â Â Â Â Â Â tree } >>>>>>>> >>>>>>>> Cheers, >>>>>>>> Lukas >>>>>>>> >>>>>>>> -- >>>>>>>> Lukas Renggli >>>>>>>> www.lukas-renggli.ch >>>>>>>> >>>>>>> >>>>>>> >>>>>>> >>>>>> >>>>>> >>>>>> >>>>>> -- >>>>>> Lukas Renggli >>>>>> www.lukas-renggli.ch >>>>>> >>>>> >>>>> >>>>> >>>> >>>> >>>> >>>> -- >>>> Lukas Renggli >>>> www.lukas-renggli.ch >>>> >>> >>> >>> >> >> >> >> -- >> Lukas Renggli >> www.lukas-renggli.ch >> > > > -- Lukas Renggli www.lukas-renggli.ch

Nov. 4, 2010

Re: [Pharo-project] learning rewrite rules

by StÃ©phane Ducasse

no data folder? probably forgot the push RewriteRules ls Data/ RewriteRules.tex Lint.odt program-checking-paper.tex Lint.tex RewriteRules git push Everything up-to-date RewriteRules Stef On Nov 4, 2010, at 1:45 PM, Lukas Renggli wrote: > I don't see any french text. Just a PDF of a blog article I wrote, the > LaTeX source of the program-checking paper, and an empty LaTeX > template. > > Lukas > > On 4 November 2010 13:30, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >> Normally I added some text in french :( >> do not pay attention too much on the style >> dump information and like that we can get material to work on >> I think that having examples is the key point to get started. >> >> >>> >>> On 4 November 2010 10:09, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>> I'm adding some other files (in french) :( >>>> but I'm stuck with git.... >>> >>> git pull >>> git add french-rewrite.tex >>> git commit >>> git push >>> >>>>> Yeah, where do I find that chapter? >>>>> >>>>> There is a section on the AST matching/search in my PhD as Helvetia >>>>> builds on top of it. Not on the AST rewriting though, Helvetia uses a >>>>> different mechanism there. Still it might be a good start. >>>>> >>>>> Lukas >>>>> >>>>> On 4 November 2010 09:49, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>>>> lukas >>>>>> >>>>>> I would love to have a chapter on Rules. I have a starter that I wrote long time ago for the squeak french book >>>>>> but it would be cool if you could add to it. >>>>>> >>>>>> Stef >>>>>> >>>>>> On Nov 4, 2010, at 12:55 AM, Lukas Renggli wrote: >>>>>> >>>>>>>> If I try to match it like: >>>>>>>> '`@browser showOn: `@target; from: `@origin; using: [ `@browser ``@.statements]' >>>>>>> >>>>>>> The match expression >>>>>>> >>>>>>> `@browser ``@.statements >>>>>>> >>>>>>> doesn't make sense. Statements (.) cannot be a message selector that >>>>>>> would be expected after a receiver. Also, you cannot have a selector >>>>>>> list (@) if you don't give also an argument list to match. So the >>>>>>> closest valid thing is >>>>>>> >>>>>>> `@browser `message >>>>>>> >>>>>>> which looks for unary message sends (recursive is not necessary here >>>>>>> either, because there is nothing to recurse into), or >>>>>>> >>>>>>> `@browser `@message: ``@message >>>>>>> >>>>>>> which looks for arbitrary message sends and recursively into all arguments. >>>>>>> >>>>>>>> It seems to only get those appearances which contain a single appearance of browser inside the block. >>>>>>> >>>>>>> As I wrote in the previous mail you need to do it with nested >>>>>>> rewrites. Inside the block you match for any sequence of statements: >>>>>>> >>>>>>> `@.statements >>>>>>> >>>>>>> And as replacement you use the `{ :context | ... } trick to perform a >>>>>>> new rewrite somehow along the following untested lines: >>>>>>> >>>>>>> `{ :context | >>>>>>> RBParseTreeRewriter new >>>>>>> " replace whatever matched to `@browser with the variable a " >>>>>>> replaceTree: (context at: '`@browser') with: (RBParser >>>>>>> parseExpression: 'a'); >>>>>>> " execute on the list of statements " >>>>>>> executeTree: (context at: '`@.statements'); >>>>>>> " return the rewritten tree " >>>>>>> tree } >>>>>>> >>>>>>> Cheers, >>>>>>> Lukas >>>>>>> >>>>>>> -- >>>>>>> Lukas Renggli >>>>>>> www.lukas-renggli.ch >>>>>>> >>>>>> >>>>>> >>>>>> >>>>> >>>>> >>>>> >>>>> -- >>>>> Lukas Renggli >>>>> www.lukas-renggli.ch >>>>> >>>> >>>> >>>> >>> >>> >>> >>> -- >>> Lukas Renggli >>> www.lukas-renggli.ch >>> >> >> >> > > > > -- > Lukas Renggli > www.lukas-renggli.ch >

Nov. 4, 2010

Re: [Pharo-project] learning rewrite rules

by Lukas Renggli

I don't see any french text. Just a PDF of a blog article I wrote, the LaTeX source of the program-checking paper, and an empty LaTeX template. Lukas On 4 November 2010 13:30, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: > Normally I added some text in french :( > do not pay attention too much on the style > dump information and like that we can get material to work on > I think that having examples is the key point to get started. > > >> >> On 4 November 2010 10:09, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>> I'm adding some other files (in french) :( >>> but I'm stuck with git.... >> >> git pull >> git add french-rewrite.tex >> git commit >> git push >> >>>> Yeah, where do I find that chapter? >>>> >>>> There is a section on the AST matching/search in my PhD as Helvetia >>>> builds on top of it. Not on the AST rewriting though, Helvetia uses a >>>> different mechanism there. Still it might be a good start. >>>> >>>> Lukas >>>> >>>> On 4 November 2010 09:49, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>>> lukas >>>>> >>>>> I would love to have a chapter on Rules. I have a starter that I wrote long time ago for the squeak french book >>>>> but it would be cool if you could add to it. >>>>> >>>>> Stef >>>>> >>>>> On Nov 4, 2010, at 12:55 AM, Lukas Renggli wrote: >>>>> >>>>>>> If I try to match it like: >>>>>>> Â '`@browser showOn: `@target; from: `@origin; using: [ `@browser ``@.statements]' >>>>>> >>>>>> The match expression >>>>>> >>>>>> Â Â `@browser ``@.statements >>>>>> >>>>>> doesn't make sense. Statements (.) cannot be a message selector that >>>>>> would be expected after a receiver. Also, you cannot have a selector >>>>>> list (@) if you don't give also an argument list to match. So the >>>>>> closest valid thing is >>>>>> >>>>>> Â Â `@browser `message >>>>>> >>>>>> which looks for unary message sends (recursive is not necessary here >>>>>> either, because there is nothing to recurse into), or >>>>>> >>>>>> Â Â `@browser `@message: ``@message >>>>>> >>>>>> which looks for arbitrary message sends and recursively into all arguments. >>>>>> >>>>>>> It seems to only get those appearances which contain a single appearance of browser inside the block. >>>>>> >>>>>> As I wrote in the previous mail you need to do it with nested >>>>>> rewrites. Inside the block you match for any sequence of statements: >>>>>> >>>>>> Â Â `@.statements >>>>>> >>>>>> And as replacement you use the `{ :context | ... } trick to perform a >>>>>> new rewrite somehow along the following untested lines: >>>>>> >>>>>> Â Â `{ :context | >>>>>> Â Â Â Â RBParseTreeRewriter new >>>>>> Â Â Â Â Â Â " replace whatever matched to `@browser with the variable a " >>>>>> Â Â Â Â Â Â replaceTree: (context at: '`@browser') with: (RBParser >>>>>> parseExpression: 'a'); >>>>>> Â Â Â Â Â Â " execute on the list of statements " >>>>>> Â Â Â Â Â Â executeTree: (context at: '`@.statements'); >>>>>> Â Â Â Â Â Â " return the rewritten tree " >>>>>> Â Â Â Â Â Â tree } >>>>>> >>>>>> Cheers, >>>>>> Lukas >>>>>> >>>>>> -- >>>>>> Lukas Renggli >>>>>> www.lukas-renggli.ch >>>>>> >>>>> >>>>> >>>>> >>>> >>>> >>>> >>>> -- >>>> Lukas Renggli >>>> www.lukas-renggli.ch >>>> >>> >>> >>> >> >> >> >> -- >> Lukas Renggli >> www.lukas-renggli.ch >> > > > -- Lukas Renggli www.lukas-renggli.ch

Nov. 4, 2010

Re: [Pharo-project] learning rewrite rules

by StÃ©phane Ducasse

Normally I added some text in french :( do not pay attention too much on the style dump information and like that we can get material to work on I think that having examples is the key point to get started. > > On 4 November 2010 10:09, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >> I'm adding some other files (in french) :( >> but I'm stuck with git.... > > git pull > git add french-rewrite.tex > git commit > git push > >>> Yeah, where do I find that chapter? >>> >>> There is a section on the AST matching/search in my PhD as Helvetia >>> builds on top of it. Not on the AST rewriting though, Helvetia uses a >>> different mechanism there. Still it might be a good start. >>> >>> Lukas >>> >>> On 4 November 2010 09:49, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>>> lukas >>>> >>>> I would love to have a chapter on Rules. I have a starter that I wrote long time ago for the squeak french book >>>> but it would be cool if you could add to it. >>>> >>>> Stef >>>> >>>> On Nov 4, 2010, at 12:55 AM, Lukas Renggli wrote: >>>> >>>>>> If I try to match it like: >>>>>> '`@browser showOn: `@target; from: `@origin; using: [ `@browser ``@.statements]' >>>>> >>>>> The match expression >>>>> >>>>> `@browser ``@.statements >>>>> >>>>> doesn't make sense. Statements (.) cannot be a message selector that >>>>> would be expected after a receiver. Also, you cannot have a selector >>>>> list (@) if you don't give also an argument list to match. So the >>>>> closest valid thing is >>>>> >>>>> `@browser `message >>>>> >>>>> which looks for unary message sends (recursive is not necessary here >>>>> either, because there is nothing to recurse into), or >>>>> >>>>> `@browser `@message: ``@message >>>>> >>>>> which looks for arbitrary message sends and recursively into all arguments. >>>>> >>>>>> It seems to only get those appearances which contain a single appearance of browser inside the block. >>>>> >>>>> As I wrote in the previous mail you need to do it with nested >>>>> rewrites. Inside the block you match for any sequence of statements: >>>>> >>>>> `@.statements >>>>> >>>>> And as replacement you use the `{ :context | ... } trick to perform a >>>>> new rewrite somehow along the following untested lines: >>>>> >>>>> `{ :context | >>>>> RBParseTreeRewriter new >>>>> " replace whatever matched to `@browser with the variable a " >>>>> replaceTree: (context at: '`@browser') with: (RBParser >>>>> parseExpression: 'a'); >>>>> " execute on the list of statements " >>>>> executeTree: (context at: '`@.statements'); >>>>> " return the rewritten tree " >>>>> tree } >>>>> >>>>> Cheers, >>>>> Lukas >>>>> >>>>> -- >>>>> Lukas Renggli >>>>> www.lukas-renggli.ch >>>>> >>>> >>>> >>>> >>> >>> >>> >>> -- >>> Lukas Renggli >>> www.lukas-renggli.ch >>> >> >> >> > > > > -- > Lukas Renggli > www.lukas-renggli.ch >

Nov. 4, 2010

Re: [Pharo-project] WebClient with SSL

by GÃ¶ran Krampe

On 11/04/2010 06:47 AM, Steven Baker wrote: > Heya folks, > > I need SSL support for WebClient. SqueakSSL fails to build in my Pharo > image. Is SqueakSSL supposed to work? (Before I spend more time > troubleshooting it.) Is there another method? > If you know whom you want to connect to, then you can use stunnel. regards, GÃ¶ran

Nov. 4, 2010

Re: [Pharo-project] learning rewrite rules

by Lukas Renggli

On 4 November 2010 10:09, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: > I'm adding some other files (in french) :( > but I'm stuck with git.... git pull git add french-rewrite.tex git commit git push >> Yeah, where do I find that chapter? >> >> There is a section on the AST matching/search in my PhD as Helvetia >> builds on top of it. Not on the AST rewriting though, Helvetia uses a >> different mechanism there. Still it might be a good start. >> >> Lukas >> >> On 4 November 2010 09:49, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >>> lukas >>> >>> I would love to have a chapter on Rules. I have a starter that I wrote long time ago for the squeak french book >>> but it would be cool if you could add to it. >>> >>> Stef >>> >>> On Nov 4, 2010, at 12:55 AM, Lukas Renggli wrote: >>> >>>>> If I try to match it like: >>>>> Â '`@browser showOn: `@target; from: `@origin; using: [ `@browser ``@.statements]' >>>> >>>> The match expression >>>> >>>> Â Â `@browser ``@.statements >>>> >>>> doesn't make sense. Statements (.) cannot be a message selector that >>>> would be expected after a receiver. Also, you cannot have a selector >>>> list (@) if you don't give also an argument list to match. So the >>>> closest valid thing is >>>> >>>> Â Â `@browser `message >>>> >>>> which looks for unary message sends (recursive is not necessary here >>>> either, because there is nothing to recurse into), or >>>> >>>> Â Â `@browser `@message: ``@message >>>> >>>> which looks for arbitrary message sends and recursively into all arguments. >>>> >>>>> It seems to only get those appearances which contain a single appearance of browser inside the block. >>>> >>>> As I wrote in the previous mail you need to do it with nested >>>> rewrites. Inside the block you match for any sequence of statements: >>>> >>>> Â Â `@.statements >>>> >>>> And as replacement you use the `{ :context | ... } trick to perform a >>>> new rewrite somehow along the following untested lines: >>>> >>>> Â Â `{ :context | >>>> Â Â Â Â RBParseTreeRewriter new >>>> Â Â Â Â Â Â " replace whatever matched to `@browser with the variable a " >>>> Â Â Â Â Â Â replaceTree: (context at: '`@browser') with: (RBParser >>>> parseExpression: 'a'); >>>> Â Â Â Â Â Â " execute on the list of statements " >>>> Â Â Â Â Â Â executeTree: (context at: '`@.statements'); >>>> Â Â Â Â Â Â " return the rewritten tree " >>>> Â Â Â Â Â Â tree } >>>> >>>> Cheers, >>>> Lukas >>>> >>>> -- >>>> Lukas Renggli >>>> www.lukas-renggli.ch >>>> >>> >>> >>> >> >> >> >> -- >> Lukas Renggli >> www.lukas-renggli.ch >> > > > -- Lukas Renggli www.lukas-renggli.ch

Nov. 4, 2010

Re: [Pharo-project] learning rewrite rules

by StÃ©phane Ducasse

I'm adding some other files (in french) :( but I'm stuck with git.... > Yeah, where do I find that chapter? > > There is a section on the AST matching/search in my PhD as Helvetia > builds on top of it. Not on the AST rewriting though, Helvetia uses a > different mechanism there. Still it might be a good start. > > Lukas > > On 4 November 2010 09:49, StÃ©phane Ducasse <stephane.ducasse(a)inria.fr> wrote: >> lukas >> >> I would love to have a chapter on Rules. I have a starter that I wrote long time ago for the squeak french book >> but it would be cool if you could add to it. >> >> Stef >> >> On Nov 4, 2010, at 12:55 AM, Lukas Renggli wrote: >> >>>> If I try to match it like: >>>> '`@browser showOn: `@target; from: `@origin; using: [ `@browser ``@.statements]' >>> >>> The match expression >>> >>> `@browser ``@.statements >>> >>> doesn't make sense. Statements (.) cannot be a message selector that >>> would be expected after a receiver. Also, you cannot have a selector >>> list (@) if you don't give also an argument list to match. So the >>> closest valid thing is >>> >>> `@browser `message >>> >>> which looks for unary message sends (recursive is not necessary here >>> either, because there is nothing to recurse into), or >>> >>> `@browser `@message: ``@message >>> >>> which looks for arbitrary message sends and recursively into all arguments. >>> >>>> It seems to only get those appearances which contain a single appearance of browser inside the block. >>> >>> As I wrote in the previous mail you need to do it with nested >>> rewrites. Inside the block you match for any sequence of statements: >>> >>> `@.statements >>> >>> And as replacement you use the `{ :context | ... } trick to perform a >>> new rewrite somehow along the following untested lines: >>> >>> `{ :context | >>> RBParseTreeRewriter new >>> " replace whatever matched to `@browser with the variable a " >>> replaceTree: (context at: '`@browser') with: (RBParser >>> parseExpression: 'a'); >>> " execute on the list of statements " >>> executeTree: (context at: '`@.statements'); >>> " return the rewritten tree " >>> tree } >>> >>> Cheers, >>> Lukas >>> >>> -- >>> Lukas Renggli >>> www.lukas-renggli.ch >>> >> >> >> > > > > -- > Lukas Renggli > www.lukas-renggli.ch >

Nov. 4, 2010