Smalltalk › Pharo › Pharo Smalltalk Developers

One more question about the transformation rules

_‹ Previous Topic Next Topic _›

Classic

List

Threaded

3 messages Options

Uko2

One more question about the transformation rules

Hi,

when a transformation rule checks a method, except for only checking whether it matches the rule, it also checks if

self class recursiveSelfRule executeTree: rewriteRule tree initialAnswer: false

evaluates to false. #recursiveSelfRule is

'`@methodName: `@args | `@temps | self `@methodName: `@args1'
'`@methodName: `@args | `@temps | ^ self `@methodName: `@args1’

Do I understand correctly that before signaling that method is bad the rule makes sure that the transformation will not create a recursion?

Uko

Max Leske

Re: One more question about the transformation rules

> On 15 Oct 2015, at 15:00, Yuriy Tymchuk <[hidden email]> wrote:
>
> Hi,
>
> when a transformation rule checks a method, except for only checking whether it matches the rule, it also checks if
>
> self class recursiveSelfRule executeTree: rewriteRule tree initialAnswer: false
>
> evaluates to false. #recursiveSelfRule is
>
> '`@methodName: `@args | `@temps | self `@methodName: `@args1'
> '`@methodName: `@args | `@temps | ^ self `@methodName: `@args1’
>
> Do I understand correctly that before signaling that method is bad the rule makes sure that the transformation will not create a recursion?

Yes, I would say so. Although why that check is done to find matching methods I don’t know.

>
> Uko

Thierry Goubier

Re: One more question about the transformation rules

In reply to this post by Uko2

Le 15/10/2015 15:00, Yuriy Tymchuk a écrit :

> Hi,
>
> when a transformation rule checks a method, except for only checking
> whether it matches the rule, it also checks if
>
> self class recursiveSelfRule executeTree: rewriteRule tree
> initialAnswer: false
>
> evaluates to false. #recursiveSelfRule is
>
> '`@methodName: `@args | `@temps | self `@methodName: `@args1'
> '`@methodName: `@args | `@temps | ^ self `@methodName: `@args1’
>
> Do I understand correctly that before signaling that method is bad
> the rule makes sure that the transformation will not create a
> recursion?

Not sure about the 'before signaling that method is bad', but the match
is on a method which creates an infinite loop by calling itself.

Thierry