Source Annotation Language
Encyclopedia
The standard annotation language is a set of annotation
s 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.
Annotation
An annotation is a note that is made while reading any form of text. This may be as simple as underlining or highlighting passages.Annotated bibliographies give descriptions about how each source is useful to an author in constructing a paper or argument...
s developed by Microsoft
Microsoft
Microsoft Corporation is an American public multinational corporation headquartered in Redmond, Washington, USA that develops, manufactures, licenses, and supports a wide range of products and services predominantly related to computing through its various product divisions...
that describe how a C/C++ programming language
C (programming language)
C is a general-purpose computer programming language developed between 1969 and 1973 by Dennis Ritchie at the Bell Telephone Laboratories for use with the Unix operating system....
function
Method (computer science)
In object-oriented programming, a method is a subroutine associated with a class. Methods define the behavior to be exhibited by instances of the associated class at program run time...
will use its parameters
Parameter (computer science)
In computer programming, a parameter is a special kind of variable, used in a subroutine to refer to one of the pieces of data provided as input to the subroutine. These pieces of data are called arguments...
. SAL annotations allow a programmer
Programmer
A programmer, computer programmer or coder is someone who writes computer software. The term computer programmer can refer to a specialist in one area of computer programming or to a generalist who writes code for many kinds of software. One who practices or professes a formal approach to...
to declare guaranteed characteristics of a parameter, such that they can be verified by the compiler
Compiler
A compiler is a computer program that transforms source code written in a programming language into another computer language...
at compile time.