В этом материале описывается последний выпуск Интерфейса командной строки CodeQL. Дополнительные сведения об этом выпуске см. в разделе https://github.com/github/codeql-cli-binaries/releases.
Чтобы просмотреть сведения о параметрах, доступных для этой команды в более раннем выпуске, выполните команду с параметром в терминале --help .
Краткий обзор
codeql execute language-server --check-errors=<checkErrors> <options>...Описание
[Сантехника] Встроенная поддержка языка QL в средах URI.
Эта команда относится только к авторам расширений языка QL для URI. Оно запускается расширением интегрированной среды разработки в фоновом режиме и взаимодействует с ним по специальному протоколу в стандартных потоках входных и выходных данных.
Основные параметры
--check-errors=<checkErrors>
[Обязательно] Как проверка ошибок. Один из: ON_CHANGE, EXPLICIT.
--search-path=<dir>[:<dir>...]
Это работает аналогично параметру компиляции запроса codeql (q.v.).
Параметры или --library-path отсутствуют--additional-packs, так как соответствующие значения предоставляются расширением интегрированной среды разработки через протокол сервера языка.
(Примечание. В Windows разделитель пути — ).;
--synchronous
Выполняйте действия в одном потоке main, а не в потоке исполнителя.
Общие параметры
-h, --help
Показать этот текст справки.
-J=<opt>
[Дополнительно] Предоставьте параметр виртуальной машине Java, запустив команду .
(Остерегайтесь, что параметры, содержащие пробелы, будут обрабатываться неправильно.)
-v, --verbose
Добавочное увеличение числа выводемых сообщений о ходе выполнения.
-q, --quiet
Постепенно уменьшайте количество выводемых сообщений о ходе выполнения.
--verbosity=<level>
[Дополнительно] Явно задайте уровень детализации для одной из ошибок, предупреждений, хода выполнения, хода выполнения+, хода выполнения++, хода выполнения+++. Переопределяет -v и -q.
--logdir=<dir>
[Дополнительно] Запись подробных журналов в один или несколько файлов в заданном каталоге с созданными именами, включая метки времени и имя выполняющейся подкоманды.
(Чтобы записать файл журнала с именем, над которым у вас есть полный контроль, вместо этого при необходимости предоставьте --log-to-stderr и перенаправьте stderr.)