From jj@ddci.dk Mon Feb 17 05:00:34 1997
Return-Path: <jj@ddci.dk>
Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4)
	id FAA17467; Mon, 17 Feb 1997 05:00:33 -0500
Received: from uucp.DK.net by ida.org (4.1/SMI-4.1)
	id AA03743; Mon, 17 Feb 97 05:00:50 EST
Received: from ddci (uucp@localhost) by uucp.DK.net (8.6.12/8.6.12) with UUCP id LAA00675; Mon, 17 Feb 1997 11:00:29 +0100
Received: from sparc7.ddci.dk by ddci.dk (4.1/j1.1.2)
	id AA20034; Mon, 17 Feb 97 09:27:23 +0100
Date: Mon, 17 Feb 97 09:27:23 +0100
Message-Id: <9702170827.AA20034@ddci.dk>
Received: by sparc7.ddci.dk (4.1/SMI-4.1)
	id AA11938; Mon, 17 Feb 97 09:25:56 +0100
From: Jesper Joergensen <jj@ddci.dk>
To: asis-comment@sw-eng.falls-church.va.us
Cc: colket@smtp-gw.spawar.navy.mil, roby@ida.org, jj@ddci.dk
Subject: ASIS ISO-doc comments, 2. batch
Content-Length: 2409
Status: OR

!topic Asis_Natural
!reference ASIS 95-3.2(1) line 16
!from Jesper Jørgensen 97-02-16
!discussion

For conformity with the corresponding Ada subtypes, Asis_Natural and
Asis_Positive should be defined using the last attribute rather than making
the upper bound implementation defined:

   subtype Asis_Natural is Asis_Integer range 0 .. Asis_Integer'Last;
   subtype Asis_Positive is Asis_Integer range 1 .. Asis_Integer'Last;