Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>SvacerNew to Visual Studio Code? Get it now.

Svacer

ISPRAS

|
34 installs
| (0) | Free
Svacer (Static Analysis History Server) extension for Visual Studio Code
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Расширение Svacer (Static Analysis History Server) для Visual Studio Code

Расширение для Visual Studio Code, добавляющее поддержку результатов анализа Svace.

Использование

Установка

Расширение можно установить из официального магазина расширений для VSCode.

Для установки расширения из файла svacer-<version>.vsix воспользуйтесь командой Установка из VSIX... в выпадающем меню на странице расширений.

Установка из VSIX...

Так же можно установить с помощью параметра командной строки --install-extension, явно указав путь к файлу .vsix

code --install-extension <path-to-file>/svacer-<version>.vsix

Настройка

Установите необходимые значения для настроек сервера и проекта или оставьте значения по умолчанию.

Параметры по умолчанию

Авторизация

Для авторизации на сервере Svacer необходимо осуществить вход в профиль на вкладке Учетные записи, где следует выбрать пункт Войдите с помощью SvacerAuth, чтобы использовать Svacer. В результате этого будет открыт браузер с адресом сервера, который был указан в настроках, где будет необходимо разрешить доступ расширения к данным профиля.

Авторизация

Загрузка исходного кода

Загрузите исходный код проекта, если он был импортирован на сервер.

Загрузка исходного кода

В процессе загрузки будет отображаться строка с текущим прогрессом.

Строка с прогрессом загрузки

После завершения загрузки будет отображено информационное сообщение.

Окончание загрузки

Загрузка данных

Загрузите данные с сервера при помощи команды или из вкладки Инструменты Svacer: Информация Svacer и начните работу.

Загрузка данных

Загрузка данных из view

После завершения загрузки данных будет отображено информационное сообщение.

Окончание загрузки

Работа с маркерами

Работать с маркерами можно при помощи раздела Маркеры Svacer.

Так же доступ к Разметке Svacer можно получить через всплывающее окно, при наведении на предупреждение к редакторе кода.

Hover

В этом всплывающем окне можно так же блокировать/разблокировать предупреждения и добавлять, изменять и удалять комментарии к маркеру.

Comments

Инструменты Svacer

Расширение предоставляет пользователю владку, объединяющую все инструменты, которые позволяют получить функциональность Svacer в VSCode.

Инструменты Svacer Инструменты Svacer (выбранный)

Информация Svacer

Если данные с сервера еще не были загружены, то в этом разделе отображается приветственное сообщение.

Информация Svacer

После загрузки данных в этом разделе отображается информация о выбранном проекте, ветке и снимке.

Информация Svacer после загрузки данных

Так же в этом разделе можно выполнить следующие действия:

  1. Перезагрузить данные с сервера*;
  2. Очистить данные о предупреждениях*;
  3. Открыть настройки расширения.

Маркеры Svacer**

В данном разделе отображаются все предупреждения для текущего выбранного файла.

Предупреждения Svacer

При наведении на строку с предупреждением, будет появляться кнопка прехода к месту предупреждения в коде и кнопка для блокировки/разблокировки предупреждения.

Если развернуть файл, то будут отображены вкладки с трассой, пользовательской разметкой предупреждения и комметариями.

Вслывающее сообщение для предупреждения Svacer

Трасса маркера

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

Разметка маркера

Данный раздел позволяет осуществлять пользовательскую разметку для предупреждений. При нажатии на необходимую опцию будет открываться диалоговое окно с вариантами для выбранной опции.

Разметка предупреждений

Комментарии маркера

Данный раздел содержит комментарии для предупреждения.

При наведении на корневой элемент, будет отображаться кнопка для добавления комментария.

Добавление комментария

При наведении на строку с комментарием будет отображаться всплывающее сообщение с временем последнего редактирования комментария, а так же кнопки для удаления и редактирования комментария.

Наведение на комментарий

Файлы Svacer*

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

Файлы Svacer

При наведении на строку с файлом, будет появлятся всплывающее сообщение, содержащее полный путь к файлу и количество предупреждений в нем. Так же будет появляться кнопка для блокировки/разблокировки предупреждений по имени файла.

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

Вслывающее сообщение для файла Svacer

Детекторы Svacer*

В данном разделе отображаются все детекторы, которые сработали в текущем проекте.

Детекторы Svacer

При наведении на строку с детектором, будет отображаться всплывающее сообщение с критичностью детектора и количеством предупреждений для данного детектора. Так же будет появляться кнопка для блокировки/разблокировки предупреждений по типу детектора.

Если развернуть детектор, то будут отображены все предупреждения для данного детектора. При нажатии на предупреждение будет осуществлен переход к месту предупреждения в исходном коде.

Вслывающее сообщение для детектора Svacer

Поддерживаемые команды

Результаты анализа Svace можно загрузить с помощью команды Svacer: Загрузить данные с сервера или svacer.load.

Загрузить исходный код с сервера можно с помощью команды Svacer: Загрузить исходный код или svacer.loadSources.

Результаты анализа Svace можно очистить с помощью команды Svacer: Очистить предупреждения или svacer.clear*.

Посмотреть текущий выбранный проект, ветку и снимок можно с помощью команды Svacer: Информация о проекте или svacer.info*.

Поддерживаемые команды

Параметры

Расширение поддерживает следующие настраиваемые параметры:

Название Описание По умолчанию
Настройки сервера
Hostname Имя или IP-адрес Svacer localhost
Port Порт Svacer 8080 (Если значение оставить пустым, то будет использован порт по умолчанию для выбранного протокола)
Use Https Использовать протокол https false
Настройки проекта
Project Название проекта в Svacer project
Branch Название ветки проекта в Svacer master
Snapshot Название снимка в Svacer (или latest) latest
Настройки исходников
Include Traces Отображать трассу для предупреждений true
Include Comments Отображать комментарии пользователей true
*Отображается только при загруженных данных с сервера
**Отображается только при открытом файле, содержащем предупреждения
  • Contact us
  • Jobs
  • Privacy
  • Terms of use
  • Trademarks
© 2023 Microsoft