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/14
Message-ID: <3379EEA5.664F@sprintmail.com>#1/1
X-Deja-AN: 241525407
References: <33779E0D.61F8@sprintmail.com> <3378BBD2.7BBA@this.message>
 <3379606E.413E@sprintmail.com> <5lcefp$riu$1@ash.ridgecrest.ca.us>
 <3379EC80.6C9B@sprintmail.com>
Reply-To: johnvolan@sprintmail.com
Newsgroups: comp.lang.ada
Date: 1997-05-14T00:00:00+00:00
List-Id: <comp.lang.ada>


John G. Volan wrote:
> 
>     function Get_Proper_Form    -- a kind of "abs" for angles
>       (Angle : in Angle_Type)
>        return Proper_Angle_Type;
                ^^^^^^^^^^^^^^^^^

Woops, I forgot that if I make Angle_Type private I lose the ability to
have visible constrained subtypes.  Should be:

      function Get_Proper_Form
        (Angle : in Angle_Type)
         return Angle_Type;

      function Is_Proper_Form   -- substitutes for 
        (Angle : in Angle_Type) -- subtype membership test
         return Boolean;

>   with Angles;
>   package Directions is
> 
>     type Direction_Type is new Angles.Proper_Angle_Type;
> 

Should be:

      type Direction_Type is new Angles.Angle_Type;

      function Is_Valid -- i.e., as a Direction
        (Direction : in Direction_Type)
         return Boolean
        renames Is_Proper_Form;

      function Get_Valid_Form -- i.e., for a Direction
        (Direction : in Direction_Type)
         return Direction_Type
        renames Get_Proper_Form;

      ...

------------------------------------------------------------------------
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? :-) ");
------------------------------------------------------------------------