From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Why doesn't Ada allow user-defined attributes?
Date: Fri, 21 Jul 2017 08:14:44 +0100
Organization: A noiseless patient Spider
Message-ID: <ly8tjimfbv.fsf@pushface.org>
References: <f8aceb25-018f-4248-bc1b-d3a145108e93@googlegroups.com>
	<285d9efd-f9c7-48e6-aa1b-a851f57d3693@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="4f96c703ed4e94a5953f04a79d6c9f15";
	logging-data="26274"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19w4D0lP+jk9UoLxPRCRrrdxLW2ehPJ7fI="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.2 (darwin)
Cancel-Lock: sha1:jd5dDikvyaQNuvUXI8P/PX96MzM=
	sha1:th7aXz6c68WCWmLDrnh+okKU5R4=
Xref: news.eternal-september.org comp.lang.ada:47485
Date: 2017-07-21T08:14:44+01:00
List-Id: <comp.lang.ada>

Matt Borchers <mattborchers@gmail.com> writes:

> I'm a little bit disappointed that when you do overload the 'Read,
> 'Write, 'Input, and 'Output attributes on a tagged type that the
> functions have to be visible in the package specification giving the
> user of the package the option to use the attributes or just call the
> functions themselves.  This seems unfortunate since it gives the user
> the ability to be inconsistent.  If this is not true, please let me
> know.

They can be in the private part. For example, see the end of this from
the Booch Components:

https://sourceforge.net/p/booch95/code/ci/default/tree/src/bc-support-bounded.ads