On 26 Jan 2023, at 11:27, Marcus Denker <marcus.denker@inria.fr> wrote:
On 26 Jan 2023, at 11:21, Nicolas Anquetil <nicolas.anquetil@inria.fr> wrote:
correct me if I am wrong, but one can already deactivate a rule in Nautilus on a perpackage/class/method basis.
So why not use this mechanism instead of having yet another pragma
Because disabeling the rule disables it for *all* selectors
(there is a whole universe of pragmas hidden in the code)
But the pragma is less hidden than the banned rule, which is completely invisible.
The whole rule banning meta data storage is very very limited right now⦠e.g it does never get cleaned, is never updated if the code it annotates changes and has many problems. The long-term solution I want to do is to improve meta-data for code storage and use it for the rule banning and for things we might abuse pragmas now. But that will no be soon, and there are lots of things to be taken into account for a nice design. For me the pragma is a nice intermediate solution: per selector, survives rename of method, rename of class, move method, is visible⦠Marcus