Jan. 26, 2023
10:27 a.m.
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. Marcus