Панель Source показывает исходный код с дефектами, раскрашенными красный и соответствующий номер строки, отмеченный
.
Установка вашего курсора на результат отображает подсказку, которая предоставляет информацию об области значений для переменных, операндов, параметров функции и возвращаемых значений.
На панели Source, если вы щелкаете правой кнопкой по текстовой строке, контекстное меню предоставляет возможности исследовать ваш код:
Например, если вы щелкаете правой кнопкой по переменной i, можно использовать следующие опции, чтобы исследовать и перейти через код:
Search "j" in Current Source — Перечислите случаи строки в текущем исходном файле на панели Search.
Search "j" in All Source Files — Перечислите случаи строки в исходных файлах на панели Search.
Search For All References — Перечислите все ссылки в панели Search. Программное обеспечение поддерживает эту функцию для глобальных и локальных переменных, функций, типов и классов.
Go To Definition — Перейдите к строке кода, которая содержит определение i. Программное обеспечение поддерживает эту функцию для глобальных и локальных переменных, функций, типов и классов. Если определение не доступно для Polyspace®, выбирание опции берет вас к объявлению.
Go To Line — Откройте Движение, чтобы выровнять диалоговое окно. Если вы задаете номер строки и нажимаете Enter, программное обеспечение отображает заданную строку кода.
Expand All Macros или Collapse All Macros — Отобразите или скройте содержимое макросов в текущем исходном файле.
Можно просмотреть содержимое макросов исходного кода в представлении исходного кода. Панель информации о коде отображает
значки, которые идентифицируют строки исходного кода с макросами.
Когда вы кликаете по линии с этим значком, программное обеспечение отображает содержимое макросов на той линии в поле.
Чтобы отобразить нормальный исходный код снова, кликните по линии далеко от поля, например, на
значке.
Отобразить или скрыть содержимое всех макросов:
Щелкните правой кнопкой где угодно по источнику.
Из контекстного меню выберите Expand All Macros или Collapse All Macros.
Примечание
Панель Result Details также позволяет вам просматривать содержимое макроса, если проверка вы выбор находится в рамках макроса.
Вы не можете расширить макросы API OSEK в панели Source.
Можно просмотреть несколько исходных файлов в панели Source.
Щелкните правой кнопкой по панели инструментов панели Source.
Из контекстного меню панели Source вы можете:
Закройтесь - закрывают в настоящее время выбранный исходный файл. Можно также использовать χ кнопку, чтобы закрыть вкладки.
Закройтесь Другие - закрывают все исходные файлы кроме в настоящее время выбранного файла.
Закройтесь Все - закрывают все исходные файлы.
Затем - Отображение следующее представление.
Предыдущий - Отображение предыдущее представление.
New Horizontal Group - Разделите окно Source горизонтально, чтобы отобразить выбранный исходный файл ниже другого файла.
New Vertical Group - Разделите окно Source вертикально, чтобы отобразить выбранный исходный файл рядом друг с другом с другим файлом.
Плавание - Отображение текущий исходный файл в новом окне, вне панели Source.
На панели Source, чтобы подсветить блок кода, нажатие кнопки или его открытие или закрывающая фигурная скобка. Если сама фигурная скобка подсвечена, кликните по фигурной скобке дважды.
