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