Techniques and tools for implementing a source code annotation language
are described. In one aspect, keywords are added to a function interface
to define a contract for the function independent of function call
context. In another aspect, annotations are inserted at global variables,
formal parameters, return values, or user-defined types. The annotations
include, for example, properties and qualifiers. A property can indicate,
for example, a characteristic of a buffer. In another aspect, an
annotation indicates that a value has usability properties sufficient to
allow a function to rely on the value, where the usability properties
depend on value type.
Οι τεχνικές και τα εργαλεία για μια γλώσσα σχολιασμών κώδικα πηγής περιγράφονται. Σε μια πτυχή, οι λέξεις κλειδιά προστίθενται σε μια διεπαφή λειτουργίας για να καθορίσουν μια σύμβαση για τον ανεξάρτητο λειτουργίας του πλαισίου κλήσης λειτουργίας. Σε μια άλλη πτυχή, οι σχολιασμοί παρεμβάλλονται στις σφαιρικές μεταβλητές, τις επίσημες παραμέτρους, τις επιστροφής τιμές, ή τους καθορισμένους από το χρήστη τύπους. Οι σχολιασμοί περιλαμβάνουν, παραδείγματος χάριν, τις ιδιότητες και τους χαρακτηριστές. Μια ιδιοκτησία μπορεί να δείξει, παραδείγματος χάριν, ένα χαρακτηριστικό ενός απομονωτή. Σε μια άλλη πτυχή, ένας σχολιασμός δείχνει ότι μια αξία έχει τις ιδιότητες δυνατότητας χρησιμοποίησης επαρκείς για να επιτρέψουν σε μια λειτουργία για να στηριχθεί στην αξία, όπου οι ιδιότητες δυνατότητας χρησιμοποίησης εξαρτώνται από τον τύπο αξίας.
