- ASSERT fault?

From: [at]} <Alexander>
Date: Sun, 11 Jun 2006 18:41:08 +0700

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

Hello, H.v.L.!

HvL> I believe the error message is correct.
HvL> Th language report says:
HvL> ASSERT(x) x: Boolean expression terminate program execution if not x
HvL> Thus the expression x in the questioned case is FALSE. Then following the
HvL> language report the programme has to stop when x = ~FALSE = TRUE.

  Excuse me, but it should stop not when x = ~FALSE, but when ~x = TRUE.

HvL> This in fact means ASSERT(TRUE) should stop programme execution which is
HvL> just the opposite of the language reports statement being intended to
HvL> continue execution if expression x is TRUE.


---=====---
 Alexander

--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy



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

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEhlbGxvLCBILnYuTC4hXHBhcg0KXHBhcg0KSHZM
PiBJIGJlbGlldmUgdGhlIGVycm9yIG1lc3NhZ2UgaXMgY29ycmVjdC5ccGFyDQpIdkw+IFRoIGxh
bmd1YWdlIHJlcG9ydCBzYXlzOlxwYXINCkh2TD4gQVNTRVJUKHgpICAgICAgIHg6IEJvb2xlYW4g
ZXhwcmVzc2lvbiAgIHRlcm1pbmF0ZSBwcm9ncmFtIGV4ZWN1dGlvbiBpZiBub3QgeFxwYXINCkh2
TD4gVGh1cyB0aGUgZXhwcmVzc2lvbiB4IGluIHRoZSBxdWVzdGlvbmVkIGNhc2UgaXMgRkFMU0Uu
IFRoZW4gZm9sbG93aW5nIHRoZVxwYXINCkh2TD4gbGFuZ3VhZ2UgcmVwb3J0IHRoZSBwcm9ncmFt
bWUgaGFzIHRvIHN0b3Agd2hlbiB4ID0gfkZBTFNFID0gVFJVRS5ccGFyDQpccGFyDQogIEV4Y3Vz
ZSBtZSwgYnV0IGl0IHNob3VsZCBzdG9wIG5vdCB3aGVuIHggPSB+RkFMU0UsIGJ1dCB3aGVuIH54
ID0gVFJVRS5ccGFyDQpccGFyDQpIdkw+IFRoaXMgaW4gZmFjdCBtZWFucyBBU1NFUlQoVFJVRSkg
c2hvdWxkIHN0b3AgcHJvZ3JhbW1lIGV4ZWN1dGlvbiB3aGljaCBpc1xwYXINCkh2TD4ganVzdCB0
aGUgb3Bwb3NpdGUgb2YgdGhlIGxhbmd1YWdlIHJlcG9ydHMgc3RhdGVtZW50IGJlaW5nIGludGVu
ZGVkIHRvXHBhcg0KSHZMPiBjb250aW51ZSBleGVjdXRpb24gaWYgZXhwcmVzc2lvbiB4IGlzIFRS
VUUuXHBhcg0KXHBhcg0KXHBhcg0KLS0tPT09PT0tLS1ccGFyDQogQWxleGFuZGVyXHBhcg0KXHBh
cg0KLS0tIEJsYWNrQm94XHBhcg0KLS0tIHNlbmQgc3ViamVjdCBIRUxQIG9yIFVOU1VCU0NSSUJF
IHRvIGJsYWNrYm94QG9iZXJvbi5jaH19AAAaAAAAUAAAAEg=


----boundary-LibPST-iamunique-338685731_-_---
Received on Sun Jun 11 2006 - 13:41:08 UTC