На панели Source отображается исходный код с результатами, подсвеченными определенными цветами и значками. Для получения дополнительной информации смотрите Результаты Code Prover и Цвета исходного кода.
На панели Source можно:
На панели Source, если щелкнуть правой кнопкой мыши текстовую строку, в контекстном меню предусмотрены опции для исследования кода. Для примера щелкните правой кнопкой мыши глобальную переменную PowerLevel
:
Используйте следующие опции, чтобы изучить и перемещаться по своему коду:
Search "PowerLevel" in Current Source File - список вхождений строки в текущем исходном файле на панели Search.
Search "PowerLevel" in All Source Files - перечислите вхождения строки во всех исходных файлах на панели Search.
Search For All References - Список всех ссылок на панели Search. Программа поддерживает эту функцию для глобальных и локальных переменных, функций, типов и классов.
Go To Definition - перейдите к строке кода, содержащей определение PowerLevel
. Программа поддерживает эту функцию для глобальных и локальных переменных, функций, типов и классов. Если определение недоступно для Polyspace®выбор опции приводит вас к объявлению функции.
Go To Line - Откройте диалоговое окно Go To Line. Если вы задаете номер линии и нажатия кнопки Enter, программное обеспечение отображает указанную строку кода.
Expand All Macros или Collapse All Macros - Отображать или скрывать содержимое макросов в текущем исходном файле.
Просмотр переменных Областей значений
Наведите курсор на чек, чтобы просмотреть информацию о области значений для переменных, операндов, параметров функции и возвращаемых значений.
Если подсказка доступна для ключевого слова или идентификатора на панели Source, Polyspace:
Использует твердое подчеркивание для ключевого слова или идентификатора, если он связан с проверкой.
Использует штриховое подчеркивание для ключевого слова или идентификатора, если он не связан с проверкой.
Отображаемая область значений совпадает с областью значений, которую программа вычисляет во время верификации (или включает область значений, если округлить во время отображения). Для образца, для переменных с плавающей точкой, подсказки показывают область значений переменной с помощью следующих правил:
Это область значений появляется как набор значений, для образца 1.0 or 2.0 or NaN
, или интервал [1.0 .. 2.0]
.
Отображаемая область значений включает фактическую область значений переменной. Для образца, область значений [1.0 .. 2.0]
переменная указывает, что переменная не может иметь значение 0.9999
или 2.0001
.
Однако отображаемая область значений может также включать дополнительные значения из-за приближения.
Константы отображаются с помощью любой фиксированной точки (1.0, -2.0
, и т.д.) или научный формат, когда он улучшает читаемость (1.0E+10, -1.2E-20
, и т.д.).
Подсказки четко указывают, какие значения показаны с округлением. Для образца значение 1.0
не включает округление, но 1.2345...
показывает переменную, которая отображается с округлением к нулю.
При округлении отображается не менее 5 значащих цифр.
Содержимое макросов исходного кода можно просмотреть в представлении исходного кода. Отображается информационная панель кода M
значки, идентифицирующие линии исходного кода с помощью макросов.
При клике по линии с этим значком программа отображает содержимое макросов на этой линии.
Чтобы снова отобразить нормальный исходный код, щелкните линией вдали от затененной области, для примера, на значке стрелы.
Чтобы отобразить или скрыть содержимое всех макросов:
Щелкните правой кнопкой мыши любую точку в представлении исходного кода.
В контекстном меню выберите Expand All Macros или Collapse All Macros.
Примечание
Панель Result Details также позволяет вам просматривать содержимое макроса, если выбранная проверка находится в пределах макроса.
Невозможно развернуть макросы OSEK API на панели Source.
Управление несколькими файлами
Можно просмотреть несколько исходных файлов на панели Source как отдельные вкладки.
На панели инструментов Source щелкните правой кнопкой мыши вид.
Из контекстного меню панели Source можно:
Закрыть - закрыть выбранный исходный файл. Чтобы закрыть вкладки, можно также использовать кнопку
Закрыть другие - закрыть все исходные файлы, кроме текущего выбранного файла.
Закрыть все - Закрыть все исходные файлы.
Далее - отображение следующего представления.
Предыдущий - отображение предыдущего представления.
Новая горизонтальная группа - разделение панели Source по горизонтали, чтобы отобразить выбранный исходный файл под другим файлом.
Новая вертикальная группа - разделите панель Source вертикально, чтобы отобразить выбранный исходный файл один за другим с другим файлом.
Плавающий - отображение текущего исходного файла в новом окне, вне панели Source.
На панели Source, чтобы выделить блок кода, щелкните его открывающую или закрывающую скобку.
См. «Вызывающие функции и вызывающие абоненты»
Вы можете кликнуть имя функции, чтобы увидеть вызывающих и вызывающих абонентов функции на панели Call Hierarchy.
Когда функция задана, исходный код показывает имя функции синим цветом. Щелкните имя функции, чтобы обновить панель Call Hierarchy.
Когда функция вызывается, вызов функции либо показывает цвет проверки во время выполнения, либо нет. Если функция не имеет цвета проверки во время выполнения (см func2
ниже), щелкните имя функции, чтобы обновить панель Call Hierarchy.
Если функция имеет цвет проверки во время выполнения (см func
выше), щелкните правой кнопкой мыши функцию и выберите Go To Definition. Эта < reservedrangesplaceholder0 > панель обновляется, чтобы показать вызывающих абонентов и вызывающих абонентов.
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.