Nullable аннотации и Checker Framework в Java проектах
В этом видео я рассказываю:
- про Nullable и Nonnull аннотации и зачем они нужны в Java
- о разнице между declaration annotations и type annotations
- о ферймворке CheckerFramework, который посзволяет обеспечить автоматическую проверку потенциальных ошибок связанных с неожиданным доступом к NULL значениям
- о некоторых возможностях и настройках этого инструмента
- поднимаю вопросы внедрения на большой и старый проект
В видео упоминается:
Java: https://en.wikipedia.org/wiki/Java_%28programming_language%29
Checker Framework: https://checkerframework.org/manual/
Maven: https://maven.apache.org/
Кроме того:
Eclipse IDE: https://www.eclipse.org/downloads/
IntelliJ Idea: https://www.jetbrains.com/idea/
Emacs: http://texteditors.org/cgi-bin/wiki.pl?EmacsFamily
FindBugs: http://findbugs.sourceforge.net/
PMD: https://pmd.github.io/
Sonarcloud: https://sonarcloud.io/
00:00 - вступление
00:20 - аннотации Nullable и Nonnull и их использование для проверки на потенциальные проблемы
02:25 - почему мы взяли эти аннотации из пакета javax.annotation.*
03:25 - проблемы аннотаций пакета jsr305 и способ их решить, виды аннотаций: declaration и type
06:20 - Checker framework
07:15 - настройка concurrentSemantics
09:10 - аннотирование внешних библиотек при помощи astub файлов
11:25 - объявление проверяемых аргументов EnsuresNonNull
12:35 - особенности переезда на большой проект
13:37 - сравнение с инструментами по поиску багов и линтерами
14:47 - заключение
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Nullable аннотации и Checker Framework в Java проектах», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.