调用层次结构中Polyspace桌面用户界面
着重于Polyspace这个主题®桌面用户界面。学习中的等效窗格Polyspace访问web界面,看到的调用层次结构在Polyspace访问Web界面。
的调用层次结构窗格显示调用函数源代码树。
为每一个函数喷火,调用层次结构那叫窗格中列出了功能和任务喷火(调用者)和那些调用喷火(街道)。调用者通过表示
(功能)或
(任务)。calle所示
(功能)或
(任务)。的调用层次结构窗格列出直接函数调用和间接通过函数指针调用。间接调用和显示
图标。调用与函数名是遥不可及的显示灰色。
打开此窗格,在Polyspace桌面用户界面,选择
按钮结果细节窗格。
更新面板:
您可以单击一个运行时检查,在结果列表或源窗格。你看这个函数包含检查调用者和被。
您可以单击一个函数的名字在你的源代码。函数的调用者和街道。如果函数名也显示了一个运行时检查颜色,而不是点击函数名,右键单击并选择的名称去定义。
在这个例子中,调用层次结构面板显示功能generic_validation,其调用者和街道。
的行号调用层次结构面板是指在源代码中不同的线:
函数的名称、行号是指函数定义的开始。的定义
generic_validation在第69行开始。被名称,数量指的是被称为线。被调用的函数
functional_ranges被称为,generic_validation在第86行。对于调用者的名字,数量是指的什么地方调用者调用函数。调用者
主要调用generic_validation在50行。
提示
导航到调用位置在源代码中,选择一个调用者或被名称
在调用层次结构窗格中,您可以执行这些操作。
显示或隐藏调用者和街道
自定义视图只显示来电者或街道。显示或隐藏调用者和被通过点击这个按钮:
电话导航层次结构
你可以浏览源代码的调用层次结构。为一个函数,双击调用者或被名字导航到调用者或被定义在源代码中。
确定函数存根
你可以决定的存根如果一个函数存根列。列的条目显示为什么一个函数存根。
自动:Polyspace找不到函数定义。例如,您没有提供包含定义的文件。
用户指定的:你覆盖函数定义使用的选项
函数存根(-functions-to-stub)。查找表:你验证生成的代码与特定的函数返回值类型的查找表。你使用的选项
为嵌入式编码查找表生成存根(-stub-embedded-coder-lookup-table-functions)。标准库:函数是一个标准的库函数。你不提供函数定义明确Polyspace项目。
映射到标准库:你的函数映射到标准库函数通过使用选择
-code-behavior-specifications。
有关更多信息,请参见代码验证假设的功能。
看到整个程序的调用层次结构
看到整个程序的调用层次结构的源窗格中,单击主要函数。调用层次结构中的一个节点上单击右键并选择扩大所有节点。
而不是看到整个调用层次结构,可以根据需要扩展节点集中在一个特定的调用层次结构。
