comp.lang.ada
 help / color / mirror / Atom feed
From: "Dan'l Miller" <optikos@verizon.net>
Subject: Re: What is the difference of "with null record" and "with private"?
Date: Fri, 23 May 2014 11:59:22 -0700 (PDT)
Date: 2014-05-23T11:59:22-07:00	[thread overview]
Message-ID: <244b1c7d-78c7-4015-9a72-4c325a50fdd8@googlegroups.com> (raw)
In-Reply-To: <llo3f0$mqp$1@speranza.aioe.org>

On Friday, May 23, 2014 1:19:16 PM UTC-5, Victor Porton wrote:
> What is the difference of "with null record" and "with private"?
> 
> 
> 
> Both denote a descendant of a type with no new additional public fields.

You will see the answer when you focus on why you yourself wrote the word "public" there.  I suspect that even you would suspect the falsehood of:  Both denote a descendant of a type with no additional fields.

> What is the difference and when one or another should be used?

  When the public view of a record is declared 'with null record', then that record has no additional fields--neither public nor private/encapsulated.  When the public view of the record is declared "with private" the record may optionally have additional private/encapsulated fields that are maintained safely by subprograms in that package.

> I see no difference.

That is because you are wearing the blinders of "public".  Look from the bigger picture of the 'private' vantage point to see what more can go on behind the curtain.

  parent reply	other threads:[~2014-05-23 18:59 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-05-23 18:19 What is the difference of "with null record" and "with private"? Victor Porton
2014-05-23 18:21 ` Victor Porton
2014-05-23 18:55   ` mockturtle
2014-05-23 19:42     ` Adam Beneschan
2014-05-23 22:05       ` Adam Beneschan
2014-05-24  8:19       ` mockturtle
2014-05-23 20:45     ` Georg Bauhaus
2014-05-23 18:59 ` Dan'l Miller [this message]
2014-05-23 21:45 ` Shark8
2014-05-24 10:49   ` Victor Porton
2014-05-24 17:33     ` Shark8
2014-05-23 21:55 ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox