polyspace: color of underlined tokens in the source pane

1 次查看（过去 30 天）
Tommy
Tommy 2014-7-14
回答： Alexandre De Barros 2014-7-16
I'm trying to understand the different kinds of underlining Polyspace provides in the "Source" pane of the GUI. Obviously, solid red, green, gray and orange underlining corresponds to the well-known categories. But there are also the following underline styles:
  • Solid black
  • Dashed black
  • Dashed blue
  • Dashed red
I can't find an explanation in the documentation. Can anyone shed light on what these styles indicate?

请先登录，再回答此问题。

采纳的回答

Alexandre De Barros
Hi Tommy!
Basically, dashed lines are used to indicate that tooltips are available. Tooltips on operators, assignments, etc.. that have no check on it.
The blue color is associated with function definitions. So when you see a dashed blue, it means that there is a tooltip for this function definition.
Dashed red is for NTC (Non-Termination of Call), and is used to indicate that first the call to this function will not return, and that a tooltip is available to get more information on the reason why this call will not terminate.
And finally solid black is when there is a macro on the line (you can see a M on the left-hand side too). It's like an HTML link, and if you click this link you will see the expanded source.
Best regards,
Alexandre

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Interpret Bug Finder Results 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by