TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To:
"Team Ada Mail List (E-mail)" <[log in to unmask]>
Date:
Mon, 15 Nov 1999 10:33:19 -0500
Reply-To:
Subject:
From:
Mike Smith <[log in to unmask]>
Content-Transfer-Encoding:
7bit
Content-Type:
text/plain; charset="us-ascii"
Organization:
amecom
MIME-Version:
1.0
Parts/Attachments:
text/plain (19 lines)
Hi all,

I'd appreciate your help in answering the following question:

Is it unsafe to rename a type using an unconstrained subtype?

I've read in Barnes 2nd Ed (page 333) that range checking is disabled for
unconstrained subtypes, so this would seem to imply that only constrained
subtypes are really safe.  I'm primarily interested in where, if at all, a
range check would occur.  My first assumption was that a check would occur
if an object of that subtype was passed as a parameter, but Barnes' example
would seem to rule that out.

If I must use a constrained subtype, then so be it, but I'll miss the
convenience of leaving off the seemingly redundant constraint.

Thanks,
Mike

ATOM RSS1 RSS2