What do the different colors in the PolySpace Source Code View, RTE View and Variable View windows mean?
20 次查看(过去 30 天)
显示 更早的评论
MathWorks Support Team
2013-1-24
编辑: MathWorks Support Team
2022-5-23
I would like to get information about the color coding scheme used by PolySpace in the Source Code View, RTE View and Variable View windows.
采纳的回答
MathWorks Support Team
2022-5-23
编辑:MathWorks Support Team
2022-5-23
See more description of colors used in Polyspace Code Prover in the documentation: Code Prover Result and Source Code Colors.
Each operation checked is displayed using a meaningful color scheme in the Source Code View. Related diagnostic information is available after clicking on the respective links:
- Red: A link to the error message associated to the error which occurs at every execution.
- Orange: A link to an unproven message - an error may occur sometimes.
- Grey: A link to a check shown as unreachable code. The error message is in grey.
- Green: A link to a VOA (Value on Assignment) or an error condition that will never occur.
Other Source Code View related color schemes are given by:
- Black: Represents some comments, source code that does not contain any operation to be checked by PolySpace verification in terms of run time errors and optimized operations, e.g. x := 0;.
- Blue: Text highlighting the keyword “procedure” and “function”.
- Blue Underlined (cyan / light blue / turquoise): A link to a global variable in the “Global variable View”.
Color schemes in the RTE View panel (Procedural entities) are given by:
- Black with grey background: Functions / procedures that, according to the information available to PolySpace, will never be called.
- Black without a background: Functions / procedures that are called, but do not contain any checks. It is also possible that the checks have been filtered.
- Grey: Functions / procedures that are called but contain unreachable code.
Color schemes in the Variables View window are given by:
- Black: Not shared variable.
- Orange: Shared variable but not protected.
- Green: Protected shared variable.
0 个评论
更多回答(1 个)
Anirban
2020-9-10
See more description of colors used in Polyspace Code Prover in the documentation: Code Prover Result and Source Code Colors.
0 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!