diff options
| author | bosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-11 22:11:45 +0000 |
|---|---|---|
| committer | bosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-11 22:11:45 +0000 |
| commit | c2b56224d60d27cd619e50d0a5250219ea251975 (patch) | |
| tree | 9a2ec6960caa6e0b10445d061c7f8838db87d84c /gcc/ada/lib-xref.ads | |
| parent | 57f302e522c72c1aa7848b435f7c890aadb437d7 (diff) | |
| download | gcc-c2b56224d60d27cd619e50d0a5250219ea251975.tar.gz | |
* einfo.ads: Minor reformatting
* exp_ch5.adb: Add comment for previous.change
* ali.adb: New interface for extended typeref stuff.
* ali.ads: New interface for typeref stuff.
* checks.adb (Apply_Alignment_Check): New procedure.
* debug.adb: Add -gnatdM for modified ALI output
* exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
* lib-xref.adb: Extend generation of <..> notation to cover
subtype/object types. Note that this is a complete rewrite,
getting rid of the very nasty quadratic algorithm previously
used for derived type output.
* lib-xref.ads: Extend description of <..> notation to cover
subtype/object types. Uses {..} for these other cases.
Also use (..) for pointer types.
* sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
* exp_pakd.adb: Minor reformatting. Note that prevous RH should say:
(Known_Aligned_Enough): Replaces Must_Be_Aligned.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@47896 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/lib-xref.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 39 |
1 files changed, 26 insertions, 13 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index d0d2c8ab36c..ea99c9642ca 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- $Revision: 1.31 $ +-- $Revision$ -- -- -- Copyright (C) 1998-2001, Free Software Foundation, Inc. -- -- -- @@ -56,7 +56,7 @@ package Lib.Xref is -- -- The lines following the header look like -- - -- line type col level entity ptype ref ref ref + -- line type col level entity typeref ref ref ref -- -- line is the line number of the referenced entity. It starts -- in column one. @@ -74,17 +74,30 @@ package Lib.Xref is -- entity is the name of the referenced entity, with casing in -- the canical casing for the source file where it is defined. -- - -- ptype is the parent's entity reference. This part is optional (it - -- is only set for derived types) and has the following format: - -- - -- < file | line type col > - -- - -- file is the dependency number of the file containing the - -- declaration of the parent type. This number and the following - -- vertical bar are omitted if the parent type is defined in the - -- same file as the derived type. The line, type, col are defined - -- as previously described, and give the location of the parent - -- type declaration in the referenced file. + -- typeref is the reference for the type. This part is optional. + -- It is present for the following cases: + -- + -- derived types (points to the parent type) LR=<> + -- access types (points to designated type) LR=() + -- subtypes (points to ancestor type) LR={} + -- functions (points to result type) LR={} + -- enumeration literals (points to enum type) LR={} + -- objects and components (points to type) LR={} + -- + -- In the above list LR shows the brackets used in the output, + -- which has one of the two following forms: + -- + -- L file | line type col R user entity + -- L name-in-lower-case R standard entity + -- + -- For the form for a user entity, file is the dependency number + -- of the file containing the declaration of the parent type. This + -- number and the following vertical bar are omitted if the relevant + -- type is defined in the same file as the current entity. The line, + -- type, col are defined as previously described, and specify the + -- location of the relevant type declaration in the referenced file. + -- For the standard entity form, the name between the brackets is + -- the normal name of the entity in lower case letters. -- -- There may be zero or more ref entries on each line -- |