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

From: Campbell, Robert (SELEX GALILEO, UK) <"Campbell,>
Date: Thu, 31 Jan 2008 12:32:59 -0000

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

 
Sorry, another typing error.

Of course I meant the two lines "globalX := 5"
to be different values such as 5 & 3.


>> -----Original Message-----
>> From: Campbell, Robert (SELEX GALILEO, UK)
>>
>> 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-1724686495_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwICBccGFyDQpTb3JyeSwgYW5vdGhlciB0eXBpbmcg
ZXJyb3IuXHBhcg0KXHBhcg0KT2YgY291cnNlIEkgbWVhbnQgdGhlIHR3byBsaW5lcyAiZ2xvYmFs
WCAgOj0gIDUiXHBhcg0KdG8gYmUgZGlmZmVyZW50IHZhbHVlcyBzdWNoIGFzIDUgJiAzLlxwYXIN
ClxwYXINClxwYXINCj4+IC0tLS0tT3JpZ2luYWwgTWVzc2FnZS0tLS0tXHBhcg0KPj4gRnJvbTog
Q2FtcGJlbGwsIFJvYmVydCAoU0VMRVggR0FMSUxFTywgVUspIFxwYXINCj4+IFxwYXINCj4+IEhp
IENocmlzIGFuZCBBbGwsXHBhcg0KPj4gXHBhcg0KPj4gXHBhcg0KPj4gTU9EVUxFICBIb3JyaWJs
ZTtccGFyDQo+PiBccGFyDQo+PiBWQVJccGFyDQo+PiAgIGdsb2JhbFggOiBJTlRFR0VSO1xwYXIN
Cj4+IFxwYXINCj4+IFBST0NFRFVSRSBRIChsb2NhbFggOiBJTlRFR0VSKTtccGFyDQo+PiAgIEJF
R0lOXHBhcg0KPj4gICAgIGdsb2JhbFggIDo9ICA1O1xwYXINCj4+ICAgRU5EICBRO1xwYXINCj4+
IFxwYXINCj4+IFBST0NFRFVSRSBQICg/Pz8geCA6IElOVEVHRVIpO1xwYXINCj4+ICAgQkVHSU5c
cGFyDQo+PiAgICAgUSAoeClccGFyDQo+PiAoKiAgV2hhdCBpcyB4ID8gICopXHBhcg0KPj4gICBF
TkQgIFA7XHBhcg0KPj4gXHBhcg0KPj4gQkVHSU5ccGFyDQo+PiAgIGdsb2JhbFggIDo9ICA1O1xw
YXINCj4+ICAgUCAoZ2xvYmFsWClccGFyDQo+PiBFTkQgIEhvcnJpYmxlLlxwYXINCj4+IFxwYXIN
Cj4+IFxwYXINCj4+IFxwYXINCj4+IEkgdGhpbmsgdGhlIHZhbHVlIG9mIHggZGVwZW5kcyBvbiB3
aGV0aGVyID8/PyBhc2tzIGZvciBccGFyDQo+PiBwYXNzLWJ5LXZhbHVlIG9yIHBhc3MtYnktcmVm
ZXJlbmNlLlxwYXINCj4+IFxwYXINCj4+IElmIHNvLCB0byBtYWtlIHRoZSBsYW5ndWFnZSBwcmVk
aWN0YWJsZSBhbmQgcmVwZWF0YWJsZSwgdGhlIFxwYXINCj4+IHJlcG9ydCB3b3VsZCBuZWVkIHRv
IGNsZWFybHkgc3RhdGUgaWYgPz8/ID0gSU4gaW1wbGllcyBccGFyDQo+PiBwYXNzLWJ5LXZhbHVl
IG9yIHBhc3MtYnktcmVmZXJlbmNlLlxwYXINCj4+IFxwYXINCj4+IElmIHNvbWUgdHlwZXMgYXJl
IG9uZSwgYW5kIHNvbWUgdGhlIG90aGVyLCBkb2VzIHRoaXMgXHBhcg0KPj4gaW5jcmVhc2UgcmVn
dWxhcml0eT9ccGFyDQo+PiBccGFyDQo+PiBPciBtYXliZSBJIGhhdmUgc3RpbGwgbG9zdCB0aGUg
cGxvdD9ccGFyDQo+PiBccGFyDQo+PiBSb2JlcnRccGFyDQo+PiBccGFyDQo+PiBccGFyDQpccGFy
DQpTRUxFWCBTZW5zb3JzIGFuZCBBaXJib3JuZSBTeXN0ZW1zIExpbWl0ZWRccGFyDQpSZWdpc3Rl
cmVkIE9mZmljZTogU2lnbWEgSG91c2UsIENocmlzdG9waGVyIE1hcnRpbiBSb2FkLCBCYXNpbGRv
biwgRXNzZXggU1MxNCAzRUxccGFyDQpBIGNvbXBhbnkgcmVnaXN0ZXJlZCBpbiBFbmdsYW5kICYg
V2FsZXMuICBDb21wYW55IG5vLiAwMjQyNjEzMlxwYXINCioqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqXHBhcg0KVGhpcyBl
bWFpbCBhbmQgYW55IGF0dGFjaG1lbnRzIGFyZSBjb25maWRlbnRpYWwgdG8gdGhlIGludGVuZGVk
XHBhcg0KcmVjaXBpZW50IGFuZCBtYXkgYWxzbyBiZSBwcml2aWxlZ2VkLiBJZiB5b3UgYXJlIG5v
dCB0aGUgaW50ZW5kZWRccGFyDQpyZWNpcGllbnQgcGxlYXNlIGRlbGV0ZSBpdCBmcm9tIHlvdXIg
c3lzdGVtIGFuZCBub3RpZnkgdGhlIHNlbmRlci5ccGFyDQpZb3Ugc2hvdWxkIG5vdCBjb3B5IGl0
IG9yIHVzZSBpdCBmb3IgYW55IHB1cnBvc2Ugbm9yIGRpc2Nsb3NlIG9yXHBhcg0KZGlzdHJpYnV0
ZSBpdHMgY29udGVudHMgdG8gYW55IG90aGVyIHBlcnNvbi5ccGFyDQoqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKlxwYXIN
ClxwYXINClxwYXINCi0tLS1ccGFyDQpUbyB1bnN1YnNjcmliZSwgc2VuZCBhIG1lc3NhZ2Ugd2l0
aCBib2R5ICJTSUdOT0ZGIEJMQUNLQk9YIiB0byBMSVNUU0VSVkBMSVNUUy5PQkVST04uQ0h9fQBh
c3Np
----boundary-LibPST-iamunique-1724686495_-_---

Received on Thu Jan 31 2008 - 13:32:59 UTC