----boundary-LibPST-iamunique-1749675386_-_-
Content-type: text/plain
I believe the error message is correct.
Th language report says:
ASSERT(x) x: Boolean expression terminate program execution if not x
Thus the expression x in the questioned case is FALSE. Then following the
language report the programme has to stop when x = ~FALSE = TRUE.
This in fact means ASSERT(TRUE) should stop programme execution which is
just the opposite of the language reports statement being intended to
continue execution if expression x is TRUE.
The only way out of the paradox I see is an exepting exeption like the one
BB shows:
ASSERT fault
Hope this does it?
H. v. L.
On Sun, 11 Jun 2006 04:47:49 +0200, CFB Software <info{([at]})nowhere.xy
wrote:
> This question arose in the process of porting some code from Gardens
> Point Component Pascal to Blackbox Component Pascal.
>
> The following statement:
>
> ASSERT(FALSE)
>
> Results in the compiler error: 'ASSERT fault'
>
> Why? I haven't been able to find any reason in the Component Pascal
> Language Reference why it should not be allowed.
>
> Chris Burrows
> CFB Software
> http://www.cfbsoftware.com/gpcp
>
> --- BlackBox
> --- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy>
>
--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy
----boundary-LibPST-iamunique-1749675386_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEkgYmVsaWV2ZSB0aGUgZXJyb3IgbWVzc2FnZSBp
cyBjb3JyZWN0LlxwYXINClRoIGxhbmd1YWdlIHJlcG9ydCBzYXlzOlxwYXINCkFTU0VSVCh4KVx0
YWIgeDogQm9vbGVhbiBleHByZXNzaW9uXHRhYiB0ZXJtaW5hdGUgcHJvZ3JhbSBleGVjdXRpb24g
aWYgbm90IHhccGFyDQpUaHVzIHRoZSBleHByZXNzaW9uIHggaW4gdGhlIHF1ZXN0aW9uZWQgY2Fz
ZSBpcyBGQUxTRS4gVGhlbiBmb2xsb3dpbmcgdGhlICBccGFyDQpsYW5ndWFnZSByZXBvcnQgdGhl
IHByb2dyYW1tZSBoYXMgdG8gc3RvcCB3aGVuIHggPSB+RkFMU0UgPSBUUlVFLlxwYXINClRoaXMg
aW4gZmFjdCBtZWFucyBBU1NFUlQoVFJVRSkgc2hvdWxkIHN0b3AgcHJvZ3JhbW1lIGV4ZWN1dGlv
biB3aGljaCBpcyAgXHBhcg0KanVzdCB0aGUgb3Bwb3NpdGUgb2YgdGhlIGxhbmd1YWdlIHJlcG9y
dHMgc3RhdGVtZW50IGJlaW5nIGludGVuZGVkIHRvICBccGFyDQpjb250aW51ZSBleGVjdXRpb24g
aWYgZXhwcmVzc2lvbiB4IGlzIFRSVUUuXHBhcg0KVGhlIG9ubHkgd2F5IG91dCBvZiB0aGUgcGFy
YWRveCBJIHNlZSBpcyBhbiBleGVwdGluZyBleGVwdGlvbiBsaWtlIHRoZSBvbmUgIFxwYXINCkJC
IHNob3dzOlxwYXINCkFTU0VSVCBmYXVsdFxwYXINClxwYXINCkhvcGUgdGhpcyBkb2VzIGl0P1xw
YXINClxwYXINCkguIHYuIEwuXHBhcg0KXHBhcg0KT24gU3VuLCAxMSBKdW4gMjAwNiAwNDo0Nzo0
OSArMDIwMCwgQ0ZCIFNvZnR3YXJlIDxpbmZvQGNmYnNvZnR3YXJlLmNvbT4gIFxwYXINCndyb3Rl
OlxwYXINClxwYXINCj4gVGhpcyBxdWVzdGlvbiBhcm9zZSBpbiB0aGUgcHJvY2VzcyBvZiBwb3J0
aW5nIHNvbWUgY29kZSBmcm9tIEdhcmRlbnNccGFyDQo+IFBvaW50IENvbXBvbmVudCBQYXNjYWwg
dG8gQmxhY2tib3ggQ29tcG9uZW50IFBhc2NhbC5ccGFyDQo+XHBhcg0KPiBUaGUgZm9sbG93aW5n
IHN0YXRlbWVudDpccGFyDQo+XHBhcg0KPiAgIEFTU0VSVChGQUxTRSlccGFyDQo+XHBhcg0KPiBS
ZXN1bHRzIGluIHRoZSBjb21waWxlciBlcnJvcjogJ0FTU0VSVCBmYXVsdCdccGFyDQo+XHBhcg0K
PiBXaHk/IEkgaGF2ZW4ndCBiZWVuIGFibGUgdG8gZmluZCBhbnkgcmVhc29uIGluIHRoZSBDb21w
b25lbnQgUGFzY2FsXHBhcg0KPiBMYW5ndWFnZSBSZWZlcmVuY2Ugd2h5IGl0IHNob3VsZCBub3Qg
YmUgYWxsb3dlZC5ccGFyDQo+XHBhcg0KPiBDaHJpcyBCdXJyb3dzXHBhcg0KPiBDRkIgU29mdHdh
cmVccGFyDQo+IGh0dHA6Ly93d3cuY2Zic29mdHdhcmUuY29tL2dwY3BccGFyDQo+XHBhcg0KPiAt
LS0gQmxhY2tCb3hccGFyDQo+IC0tLSBzZW5kIHN1YmplY3QgSEVMUCBvciBVTlNVQlNDUklCRSB0
byBibGFja2JveEBvYmVyb24uY2hccGFyDQo+XHBhcg0KPlxwYXINClxwYXINCi0tLSBCbGFja0Jv
eFxwYXINCi0tLSBzZW5kIHN1YmplY3QgSEVMUCBvciBVTlNVQlNDUklCRSB0byBibGFja2JveEBv
YmVyb24uY2hccGFyDQpccGFyDQp9
----boundary-LibPST-iamunique-1749675386_-_---
Received on Sun Jun 11 2006 - 10:35:56 UTC