Source Annotation Language

Encyclopedia : S : SO : SOU : Source Annotation Language

The source-code annotation language is a set of annotations developed by Microsoft that describe how a C/C++ programming language function will use its parameters. SAL annotations allow a programmer to declare guaranteed characteristics of a parameter, such that they can be verified by the compiler at compile time.

External Links

• [SAL Annotations: C Run-Time Library Reference]
• [A Brief Introduction to the Standard Annotation Language (SAL)]

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.