diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-27 14:39:30 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-27 14:39:30 +0100 |
| commit | 0309455b5035575ca19b1a6e23f8109db9e7797e (patch) | |
| tree | bf99c34f9ece05f590d7ed12388a614712bdbe45 /gcc/ada/lib-writ.ads | |
| parent | 95cb33a561ceaa41888f19f43e3f46d221543034 (diff) | |
| download | gcc-0309455b5035575ca19b1a6e23f8109db9e7797e.zip gcc-0309455b5035575ca19b1a6e23f8109db9e7797e.tar.gz gcc-0309455b5035575ca19b1a6e23f8109db9e7797e.tar.bz2 | |
[multiple changes]
2010-01-27 Vasiliy Fofanov <fofanov@adacore.com>
* g-regist.adb (For_Every_Key): Fix previous change.
2010-01-27 Thomas Quinot <quinot@adacore.com>
* lib-writ.ads: Current version of spec for new N (note) ALI lines
2010-01-27 Yannick Moy <moy@adacore.com>
* a-cdlili.adb (Insert): Correct exception message when cursor
designates wrong list.
From-SVN: r156284
Diffstat (limited to 'gcc/ada/lib-writ.ads')
| -rw-r--r-- | gcc/ada/lib-writ.ads | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ada/lib-writ.ads b/gcc/ada/lib-writ.ads index fa8af04..593442c 100644 --- a/gcc/ada/lib-writ.ads +++ b/gcc/ada/lib-writ.ads @@ -654,6 +654,40 @@ package Lib.Writ is -- The cross-reference data follows the dependency lines. See the spec of -- Lib.Xref for details on the format of this data. + -- -------------- + -- -- N Notes -- + -- -------------- + + -- The note lines record annotations inserted in source code for processing + -- by external tools using pragmas. For each occurrence of any of these + -- pragmas, a line is generated with the following syntax: + + -- N <dep>x<sloc> [<arg_id>:]<arg> ... + + -- x is one of: + -- A pragma Annotate + -- C pragma Comment + -- I pragma Ident + -- T pragma Title + -- S pragma Subtitle + + -- <dep> is the source file containing the pragma by its dependency index + -- (first D line has index 1) + -- <sloc> is the source location of the pragma + + -- Successive entries record the pragma_argument_associations. + + -- For a named association, the entry is prefixed with the pragma argument + -- identifier <arg_id> followed by a colon. + + -- <arg> represents the pragma argument, and has the following conventions: + + -- - identifiers are output verbatim + -- - static string expressions are output as literals encoded as for + -- L lines + -- - static integer expressions are output as decimal literals + -- - any other expression is replaced by the placeholder "<expr>" + --------------------------------- -- Source Coverage Obligations -- --------------------------------- |