此增强功能已经包含在2012年发布(R2012a)。之前的产品发布,读下面的任何可能的解决方法:
文档提到一个红色NTC可能发生由于以下原因:
1。“f”包含一个红色的错误;
2。“f”包含一个NTL;
3所示。“f”包含一个过渡委员会;
4所示。“f”包含一个桔子,它是依赖于上下文;也就是说,它要么是红色或绿色的。对于这个特定的调用,它会使函数“f”崩溃。
5。“f”是一个数学函数,返回值等这些“可信赖医疗组织”一直无效的输入参数
在这种情况下,参数4适用。的函数体应该包含一些橙检查上下文依赖意味着一些函数调用会导致一个错误的函数体而另一些是安全的。然而自从函数调用可能在其他情况下是安全的,PolySpace不其标记为红色,而是将它们标记为橙色,表明他们可以是绿色或红色取决于函数调用的上下文。
