comp.lang.ada
 help / color / mirror / Atom feed
From: "chris.danx" <chris.danx@ntlworld.com>
Subject: Re: Style: always declare subrountines?
Date: Sat, 09 Nov 2002 16:28:16 +0000
Date: 2002-11-09T16:28:16+00:00	[thread overview]
Message-ID: <LJaz9.240$fX5.1168@news13-win.server.ntlworld.com> (raw)
In-Reply-To: <3dccc023$0$304$bed64819@news.gradwell.net>

Victor Porton wrote:

 > How do you consider this:
 >
 > If one would always declare every subrountine of a package body in the
 > specification (in the public or in the private part) this excludes the
 > possibility that one may mistakedly create an internal subrountine
 > with the same specification as a not yet implemented public procedure
 > and forget to implement this public procedure and so get wrong program
 > behavior.


I don't see the problem, surely you would have to put the public
routines code in the body and therefore be aware of the naming of the
public routines?

 >
 > Stylistic checkers for always declaring in package specification?


I almost never do this.  I only put the interface routines in the spec
and put auxilliary routines in the body only.  This helps separate as
much as possible the implementation and the specification.  As always
there is an exception to this.  Whenever I have a controlled or
limited_controlled type, I like to put the adjust, initialize and
finalize routine declarations in the private section of the spec.  Just
a preference


I'd often like to completely separate the interface and specification
almost entirely, but that's not possible in Ada.  In fact I don't know a
language in which it is possible to do this.  It's probably a concession
to compilers or something where they have to know the implementation
details of a private type to know what they're doing, or to make it
easier for them.  It's not a big deal though!


Danx
-- 
for personal replies change spamoff to chris




  parent reply	other threads:[~2002-11-09 16:28 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-11-09  6:39 Style: always declare subrountines? Victor Porton
2002-11-09 11:09 ` sk
2002-11-09 12:34 ` Victor Porton
2002-11-09 14:34   ` Jim Rogers
2002-11-09 14:53   ` sk
2002-11-09 15:36 ` Robert A Duff
2002-11-09 16:16 ` Frank J. Lhota
2002-11-09 16:28 ` chris.danx [this message]
2002-11-09 18:36 ` Simon Wright
2002-11-12 17:31 ` Stephen Leake
2002-11-18  1:52 ` ;Re: " Richard Riehle
2002-11-28 10:32   ` John English
2002-11-28 12:52     ` Lutz Donnerhacke
2002-12-03 11:15       ` John English
2002-12-03 12:22         ` Lutz Donnerhacke
2002-12-03 13:11           ` John English
2002-12-03 14:31             ` Robert A Duff
2002-12-03 14:41               ` Lutz Donnerhacke
2002-11-28 17:49     ` Vincent Marciante
2002-12-03 11:09       ` John English
2002-11-28 18:45     ` "private with" proposal Vincent Marciante
2002-11-28 20:12       ` David C. Hoos, Sr.
2002-11-29  4:28         ` Vincent Marciante
2002-12-01  1:00           ` Dale Stanbrough
2002-12-02 18:20       ` Stephen Leake
2002-12-03  5:37         ` Vincent Marciante
2002-12-03 19:24           ` Randy Brukardt
2002-12-04  3:52             ` Vincent Marciante
replies disabled

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