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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!cmcl2!seismo!think!nike!cad!ucbvax!USC-ISI.ARPA!GOODENOUGH
From: GOODENOUGH@USC-ISI.ARPA (John B. Goodenough)
Newsgroups: net.lang.ada
Subject: Re: Validation on Embedded Systems
Message-ID: <8606040723.AA06576@ucbvax.Berkeley.EDU>
Date: Mon, 2-Jun-86 14:29:36 EDT
Article-I.D.: ucbvax.8606040723.AA06576
Posted: Mon Jun  2 14:29:36 1986
Date-Received: Thu, 5-Jun-86 19:23:14 EDT
References: <354@tolerant.UUCP>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

USE_ERROR can be raised when an attempt is made to create or open an
external file.  In particular, this exception can be raised when certain kinds
of file I/O are not supported at all by an implementation.  It can also be
argued that NAME_ERROR can be raised if no I/O operation is supported (see
14.4(1, 4, 5).  I believe that compilers for embedded targets have been
validated even though they raised NAME_ERROR or USE_ERROR when any attempt
was made to create or open a file.
-------