Variable Access
创建显示源代码中的全局变量访问的表（仅限 Code Prover）
描述
此组件创建显示源代码中的全局变量访问的表。对于每个全局变量，该表都显示以下信息：
变量名称。
每个变量的条目都用 | 符号表示。
变量的类型。
变量的读取操作和写入操作的次数。
读取操作和写入操作的详细信息。对于每个读取操作或写入操作，该表都显示以下信息：
包含该操作的文件和函数，形式为
file_name.function_name每个读取操作或写入操作的条目都用
||符号表示。写入操作用<符号表示，读取操作用>符号表示。该操作所在的行号和列号。
此表捕获 Polyspace® 用户界面中变量访问窗格内提供的信息。
显示变量访问的此表仅包含文件的名称。在此表下方，有第二个表显示文件的完整路径（分为两列，文件名和完整文件名）。如果变量访问发生在标准库函数中，这两列包含以下信息：
文件名：
__polyspace__stdstubs.c（包含标准库函数的 Polyspace 实现的文件）完整文件名：
Std library
