Ответ 1
Отказ от ответственности: я не смог найти массовое подробное описание или примеры этого, поэтому большинство из них - это спекуляция.
Лучшая документация, которую я нашел для @Flow, пока что можно прочитать в комментариях к самой аннотации, как можно увидеть здесь.
Выдержки:
Эта аннотация помогает функции "Передача данных к этой", описывая поток данных из параметра метода в соответствующий контейнер (например, ArrayList.add(item)) или из контейнера в возвращаемое значение метода (например, Set.toArray( )) или между параметрами метода (например, System.arraycopy(array1, 0, array2, length))
В двух словах, это одна из форм метаданных IntelliJ, которая должна выполнять некоторые типы анализа кода, как данные поступают и выходят из коллекции или аналогичной. Не уверен, какой именно анализ проводится с этим, но я предполагаю, что некоторые из инспекций IntelliJ используют его.
Я предполагаю, что с помощью этих метаданных теоретически можно было бы провести проверку, аналогичную следующей: если/она еще не существует,
- Согласно
@Flow, данные, переданные вvoid push(Object), могут быть в конечном итоге возвращены изObject pull() - Если возвращаемое значение из
pullразыменовывается без проверки наnull, дайте предупреждение, еслиnullкогда-либо передается вpush.
До того, как был добавлен @Flow, это, предположительно, должно было быть жестко закодировано в IntelliJ и, таким образом, работало бы только для стандартных классов контейнеров, массивов и т.д. (предполагая, что этот конкретный тип анализа был выполнен раньше). Таким образом, добавление @Flow сделает его более гибким, а также позволит анализировать отдельные контейнеры таким же образом.
Если у кого-то есть более достоверная информация о @Flow и некоторых реальных примерах того, как он используется, мне тоже было бы интересно увидеть его.