diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-27 15:26:41 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-27 15:26:41 +0200 |
| commit | 4524c32c88a638a3c21922f195dea99a1128a979 (patch) | |
| tree | 7a737eaba503a57d564d46ca27e10de4512c885f /gcc/ada/lib-xref.ads | |
| parent | 9337aa0a75d5543b376718d8de61cb2120e9b767 (diff) | |
| download | gcc-4524c32c88a638a3c21922f195dea99a1128a979.zip gcc-4524c32c88a638a3c21922f195dea99a1128a979.tar.gz gcc-4524c32c88a638a3c21922f195dea99a1128a979.tar.bz2 | |
[multiple changes]
2009-07-27 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi: Update gnatcheck doc.
2009-07-27 Arnaud Charlet <charlet@adacore.com>
* lib-xref.ads: Allocate/document 'o' char for use by references to
spark 'own' variables.
From-SVN: r150112
Diffstat (limited to 'gcc/ada/lib-xref.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index b494454..2e9c8d2 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -177,6 +177,7 @@ package Lib.Xref is -- k = implicit reference to parent unit in child unit -- l = label on END line -- m = modification + -- o = own variable reference (SPARK only) -- p = primitive operation -- P = overriding primitive operation -- r = reference @@ -271,6 +272,10 @@ package Lib.Xref is -- graph construction). Again, in the case of an accept there -- can be multiple l lines. + -- o is used for variables referenced from a SPARK 'own' + -- definition. In the SPARK language, it is allowed to use a + -- variable before its actual declaration. + -- p is used to mark a primitive operation of the given entity. -- For example, if we have a type Tx, and a primitive operation -- Pq of this type, then an entry in the list of references to |