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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,45a9122ddf5fcf5
X-Google-Attributes: gid103376,public
From: Samuel Tardieu <sam@ada.eu.org>
Subject: Re: Rules for Representation of Subtypes
Date: 1996/10/01
Message-ID: <qw6buemy9ea.fsf@gargantua.enst.fr>#1/1
X-Deja-AN: 186483626
sender: tardieu@gargantua.enst.fr
references: <DyCF97.7zp@world.std.com> <1996Sep26.191257.1@eisner>
 <DyEr6p.38H@world.std.com> <52hnvh$li0@wdl1.wdl.lmco.com>
 <DyKC85.Gqx@world.std.com> <1996Oct1.100608.1@eisner>
to: kilgallen@eisner.decus.org (Larry Kilgallen)
content-type: text/plain; charset=iso-8859-1
organization: TELECOM Paris
mime-version: 1.0
newsgroups: comp.lang.ada
Date: 1996-10-01T00:00:00+00:00
List-Id: <comp.lang.ada>


>>>>> "Larry" == Larry Kilgallen <kilgallen@eisner.decus.org> writes:

Larry> So can someone give an example of how Z'Valid _might_ be useful
Larry> after an unchecked conversion, as seems to be indicated by the
Larry> Reference Manual.

I don't think that the Valid attribute has been put in the language to
be used after an Unchecked_Conversion, but rather to be used after
calls to imported subprograms and calls to Read attributes (data
coming from a stream).

  Sam
-- 
  Samuel Tardieu -- sam@ada.eu.org