8 ms·
The checker framework (https://checkerframework.org/ https://checkerframework.org/) can make the compiler understand about stuff like this without introducing a
by b15h0p 7y ago
The checker framework (https://checkerframework.org/ https://checkerframework.org/) can make the compiler understand about stuff like this without introducing additional types in Java.
I have never tried it myself, maybe someone with experience can chime in?
- tschiller 7y agoI was a PhD student in the group that makes on the Checker Framework. It's actually pretty easy to use it to automatically enforce Hungarian notation. I have a blog post/sample implementation here: https://toddschiller.com/java-hungarian-notation-checker.html https://toddschiller.com/java-hungarian-notation-checker.htm...