search

manifold-systems / manifold

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
http://manifold.systems/
Apache License 2.0
2.43k stars 125 forks source link

Hide @Deprecated in linter #506

Open JorgeCepeda opened 1 year ago

JorgeCepeda commented 1 year ago

I don't know where the change should be made, is it possible for the IDE to treat @Deprecated methods, etc, as if they didn't exist?

I'd like to see only the stuff that I'm supposed to use instead of being redirected from method to method, and toggle this feature on and off.

CC007 commented 1 year ago

If this is done for deprecated methods, could this functionality also be used for getter methods and record field methods, when used in combination with manifold-props? IJ keeps suggesting those preferentially over the property notation.