Re: [BLACKBOX] IN Parameters - Making the design more regular

From: Campbell, Robert (SELEX GALILEO, UK) <"Campbell,>
Date: Thu, 31 Jan 2008 08:34:20 -0000

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

Hi Chris and All,


MODULE Horrible;

VAR
  globalX : INTEGER;

PROCEDURE Q (localX : INTEGER);
  BEGIN
    globalX := 5;
  END Q;

PROCEDURE P (??? x : INTEGER);
  BEGIN
    Q (x)
(* What is x ? *)
  END P;

BEGIN
  globalX := 5;
  P (globalX)
END Horrible.



I think the value of x depends on whether ??? asks
for pass-by-value or pass-by-reference.

If so, to make the language predictable and repeatable,
the report would need to clearly state if ??? = IN implies
pass-by-value or pass-by-reference.

If some types are one, and some the other, does this increase
regularity?

Or maybe I have still lost the plot?

Robert


SELEX Sensors and Airborne Systems Limited
Registered Office: Sigma House, Christopher Martin Road, Basildon, Essex SS14 3EL
A company registered in England & Wales. Company no. 02426132
********************************************************************
This email and any attachments are confidential to the intended
recipient and may also be privileged. If you are not the intended
recipient please delete it from your system and notify the sender.
You should not copy it or use it for any purpose nor disclose or
distribute its contents to any other person.
********************************************************************

----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-1286235452_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEhpIENocmlzIGFuZCBBbGwsXHBhcg0KXHBhcg0K
XHBhcg0KTU9EVUxFICBIb3JyaWJsZTtccGFyDQpccGFyDQpWQVJccGFyDQogIGdsb2JhbFggOiBJ
TlRFR0VSO1xwYXINClxwYXINClBST0NFRFVSRSBRIChsb2NhbFggOiBJTlRFR0VSKTtccGFyDQog
IEJFR0lOXHBhcg0KICAgIGdsb2JhbFggIDo9ICA1O1xwYXINCiAgRU5EICBRO1xwYXINClxwYXIN
ClBST0NFRFVSRSBQICg/Pz8geCA6IElOVEVHRVIpO1xwYXINCiAgQkVHSU5ccGFyDQogICAgUSAo
eClccGFyDQooKiAgV2hhdCBpcyB4ID8gICopXHBhcg0KICBFTkQgIFA7XHBhcg0KXHBhcg0KQkVH
SU5ccGFyDQogIGdsb2JhbFggIDo9ICA1O1xwYXINCiAgUCAoZ2xvYmFsWClccGFyDQpFTkQgIEhv
cnJpYmxlLlxwYXINClxwYXINClxwYXINClxwYXINCkkgdGhpbmsgdGhlIHZhbHVlIG9mIHggZGVw
ZW5kcyBvbiB3aGV0aGVyID8/PyBhc2tzXHBhcg0KZm9yIHBhc3MtYnktdmFsdWUgb3IgcGFzcy1i
eS1yZWZlcmVuY2UuXHBhcg0KXHBhcg0KSWYgc28sIHRvIG1ha2UgdGhlIGxhbmd1YWdlIHByZWRp
Y3RhYmxlIGFuZCByZXBlYXRhYmxlLFxwYXINCnRoZSByZXBvcnQgd291bGQgbmVlZCB0byBjbGVh
cmx5IHN0YXRlIGlmID8/PyA9IElOIGltcGxpZXNccGFyDQpwYXNzLWJ5LXZhbHVlIG9yIHBhc3Mt
YnktcmVmZXJlbmNlLlxwYXINClxwYXINCklmIHNvbWUgdHlwZXMgYXJlIG9uZSwgYW5kIHNvbWUg
dGhlIG90aGVyLCBkb2VzIHRoaXMgaW5jcmVhc2VccGFyDQpyZWd1bGFyaXR5P1xwYXINClxwYXIN
Ck9yIG1heWJlIEkgaGF2ZSBzdGlsbCBsb3N0IHRoZSBwbG90P1xwYXINClxwYXINClJvYmVydFxw
YXINClxwYXINClxwYXINClNFTEVYIFNlbnNvcnMgYW5kIEFpcmJvcm5lIFN5c3RlbXMgTGltaXRl
ZFxwYXINClJlZ2lzdGVyZWQgT2ZmaWNlOiBTaWdtYSBIb3VzZSwgQ2hyaXN0b3BoZXIgTWFydGlu
IFJvYWQsIEJhc2lsZG9uLCBFc3NleCBTUzE0IDNFTFxwYXINCkEgY29tcGFueSByZWdpc3RlcmVk
IGluIEVuZ2xhbmQgJiBXYWxlcy4gIENvbXBhbnkgbm8uIDAyNDI2MTMyXHBhcg0KKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq
KipccGFyDQpUaGlzIGVtYWlsIGFuZCBhbnkgYXR0YWNobWVudHMgYXJlIGNvbmZpZGVudGlhbCB0
byB0aGUgaW50ZW5kZWRccGFyDQpyZWNpcGllbnQgYW5kIG1heSBhbHNvIGJlIHByaXZpbGVnZWQu
IElmIHlvdSBhcmUgbm90IHRoZSBpbnRlbmRlZFxwYXINCnJlY2lwaWVudCBwbGVhc2UgZGVsZXRl
IGl0IGZyb20geW91ciBzeXN0ZW0gYW5kIG5vdGlmeSB0aGUgc2VuZGVyLlxwYXINCllvdSBzaG91
bGQgbm90IGNvcHkgaXQgb3IgdXNlIGl0IGZvciBhbnkgcHVycG9zZSBub3IgZGlzY2xvc2Ugb3Jc
cGFyDQpkaXN0cmlidXRlIGl0cyBjb250ZW50cyB0byBhbnkgb3RoZXIgcGVyc29uLlxwYXINCioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqXHBhcg0KXHBhcg0KXHBhcg0KLS0tLVxwYXINClRvIHVuc3Vic2NyaWJlLCBzZW5k
IGEgbWVzc2FnZSB3aXRoIGJvZHkgIlNJR05PRkYgQkxBQ0tCT1giIHRvIExJU1RTRVJWQExJU1RT
Lk9CRVJPTi5DSFxwYXINCn0
----boundary-LibPST-iamunique-1286235452_-_---

Received on Thu Jan 31 2008 - 09:34:20 UTC