本主题关注于Polyspace®桌面用户界面。要了解Polyspace Access web界面中的等效窗格,请参见Polyspace访问Web界面中的调用层次结构.
的调用层次结构窗格显示源代码中函数的调用树。
为每一个函数喷火
,调用层次结构窗格列出调用的函数和任务喷火
(召唤者)和被召唤者喷火
(街道)。呼叫者由(功能)或(任务)。callees是用(功能)或(任务)。的调用层次结构窗格列出了通过函数指针的直接函数调用和间接函数调用。中显示了间接调用图标。不可达的调用将以灰色显示函数名。
要打开此窗格,请在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项目中显式提供函数定义。
映射到std库:您可以使用该选项将函数映射到标准库函数-code-behavior-specifications
.
有关更多信息,请参见关于存根函数的假设.
要查看程序的整个调用层次结构,请在源窗格中,单击主要
函数。右键单击调用层次结构中的一个节点并选择扩大所有节点.
您可以根据需要展开节点,聚焦于调用层次结构的特定部分,而不是一次看到整个调用层次结构。