Thanks Guys: Re: Predefined Packages

Thanks Guys: Re: Predefined Packages

[anon]

Thanks for the info. I knew that Gnat had too many packages with in 
it structure.

   And after finding a number of packages in GNAT that initially do not 
work.  An example is the "System.Partition_Interface" or files
"s-parint.adb" and "s-parint.ads" which should allow one to read the 
partitioning tables but GNAT says this is a dummy package unless 
you download another of its many software packages that contains 
an replacement package. Why include this package in the first place 
just include it in the extra software package only.  So I decide to ask 
the question.

  Again Thanks guys!

Re: Thanks Guys: Re: Predefined Packages

[Pascal Obry]

anon a �crit :
>    And after finding a number of packages in GNAT that initially do not 
> work.  An example is the "System.Partition_Interface" or files
> "s-parint.adb" and "s-parint.ads" which should allow one to read the 
> partitioning tables but GNAT says this is a dummy package unless 
> you download another of its many software packages that contains 
> an replacement package. Why include this package in the first place 
> just include it in the extra software package only.  So I decide to ask 
> the question.

Just for completeness of the runtime system. This is a common practice.
You provide the API, the runtime use it but the default implementation
is empty, doing nothing. The secondary package GLADE in this case will
add support for the distributed annex (Annex-E) and will so provide
proper implementation for this API. Frankly I don't see what puzzle you...

Pascal.

PS: BTW you are still posting anonymously, you don't even sign your
messages, this is not good netiquette. At least consider signing your
message with your first name!

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595

Re: Thanks Guys: Re: Predefined Packages

[Gene]

On Jun 15, 5:28 am, a...@anon.org (anon) wrote:
> Thanks for the info. I knew that Gnat had too many packages with in
> it structure.
>
>    And after finding a number of packages in GNAT that initially do not
> work.  An example is the "System.Partition_Interface" or files
> "s-parint.adb" and "s-parint.ads" which should allow one to read the
> partitioning tables but GNAT says this is a dummy package unless
> you download another of its many software packages that contains
> an replacement package. Why include this package in the first place
> just include it in the extra software package only.  So I decide to ask
> the question.


Hard to tell from what you wrote here.  I seem to be missing the first
part of the conversation.

Anyway, Partition_Interface is about Ada Annex E partitions in
distributed systems.  It would be pretty useless to have the
functional version if your system isn't configured with Annex E (i.e.
Glade).  Glade is available.  If you want to check it out, go get it.
Perhaps you're thinking this package has something to do with disk
partitions?  This isn't the case.

Other library stubs are there for similar reasons.

Having the functional code in the libarary would be pure bloat.
Having stubs can be useful.  For example, you can compile and run some
Annex E code on a machine without Annex E.

I agree that the existence of the stubs is not well-documented.  A
compiler warning would be nice.

Yes the GNAT package structure is fine-grained, but I diagree that the
system has "too many packages."  The packages are for the most part
nicely aligned with the objects or logical constructs they handle
(i.e. sections of the ALRM).  If you have a reasonable environment,
the number and size of packages ought not to be worth worrying about.

Re: Thanks Guys: Re: Predefined Packages

[tzpsky]

On Jun 15, 5:28 pm, a...@anon.org (anon) wrote:
> Thanks for the info. I knew that Gnat had too many packages with in
> it structure.
>
>    And after finding a number of packages in GNAT that initially do not
> work.  An example is the "System.Partition_Interface" or files
> "s-parint.adb" and "s-parint.ads" which should allow one to read the
> partitioning tables but GNAT says this is a dummy package unless
> you download another of its many software packages that contains
> an replacement package. Why include this package in the first place
> just include it in the extra software package only.  So I decide to ask
> the question.
>
>   Again Thanks guys!

<a href="http://www.usfine.com/eve-online-c-46.html">EVE Online ISK</
a>
<a href="http://www.usfine.com/eve-online-c-46.html">EVE ISK</a>
<a href="http://www.usfine.com/eve-online-c-46.html">Buy EVE Online
ISK</a>
<a href="http://www.usfine.com/eve-online-c-46.html">Buy EVE ISK</a>
<a href="http://www.usfine.com/eve-online-c-46.html">Cheap EVE Online
ISK</a>
<a href="http://www.usfine.com/runescape-c-68.html">Runescape Gold</a>
<a href="http://www.usfine.com/runescape-c-68.html">Runescape Money</
a>
<a href="http://www.usfine.com/runescape-c-68.html">Buy Runescape
Money</a>
<a href="http://www.usfine.com/runescape-c-68.html">Cheap Runescape
Money</a>
<a href="http://www.usfine.com/runescape-c-68.html">RS Gold</a>
<a href="http://www.usfine.com/runescape-c-68.html">RS Money</a>
<a href="http://www.usfine.com/runescape-c-68.html">Buy Runescape
Gold</a>
<a href="http://www.usfine.com/runescape-c-68.html">Cheap Runescape
Gold</a>
<a href="http://www.usfine.com/world-of-warcraft-usa-c-51.html">WoW
Gold</a>
<a href="http://www.usfine.com/world-of-warcraft-usa-c-51.html">Buy
WoW Gold</a>
<a href="http://www.usfine.com/world-of-warcraft-usa-c-51.html">Cheap
WoW Gold</a>
<a href="http://www.usfine.com/world-of-warcraft-usa-c-51.html">World
of Warcraft Gold</a>
<a href="http://www.usfine.com/world-of-warcraft-usa-
c-51.html">Warcraft Gold</a>
<a href="http://www.usfine.com/lineage-ii-c-4.html">Lineage II adena</
a>
<a href="http://www.usfine.com/lineage-ii-c-4.html">Lineage 2 adena</
a>
<a href="http://www.usfine.com/lineage-ii-c-4.html">Buy Lineage 2
adena</a>
<a href="http://www.usfine.com/lineage-ii-c-4.html">Buy Lineage II
adena</a>
<a href="http://www.usfine.com/lineage-ii-c-4.html">Cheap Lineage II
adena</a>
<a href="http://www.usfine.com/lineage-ii-c-4.html">Lineage II Gold</
a>
<a href="http://www.usfine.com/maple-story-c-71.html">Maple Story
Mesos</a>
<a href="http://www.usfine.com/maple-story-c-71.html">MapleStory
Mesos</a>
<a href="http://www.usfine.com/maple-story-c-71.html">Buy Maple Story
Mesos</a>
<a href="http://www.usfine.com/maple-story-c-71.html">Cheap Maple
Story Mesos</a>
<a href="http://www.usfine.com/everquest-ii-c-3.html">Everquest II
Plat</a>
<a href="http://www.usfine.com/everquest-ii-c-3.html">Everquest II
Gold</a>
<a href="http://www.usfine.com/everquest-ii-c-3.html">Buy Everquest II
Gold</a>
<a href="http://www.usfine.com/everquest-ii-c-3.html">Buy Everquest II
Plat</a>
<a href="http://www.usfine.com/everquest-ii-c-3.html">Everquest 2
Plat</a>
<a href="http://www.usfine.com/everquest-ii-c-3.html">Everquest 2
Gold</a>
<a href="http://www.usfine.com/gaia-online-c-101.html">Gaia Online
Gold</a>
<a href="http://www.usfine.com/gaia-online-c-101.html">Gaia Gold</a>
<a href="http://www.usfine.com/gaia-online-c-101.html">Buy Gaia Gold</
a>
<a href="http://www.usfine.com/gaia-online-c-101.html">Buy Gaia Online
Gold</a>
<a href="http://www.usfine.com/gaia-online-c-101.html">Cheap Gaia
Gold</a>
<a href="http://www.usfine.com/final-fantasy-xi-c-7.html">FFXI Gil</a>
<a href="http://www.usfine.com/final-fantasy-xi-c-7.html">Cheap FFXI
Gil</a>
<a href="http://www.usfine.com/final-fantasy-xi-c-7.html">Buy FFXI
Gil</a>
<a href="http://www.usfine.com/final-fantasy-xi-c-7.html">Final
Fantasy XI Gil</a>
<a href="http://www.usfine.com/silkroad-online-c-8.html">SilkRoad
Online Gold</a>
<a href="http://www.usfine.com/silkroad-online-c-8.html">SilkRoad
Gold</a>
<a href="http://www.usfine.com/silkroad-online-c-8.html">Buy SilkRoad
Gold</a>
<a href="http://www.usfine.com/silkroad-online-c-8.html">Cheap
SilkRoad Gold</a>
<a href="http://www.usfine.com/silkroad-online-c-8.html">Buy SilkRoad
Online Gold</a>
<a href="http://www.usfine.com/silkroad-online-c-8.html">Cheap
SilkRoad Online Gold</a>
<a href="http://www.usfine.com/world-of-warcraft-us-pl-c-53.html">WoW
Powerleveling</a>
<a href="http://www.usfine.com/world-of-warcraft-us-pl-c-53.html">WoW
Power leveling</a>
<a href="http://www.usfine.com/world-of-warcraft-us-pl-c-53.html">Buy
WoW Power leveling</a>
<a href="http://www.usfine.com/world-of-warcraft-us-pl-c-53.html">Buy
WoW Powerleveling</a>
<a href="http://www.usfine.com/world-of-warcraft-us-pl-
c-53.html">Cheap WoW Powerleveling</a>
<a href="http://www.usfine.com/lord-of-the-rings-online-us-
c-93.html">Lotro Gold</a>
<a href="http://www.usfine.com/lord-of-the-rings-online-us-
c-93.html">Buy Lotro Gold</a>
<a href="http://www.usfine.com/lord-of-the-rings-online-us-
c-93.html">Cheap Lotro Gold</a>
<a href="http://www.usfine.com/runescape-powerleveling-
c-90.html">Runescape Powerleveling</a>
<a href="http://www.usfine.com/runescape-powerleveling-c-90.html">Buy
Runescape Powerleveling</a>
<a href="http://www.usfine.com/lord-of-the-rings-online-pl-
c-99.html">Lotro Powerleveling</a>
<a href="http://www.usfine.com/lord-of-the-rings-online-pl-
c-99.html">Buy Lotro Powerleveling</a>
<a href="http://www.usfine.com/lineage-2-powerleveling-
c-97.html">Lineage 2 Powerleveling</a>
<a href="http://www.usfine.com/lineage-2-powerleveling-
c-97.html">LineageII Powerleveling</a>
<a href="http://www.usfine.com/vanguardsaga-of-heroes-
c-78.html">Vanguard saga of heroes Gold</a>
<a href="http://www.usfine.com/vanguardsaga-of-heroes-
c-78.html">Vanguard Gold</a>
<a href="http://www.usfine.com/vanguardsaga-of-heroes-c-78.html">Buy
Vanguard Gold</a>
<a href="http://www.usfine.com/vanguardsaga-of-heroes-c-78.html">Cheap
Vanguard Gold</a>