[Cuis-dev] Proposed changes to the Push up / Push down refactors

[Ruben Bohorquez]

Hey! Sorry for the empty file, I was writing the mail in a hurry
yesterday... This should be the right file.
In regards to further changes, nothing really comes to mind right now. The
only thing I've thought about is to also add this behaviour to a "Push Down
To" method that Paolo (a friend of mine) was working on recently (I think
he already sent that a few days ago). Haven't looked into it just yet, but
from what he told me implementing the same options as the existing push
method refactors for it shouldn't be hard (mostly just copying what's in
PushDownMethod already).
Have a nice day everyone!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20230524/32f2725a/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 5800-ChangesToPushUpDown-2023May23-14h24m-RABG.001.cs.st
Type: application/octet-stream
Size: 4187 bytes
Desc: not available
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20230524/32f2725a/attachment.obj>