From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.5 required=3.0 tests=BAYES_05 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 5 May 93 16:13:37 GMT
From: cis.ohio-state.edu!pacific.mps.ohio-state.edu!zaphod.mps.ohio-state.edu!d
arwin.sura.net!sgiblab!munnari.oz.au!yoyo.aarnet.edu.au!news.adelaide.edu.au!us
enet@ucbvax.Berkeley.EDU  (Andrew Dunstan,,2285592,)
Subject: Tag values in 9X
Message-ID: <1s8p3h$sud@huon.itd.adelaide.edu.au>
List-Id: <comp.lang.ada>

The draft LRM for 9X says (14.6.4) "The value used to represent each
tag is determined at the time the corresponding type declaration is
compiled." 

I have a couple of questions about this.

Scenario 1. Jane creates some tagged types, writes them to a file
using stream io, and sends the file to Fred, with the message "Here
are the sources I used to create the file." Can Fred, using the same
architecture/compiler be guaranteed to read correctly the file he
receives from Jane? That is, will the same tag values be generated at
both ends?

Scenario 2. Linked libraries. On Day 1, Ann creates a library and
compiles into it the definition of the root of a class. Jack and Jill
are responsible for developing cooperating, communicating processes
in this project. On Day 2, Jack creates another library, links it with
Ann's and creates some more members of the original class. On Day 3
Jill does likewise. On Day 4, Ann puts some more members of the class
in her original library. Now, Jack wants to be able to deal with the
members of the class that he knows about, and Jill wants to be able to
deal with those she knows about. They both know about the ones Ann
made on Day 4. Can Jack write them so that Jill can read them?

I know this last seems a bit contrived, but not much. I also know that
the library is, from the language level, monolithic rather than
distributed spatially. Nevertheless, most implementations provide a
"structured" library mechanism overlying the language's, flat
mechanism, so this is not an idle question. How, in structured
libraries, will implementations ensure that tag values are unique and
consistent?

Just curious.


andrew

#  Andrew Dunstan                   #   There's nothing good or bad   #
#  net:                             #                                 #
#    adunstan@steptoe.adl.csa.oz.au #   but thinking makes it so.     #
#  or: andrewd@cs.adelaide.edu.au   #                                 #