Module Stores

From: H. v. L. <"H.>
Date: Sun, 22 Aug 2004 20:37:12 +0200

----boundary-LibPST-iamunique-1021017917_-_-
Content-type: text/plain

Hello,
In the Documentation of Module Stores I found the following slightly
confusing explanation:

The procedures Join and InitDomain specify the following pre and post
conditions.

        PROCEDURE Join (s1, s2: Store)
                PRE 20 s0 # NIL
                PRE 21 s1 # NIL
                PRE 22 s0.Domain() = NIL OR s1.Domain() = NIL OR s0.Domain() =
s1.Domain()
                POST Joined(s1, s2)

Do I understand this as a textual error in the documentation that is, the
conditions

                PRE 20 s0 # NIL
                PRE 21 s1 # NIL

should read

                PRE 20 s1 # NIL
                PRE 21 s2 # NIL

or is there some secret meaning behind this I do not understand?

Thanks for help

H. v. Lavergne
--------------------------------------------

To unsubscribe from this mailing list, send a message containing the word "unsubscribe" to:
   blackbox-request{([at]})nowhere.xy

To get a list of valid e-mail commands and instructions on their usage, send a message containing the word "help" to the above address.

Send any problem reports or questions related to this email list to the list owner at
   owner-blackbox{([at]})nowhere.xy

Current posting policy:

a) To post you should use the same address by which you are subscribed to the mailing list. That way, the list server will recognize you as subscriber and forward your posting immediately, without creating any overhead.

b) If, for some reason, you cannot post from the address, by which you are subscribed, your message will be moderated to avoid spam. Please understand that moderation will often cause some delay, in particular over weekends or holydays.


----boundary-LibPST-iamunique-1021017917_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEhlbGxvLFxwYXINCkluIHRoZSBEb2N1bWVudGF0
aW9uIG9mIE1vZHVsZSBTdG9yZXMgSSBmb3VuZCB0aGUgZm9sbG93aW5nIHNsaWdodGx5ICBccGFy
DQpjb25mdXNpbmcgZXhwbGFuYXRpb246XHBhcg0KXHBhcg0KVGhlIHByb2NlZHVyZXMgSm9pbiBh
bmQgSW5pdERvbWFpbiBzcGVjaWZ5IHRoZSBmb2xsb3dpbmcgcHJlIGFuZCBwb3N0ICBccGFyDQpj
b25kaXRpb25zLlxwYXINClxwYXINClx0YWIgUFJPQ0VEVVJFIEpvaW4gKHMxLCBzMjogU3RvcmUp
XHBhcg0KXHRhYiBcdGFiIFBSRSAyMFx0YWIgczAgIyBOSUxccGFyDQpcdGFiIFx0YWIgUFJFIDIx
XHRhYiBzMSAjIE5JTFxwYXINClx0YWIgXHRhYiBQUkUgMjJcdGFiIHMwLkRvbWFpbigpID0gTklM
IE9SIHMxLkRvbWFpbigpID0gTklMIE9SIHMwLkRvbWFpbigpID0gIFxwYXINCnMxLkRvbWFpbigp
XHBhcg0KXHRhYiBcdGFiIFBPU1RcdGFiIEpvaW5lZChzMSwgczIpXHBhcg0KXHBhcg0KRG8gSSB1
bmRlcnN0YW5kIHRoaXMgYXMgYSB0ZXh0dWFsIGVycm9yIGluIHRoZSBkb2N1bWVudGF0aW9uIHRo
YXQgaXMsIHRoZSAgXHBhcg0KY29uZGl0aW9uc1xwYXINClxwYXINClx0YWIgXHRhYiBQUkUgMjBc
dGFiIHMwICMgTklMXHBhcg0KXHRhYiBcdGFiIFBSRSAyMVx0YWIgczEgIyBOSUxccGFyDQpccGFy
DQpzaG91bGQgcmVhZFxwYXINClxwYXINClx0YWIgXHRhYiBQUkUgMjBcdGFiIHMxICMgTklMXHBh
cg0KXHRhYiBcdGFiIFBSRSAyMVx0YWIgczIgIyBOSUxccGFyDQpccGFyDQpvciBpcyB0aGVyZSBz
b21lIHNlY3JldCBtZWFuaW5nIGJlaGluZCB0aGlzIEkgZG8gbm90IHVuZGVyc3RhbmQ/XHBhcg0K
XHBhcg0KVGhhbmtzIGZvciBoZWxwXHBhcg0KXHBhcg0KSC4gdi4gTGF2ZXJnbmVccGFyDQotLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLVxwYXINClxwYXINClRvIHVu
c3Vic2NyaWJlIGZyb20gdGhpcyBtYWlsaW5nIGxpc3QsIHNlbmQgYSBtZXNzYWdlIGNvbnRhaW5p
bmcgdGhlIHdvcmQgInVuc3Vic2NyaWJlIiB0bzpccGFyDQogICBibGFja2JveC1yZXF1ZXN0QG9i
ZXJvbi5jaFxwYXINClxwYXINClRvIGdldCBhIGxpc3Qgb2YgdmFsaWQgZS1tYWlsIGNvbW1hbmRz
IGFuZCBpbnN0cnVjdGlvbnMgb24gdGhlaXIgdXNhZ2UsIHNlbmQgYSBtZXNzYWdlIGNvbnRhaW5p
bmcgdGhlIHdvcmQgImhlbHAiIHRvIHRoZSBhYm92ZSBhZGRyZXNzLlxwYXINClxwYXINClNlbmQg
YW55IHByb2JsZW0gcmVwb3J0cyBvciBxdWVzdGlvbnMgcmVsYXRlZCB0byB0aGlzIGVtYWlsIGxp
c3QgdG8gdGhlIGxpc3Qgb3duZXIgYXRccGFyDQogICBvd25lci1ibGFja2JveEBvYmVyb24uY2hc
cGFyDQpccGFyDQpDdXJyZW50IHBvc3RpbmcgcG9saWN5OlxwYXINClxwYXINCmEpIFRvIHBvc3Qg
eW91IHNob3VsZCB1c2UgdGhlIHNhbWUgYWRkcmVzcyBieSB3aGljaCB5b3UgYXJlIHN1YnNjcmli
ZWQgdG8gdGhlIG1haWxpbmcgbGlzdC4gVGhhdCB3YXksIHRoZSBsaXN0IHNlcnZlciB3aWxsIHJl
Y29nbml6ZSB5b3UgYXMgc3Vic2NyaWJlciBhbmQgZm9yd2FyZCB5b3VyIHBvc3RpbmcgaW1tZWRp
YXRlbHksIHdpdGhvdXQgY3JlYXRpbmcgYW55IG92ZXJoZWFkLlxwYXINClxwYXINCmIpIElmLCBm
b3Igc29tZSByZWFzb24sIHlvdSBjYW5ub3QgcG9zdCBmcm9tIHRoZSBhZGRyZXNzLCBieSB3aGlj
aCB5b3UgYXJlIHN1YnNjcmliZWQsIHlvdXIgbWVzc2FnZSB3aWxsIGJlIG1vZGVyYXRlZCB0byBh
dm9pZCBzcGFtLiBQbGVhc2UgdW5kZXJzdGFuZCB0aGF0IG1vZGVyYXRpb24gd2lsbCBvZnRlbiBj
YXVzZSBzb21lIGRlbGF5LCBpbiBwYXJ0aWN1bGFyIG92ZXIgd2Vla2VuZHMgb3IgaG9seWRheX19
AG1lbnRhdA=


----boundary-LibPST-iamunique-1021017917_-_---
Received on Sun Aug 22 2004 - 20:37:12 UTC