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.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2078dddcdcd8d83
X-Google-Attributes: gid103376,public
From: "John G. Volan" <johnvolan@sprintmail.com>
Subject: Re: Warning: Religious naming convention discussion :-) [was: assign
 help!!]
Date: 1997/05/12
Message-ID: <33775A52.1910@sprintmail.com>#1/1
X-Deja-AN: 241111279
References: <5kjvcv$evt@news.cis.nctu.edu.tw> <5kn8ko$jcc@top.mitre.org>
 <1997May7.201035.2439@nosc.mil> <33727EEA.2092@sprintmail.com>
 <5kuf1j$17vi@uni.library.ucla.edu> <3373666A.31DFF4F5@spam.innocon.com>
 <3373EAB5.73A0@sprintmail.com> <33773A11.41C67EA6@spam.innocon.com>
Reply-To: johnvolan@sprintmail.com
Newsgroups: comp.lang.ada
Date: 1997-05-12T00:00:00+00:00
List-Id: <comp.lang.ada>


Jeff Carter wrote:
> 
>    type Error_Count is range ...
>    Num_Errors : Error_Count;

Nope, that's the synonym method, semantically uneconomical.

  type Num_Errors_Type is range ...;
  Num_Errors : Num_Errors_Type;

But I don't want to use plurals in type/object names, because I want to
reserve the plural form as my marker for a package.

>    type Error_Id is ...
>    Last_Error : Error_Id;

Nope, that's marking the object with a "specific" adjective. If "error"
is enough to convey the sense that it's an id and not a count, then why
not just dispense with "_id"?

  Last_Error : Error; -- marking the object vs. the type

But what would you do if you're in a context where you don't have any
convenient adjective for the situation? Resort to a default marker?
("The_"?) I say, mark the type and don't force programmers to mark the
objects. e.g., My scheme:

  procedure Display
    (Error : in Error_Type);  -- it' just some error you want displayed
                              -- not necessarily the last one

Your scheme (?):

  procedure Display
    (The_Error : in Error); -- marking the object vs. the type


------------------------------------------------------------------------
Internet.Usenet.Put_Signature 
  (Name => "John G. Volan",  Home_Email => "johnvolan@sprintmail.com",
   Slogan => "Ada95: The World's *FIRST* International-Standard OOPL",
   Disclaimer => "These opinions were never defined, so using them " & 
     "would be erroneous...or is that just nondeterministic now? :-) ");
------------------------------------------------------------------------