Если для обработкиOver установлено значение true, какие инварианты сохраняются? ⇐ JAVA

[Anonymous]

При обработке аннотаций Java допустим ли следующий инвариант, где annotations — это первый аргумент Processor#process(Set, RoundEnvironment), а roundEnvironment — второй аргумент?
assert roundEnvironment.processingOver() ?
annotations.isEmpty() && roundEnvironment.getRootElements().isEmpty() :
true;


Подробнее здесь: https://stackoverflow.com/questions/799 ... iants-hold