Source Annotation Language
- 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
* [http://msdn.microsoft.com/en-us/library/ms235402.aspx SAL Annotations: C Run-Time Library Reference]
* [http://blogs.msdn.com/michael_howard/archive/2006/05/19/602077.aspx A Brief Introduction to the Standard Annotation Language (SAL)]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Language deprivation experiments — have been attempted several times through history, isolating infants from the normal use of spoken or signed language in an attempt to discover the fundamental character of human nature or the origins of language. The American literary scholar… … Wikipedia
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 … Wikipedia
Annotation (Java) — Als Annotation wird im Zusammenhang mit der Programmiersprache Java ein Sprachelement bezeichnet, das die Einbindung von Metadaten in den Quelltext erlaubt. Dieses Element wurde im JSR 175 festgelegt und mit der Version Java 5.0 eingeführt.… … Deutsch Wikipedia
Annotation (Java) — Pour les articles homonymes, voir Annotation. En programmation, une annotation Java est une façon d ajouter des méta données à un code source Java. Elles peuvent être ajoutées aux classes, méthodes, attributs, paramètres, variables locales et… … Wikipédia en Français
Data Format Description Language — (DFDL, often pronounced daff o dil) is a modeling language from the Open Grid Forum for describing general text and binary data. A DFDL model or schema allows any text or binary data to be read (or parsed ) from its native format and to be… … Wikipedia
Java annotation — An annotation, in the Java computer programming language, is a special form of syntactic metadata that can be added to Java source code. [cite web|url = http://java.sun.com/j2se/1.5.0/docs/guide/language/annotations.html|title = JDK 5.0 Developer … Wikipedia
Haskell (programming language) — Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug … Wikipedia
Common Language Runtime — NET Framework Basisdaten Entwickler: Microsoft Aktuelle Version … Deutsch Wikipedia
Cat (programming language) — Infobox programming language name = Cat paradigm = multi paradigm: functional, stack oriented year = 2006 designer = [http://www.cat language.com Christopher Diggins] latest release version = 0.10.3 latest release date = April 3, 2007 typing =… … Wikipedia
Extensible Markup Language — Extension .xml Type MIME application/xml, text/xml Développé par … Wikipédia en Français
