这可变访问窗格显示全局变量(和本地静态变量)。对于每个全局变量,窗格列出了在变量上执行读/写访问的所有函数和任务,以及它们的属性,例如值,读/写访问和共享使用情况。
要打开此窗格,在PolySpace中®桌面用户界面,选择纽约州结果细节窗格。
对于每个变量和每个读/写访问,可变访问窗格包含相关属性。对于变量,此表中列出了各种属性。
属性 | 描述 |
---|---|
变量 | 变量的名称 |
文件 | 包含变量声明的源文件 |
价值 | 变量的值(或值范围) 指针变量为空为空。 |
#阅读 | 读取变量的次数 |
#写道 | 编写变量的次数 |
由任务写作 | 在变量上写作的任务名称 |
由任务读取 | 任务名称读取变量 |
保护 | 是否保护共享变量免受并发访问权限 (只填写用法列有条目,共享) 此列中可能的条目是:
有关这些条目的更多详细信息,请参阅多任务。 |
用法 | 共享 如果变量在任务之间共享;否则,空白 |
线 | Director声明线数 |
col | 变量声明的列号(来自行开始的字符数) |
数据类型 | 变量数据类型(C / C ++数据类型或结构/类) |
双击变量名称以在变量上查看读/写访问权限。箭头符号和在里面可变访问窗格指示分别在全局变量上执行读取和写入访问的函数。同样,执行读写访问的任务由符号表示和分别。有关任务的更多信息,请参阅任务(-entry-points)
。
对于变量上的访问操作,此表中列出了窗格中描述的各种属性。
属性 | 描述 |
---|---|
变量 | 函数(或任务)的名称在变量上执行读/写访问 |
价值 | 函数或任务中变量的值或值的值范围或执行读/写访问 指针变量为空为空。 |
由任务写作 | 仅适用于任务:在变量上执行写入访问的任务名称 |
由任务读取 | 仅适用于任务:在变量上执行读访问的任务名称 |
线 | 函数或任务访问变量的行号 |
col | 函数或任务访问变量的列数 |
文件 | 包含变量访问操作的源文件 如果此列包含名称 |
例如,考虑全局变量,SHR2.
:
功能,特克弗
,在文件中,tasks1.c.
,执行两个写操作SHR2.
。这是指示的可变访问窗格由两个实例Tserver()
在变量下,SHR2.
,标志着。同样,两个写访问通过任务,server1.
和server2.
,也在下面列出SHR2.
并标记为。
变量中的颜色方案可变访问窗格是:
黑色:全局变量。
橙色:全局变量,在任务之间共享,没有防止并发访问权限。
绿色:全局变量,在任务之间共享并防止并发访问权限。
灰色:全局变量,声明但不可用于到达代码。
如果任务对全局变量执行某些操作,但操作处于无法访问的代码,则任务是彩色的。
有关从中获得的全局变量和读/写访问权限的信息可变访问窗格称为数据字典。
您还可以从中执行以下操作可变访问窗格。