Skip to main content

Enterprise Server 3.15 в настоящее время доступен в качестве кандидата на выпуск.

выполнение языка-сервера

[Сантехника] Встроенная поддержка языка QL в idEs.

Кто может использовать эту функцию?

CodeQL доступен для следующих типов репозитория:

Это содержимое описывает последний выпуск данных CodeQL CLI. Дополнительные сведения об этом выпуске см. в статье https://github.com/github/codeql-cli-binaries/releases.

Чтобы просмотреть сведения о параметрах, доступных для этой команды в предыдущем выпуске, выполните команду с --help параметром в терминале.

Краткие сведения

Shell
codeql execute language-server --check-errors=<checkErrors> <options>...

Description

[Сантехника] Встроенная поддержка языка QL в idEs.

Эта команда относится только к авторам расширений языка QL для idEs. Он запускается расширением интегрированной среды разработки в фоновом режиме и взаимодействует с ним через специальный протокол для стандартных входных и выходных потоков.

Параметры

Основные параметры

--check-errors=<checkErrors>

[Обязательно] Как проверка ошибки. Одно из следующих: ON_CHANGE, EXPLICIT.

--search-path=<dir>[:<dir>...]

Это работает так же , как и при компиляции запроса codeql (q.v.).

--additional-packs Отсутствуют или --library-path параметры, так как соответствующие значения предоставляются расширением интегрированной среды разработки через протокол сервера языка.

(Примечание. В Windows разделитель путей имеет значение ;).

--synchronous

Выполняйте действия одного основного потока, а не в потокоисполнимом исполнителе.

Распространенные параметры

-h, --help

Отображение этого текста справки.

-J=<opt>

[Дополнительно] Укажите параметр JVM, выполняя команду.

(Убедитесь, что параметры, содержащие пробелы, не будут обрабатываться правильно.)

-v, --verbose

Постепенно увеличьте число отображаемых сообщений о ходе выполнения.

-q, --quiet

Постепенно уменьшайте количество отображаемых сообщений о ходе выполнения.

--verbosity=<level>

[Дополнительно] Явным образом задайте уровень детализации на одну из ошибок, предупреждений, хода выполнения, хода выполнения+, хода выполнения++, хода выполнения+++. Переопределяет -v и -q.

--logdir=<dir>

[Дополнительно] Запись подробных журналов в один или несколько файлов в указанном каталоге с созданными именами, включающими метки времени и имя выполняющегося подкоманда.

(Чтобы записать файл журнала с именем, над которым у вас есть полный контроль, вместо этого предоставьте --log-to-stderr и перенаправите stderr по мере необходимости.)

--common-caches=<dir>

[Дополнительно] Управляет расположением кэшированных данных на диске, которые будут сохраняться между несколькими запусками интерфейса командной строки, такими как скачанные пакеты QL и скомпилированные планы запросов. Если этот параметр не задан явным образом, по умолчанию используется каталог с именем .codeql в домашнем каталоге пользователя; он будет создан, если он еще не существует.

Доступно с момента v2.15.2.