Составьте таблицу, показывающую доступ к глобальной переменной в исходном коде (только для Code Prover)
Этот компонент создает таблицу, показывающую доступ к глобальной переменной в исходном коде. Для каждой глобальной переменной в таблице отображается следующая информация:
Имя переменной.
Запись для каждой переменной обозначается |.
Тип переменной.
Количество операций чтения и записи переменной.
Детали операций чтения и записи. Для каждой операции чтения или записи в таблице отображается следующая информация:
Файл и функция, содержащие операцию в форме file_name. function_name
Запись для каждой операции чтения или записи обозначается ||. Операции записи обозначаются < и считывайте операции по >.
Линия и столбца операции.
В этой таблице содержатся сведения, доступные на панели Variable Access в Polyspace® пользовательский интерфейс.
Таблица, показывающая доступ к переменной, содержит только имена файлов. Под этой таблицей вторая таблица показывает полные пути к файлам (в двух столбцах, Filename и Full filename). Если доступ к переменной происходит в функции библиотеки Standard, эти два столбца содержат следующую информацию:
Filename: __polyspace__stdstubs.c (файл, содержащий реализацию функций стандартной библиотеки в Polyspace)
Full filename: Std library
