diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-08 15:23:25 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-08 15:23:25 +0000 |
| commit | fc75802adc763956992cceb1c25ca375f96975f6 (patch) | |
| tree | 8eb92b7458d7ee0184d5e855ea6ed73771a7a43a /gcc/ada/vms_data.ads | |
| parent | c429965c31b279c1b03bdfdcae996983cf06632e (diff) | |
| download | gcc-fc75802adc763956992cceb1c25ca375f96975f6.tar.gz | |
2009-04-08 Thomas Quinot <quinot@adacore.com>
* checks.adb: Minor reformatting
2009-04-08 Vincent Celier <celier@adacore.com>
* vms_data.ads: Add documentation for new style keyword
OVERRIDING_INDICATORS
2009-04-08 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the
spec is in the current unit.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145749 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/vms_data.ads')
| -rw-r--r-- | gcc/ada/vms_data.ads | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gcc/ada/vms_data.ads b/gcc/ada/vms_data.ads index 91f7647a411..c6579f1cc28 100644 --- a/gcc/ada/vms_data.ads +++ b/gcc/ada/vms_data.ads @@ -2242,10 +2242,12 @@ package VMS_Data is "-gnaty-n " & "ORDERED_SUBPROGRAMS " & "-gnatyo " & - "OVERRIDING_INDICATORS " & - "-gnatyO " & "NOORDERED_SUBPROGRAMS " & "-gnaty-o " & + "OVERRIDING_INDICATORS " & + "-gnatyO " & + "NOOVERRIDING_INDICATORS " & + "-gnaty-O " & "PRAGMA " & "-gnatyp " & "NOPRAGMA " & @@ -2485,6 +2487,12 @@ package VMS_Data is -- in the ordering (e.g. Junk2 comes before -- Junk10). -- + -- OVERRIDING_INDICATORS Check that overriding subprograms are + -- explicitly marked as such. The declaration of + -- a primitive operation of a type extension that + -- overrides an inherited operation must carry + -- an overriding indicator. + -- -- PRAGMA Check pragma casing. -- Pragma names must be written in mixed case, -- that is, the initial letter and any letter |