diff options
author | Thomas Quinot <quinot@adacore.com> | 2007-08-14 10:46:43 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-08-14 10:46:43 +0200 |
commit | fe685905a168e93878f63b9de28052869f316980 (patch) | |
tree | 1cc9df8ab785afa7c1cd96482535ed9bdadb71fa /libjava/java/util/TreeMap$KeySet.h | |
parent | 401093c15c3902b916df85645c894ceb13aab701 (diff) | |
download | gcc-fe685905a168e93878f63b9de28052869f316980.zip gcc-fe685905a168e93878f63b9de28052869f316980.tar.gz gcc-fe685905a168e93878f63b9de28052869f316980.tar.bz2 |
sem_cat.ads, [...] (Has_Stream_Attribute_Definition): New formal At_Any_Place indicating...
2007-08-14 Thomas Quinot <quinot@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* sem_cat.ads, sem_cat.adb (Has_Stream_Attribute_Definition): New
formal At_Any_Place indicating, when True, that we want to test for
availability of the stream attribute at any place (as opposed to the
current visibility context only).
(Missing_Read_Write_Attributes): A stream attribute is missing for the
purpose of enforcing E.2.2(8) only if it is not available at any place.
Take into account the Ada2005 pragma Has_Preelaborable_Initialization
when checking the legality of an extension aggregate in a preelaborable
package. Treat the literal null as a valid default expression in a
component declaration for a type with preelaborable initialization.
A limited interface is a legal progenitor for the designated type of a
remote access to class-wide type.
From-SVN: r127445
Diffstat (limited to 'libjava/java/util/TreeMap$KeySet.h')
0 files changed, 0 insertions, 0 deletions