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