На панели «Доступ к переменным» отображаются глобальные переменные (и локальные статические переменные). Для каждой глобальной переменной на панели перечислены все функции и задачи, выполняющие доступ для чтения/записи переменных, а также их атрибуты, такие как значения, доступ для чтения/записи и совместное использование.
Чтобы открыть эту панель, в интерфейсе пользователя рабочего стола Polyspace ® нажмите
кнопку на панели Сведения о результатах.

Для каждой переменной и каждого доступа для чтения/записи панель Доступ к переменной (Variable Access) содержит соответствующие атрибуты. Для переменных в этой таблице перечислены различные атрибуты.
| Признак | Описание |
|---|---|
| Переменные | Имя переменной |
| Файл | Исходный файл, содержащий объявление переменной |
| Ценности | Значение (или диапазон значений) переменной Этот столбец пуст для переменных указателей. |
| # Чтение | Число считываний переменной |
| # Записи | Число записей переменной |
| Написано по заданию | Имя задач, записываемых в переменную |
| Чтение по заданию | Имя задачи, считывающей переменную |
| Защита | Защищена ли общая переменная от параллельного доступа (Заполняется только в том случае, если в столбце «Использование» имеется запись «Общий») Возможные значения в этом столбце:
Дополнительные сведения об этих записях см. в разделе Многозадачность. |
| Использование | Shared, если переменная разделяется между задачами; в противном случае - пусто |
| Линия | Номер строки объявления переменной |
| Полковник | Номер столбца (количество символов от начала строки) объявления переменной |
| Тип данных | Тип данных переменной (типы данных C/C + + или структуры/классы) |
Дважды щелкните имя переменной, чтобы просмотреть операции доступа для чтения/записи для переменной. Символы стрелок
и
на панели «Доступ к переменной» обозначают функции, выполняющие доступ для чтения и записи, соответственно, для глобальной переменной. Аналогично, задачи, выполняющие доступ для чтения и записи, обозначаются символами
и
соответственно. Для получения дополнительной информации о задачах см. Tasks (-entry-points).
Для операций доступа к переменным в этой таблице перечислены различные атрибуты, описанные на панели.
| Признак | Описание |
|---|---|
| Переменные | Имена функций (или задач), выполняющих доступ на чтение/запись для переменной |
| Ценности | Значение или диапазон значений переменной в функции или задаче, выполняющей доступ для чтения/записи Этот столбец пуст для переменных указателей. |
| Написано по заданию | Только для задач: имя задачи, выполняющей доступ на запись для переменной |
| Чтение по заданию | Только для задач: имя задачи, выполняющей доступ на чтение переменной |
| Линия | Номер строки, в которой функция или задача обращается к переменной |
| Полковник | Номер столбца, в котором функция или задача обращается к переменной |
| Файл | Исходный файл, содержащий операцию доступа к переменной Если этот столбец содержит имя |
Например, рассмотрим глобальную переменную, SHR2:

Функция, Tserver, в файле, tasks1.c, выполняет две операции записи для SHR2. Это указывается на панели «Доступ к переменной» двумя экземплярами Tserver() под переменной, SHR2, помечен.
Аналогично, два доступа к записи по задачам, server1 и server2, также перечислены в SHR2 и помечен.![]()
Цветовая схема переменных на панели «Доступ к переменным»:
Черный: глобальная переменная.
Оранжевый: глобальная переменная, совместно используемая задачами без защиты от параллельного доступа.
Зеленый: глобальная переменная, совместно используемая задачами и защищенная от параллельного доступа.
Серый: глобальная переменная, объявленная, но не используемая в доступном коде.
Если задача выполняет определенные операции с глобальной переменной, но операции находятся в недостижимом коде, задачи окрашиваются в серый цвет.
Информация о глобальных переменных и операциях доступа для чтения/записи, полученная с панели «Доступ к переменным», называется словарем данных.
На панели Доступ к переменной (Variable Access) можно также выполнить следующие действия.