Выпуск статического анализатора NoVerify 0.5.0

Изменения проверок:

• Проверка наличия блока комментариев phpdoc переименована в missingPhpdoc.
• Чекер undefined разбит на следующие проверки:
  • maybeUndefined;
  • undefinedConstant;
  • undefinedFunction;
  • undefinedMethod;
  • undefinedProperty;
  • undefinedType;
  • undefinedVariable.
• Проверка неочевидности порядка аргументов тернарного оператора nestedTernary включена по умолчанию.
• Чекеры switchDefault(наличие default в конструкции switch), arrayAccess(доступ к немассивам через синтаксис массивов), complexity(сообщает об излишне сложных функциях).
• Проверка undefinedType разбита на два чекера:
  • undefinedClass;
  • undefinedTrait.
• Проверки undefinedVariable и maybeUndefined теперь не выводят предупреждение, если переменные являются левым операндом оператора объединения с null;
• phpdocLint переименован в invalidDocblock.
• phpdocType переименован в invalidDocblockType.
• phpdocRef переименован в invalidDocblockRef.
• Добавлена новая проверка parentNotFound, обнаруживающая несуществующий родительский класс:

    class Foo {
        public function f() {
           parent::b(); // Class Foo has no parent.
        }
    }

Исправлено:

• Если в группе модификаторов регулярных выражений верхнего уровня присутствует неверный символ, то она не будет анализирована.
• Вывод теперь показывает только время (без даты и миллисекунд).
• Исправлены быстрые исправления, которые работали некорректно.
• Если файл из директории vendor не может быть анализирован, ошибка не будет отображена.
• В нестрогом режиме теперь не будут отображены ошибки неизвестного метода и свойства для null и stdClass.
• Добавлен атрибут @disabled который отключает проверку для динамических правил.
• Все варианты проверки unused теперь выбрасывают предупреждение.
• Исправлен баг с невозможностью использовать self внутри трейта.
• Исправлена паника при enum;

Добавлено:

• Добавлена возможность установки через менеджер зависимостей Composer.
• Добавлена поддержка анонимных классов.
• Добавлена песочница, где можно попробовать использовать NoVerify без установки.
• Улучшен вывод типов для сложных выражений с instanceof в if-else:

/**
  * @param mixed $a
  */
function f1($a) {
  if ($a instanceof Foo || $a instanceof Boo) {
     exprtype($a, "\Boo|\Foo");
  }
}

/**
  * @param Boo|Foo|Zoo $a
  */
function f1($a) {
   if ($a instanceof Foo && $a instanceof Boo) {
     exprtype($a, "\Boo|\Foo");
   } else {
     exprtype($a, "\Zoo");
   }
}

• Добавлено сужение типа:

/**
  * @param mixed $a
  */
function f($a) {
   if (!$a instanceof Foo) {
      return;
   }

   exprtype($a, "\Foo");
}

• Добавлена поддержка союзных типов и тайпхинтов.
• Добавлена документация для режима diff.
• Добавлено быстрое исправление для старого синтаксиса массивов в параметрах функции.
• специальные скалярные типы psalm теперь обрабатываются и превращаются в ближайшие обычные типы.
• Добавлен тип never.

KPHP:

• Типы kmixed и future теперь нормализованы к mixed.