40、Polyspace桌面用户界面的代码分析与结果查看

Polyspace桌面用户界面的代码分析与结果查看

1. 源文件面板操作

源文件面板会展示带有特定颜色和图标高亮结果的源代码。在该面板上，你可以执行以下操作：
- 检查源代码 ：在源文件面板中，右键单击文本字符串，弹出的上下文菜单提供了检查代码的选项。例如，右键单击全局变量 PowerLevel ，可使用以下选项来检查和浏览代码：
- 在当前源文件中搜索 “PowerLevel” ：在搜索面板中列出该字符串在当前源文件中的所有出现位置。
- 在所有源文件中搜索 “PowerLevel” ：在搜索面板中列出该字符串在所有源文件中的所有出现位置。
- 搜索所有引用 ：在搜索面板中列出所有引用。该软件支持全局和局部变量、函数、类型和类的此功能。
- 转到定义 ：转到包含 PowerLevel 定义的代码行。该软件支持全局和局部变量、函数、类型和类的此功能。如果Polyspace无法获取定义，选择此选项将转到函数声明。
- 转到行 ：打开“转到行”对话框。指定行号并点击“Enter”，软件将显示指定的代码行。
- 展开所有宏或折叠所有宏 ：显示或隐藏当前源文件中宏的内容。

graph LR
    A[右键单击文本字符串] --> B[选择检查选项]