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,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c7ea1cb7a2beb2ee
X-Google-Attributes: gid103376,public
From: "Nick Roberts" <nickroberts@callnetuk.com>
Subject: Re: Disallowing Pre-Defined Operations
Date: 2000/03/14
Message-ID: <38ce8e44@eeyore.callnetuk.com>#1/1
X-Deja-AN: 597454020
References: <8a9eeg$qtv$1@newpoisson.nosc.mil>
X-Original-NNTP-Posting-Host: da129d215.dialup.callnetuk.com
X-Trace: 14 Mar 2000 19:08:52 GMT, da129d215.dialup.callnetuk.com
X-MSMail-Priority: Normal
X-Priority: 3
Newsgroups: comp.lang.ada
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600
Date: 2000-03-14T00:00:00+00:00
List-Id: <comp.lang.ada>

I think you've answered your own question: you SHOULD use private types for
Time_Type and Delta_Time_Type. That way, not only do you get the control
over operations that you need, you also get an explicit statement of unit
for all your literals!  E.g., T+15.0 is poor software engineering compared
to T+Seconds(15.0), although you might prefer T+Duration(15.0) at a pinch.

--
Nick Roberts
http://www.adapower.com/lab/adaos

"Charles H. Sampson" <claveman@cod.nosc.mil> wrote in message
news:8a9eeg$qtv$1@newpoisson.nosc.mil...

>      During the deliberations that led to Ada 95, was a mechanism for
> disallowing the pre-defined operations of a type considered?
> ...