----boundary-LibPST-iamunique-1762321158_-_-
Content-type: text/plain
It would be inconvenient if ASSERT(FALSE) wouldn't raise an error at compile
time already.
I often place ASSERT statements like:
ASSERT(LEN(array) >= maxItemCnt);
And of course I want the compiler to let me know immediately that the
assertion fails.
The intention of using ASSERT is never to HALT, but to assert a condition
for the subsequent program code. In other words: if a program is correct no
ASSERT in it will ever fail (and neither will any type guard). This is why
it is possible to drop the time consuming checks with a compiler option.
The conclusion is that if you place debugging statements in the code to
cause halts you should always use HALT and not ASSERT.
E.g.:
IF a = 10 THEN HALT(99) END;
and not:
ASSERT(a # 10, 99);
Marco Ciot
-----Original Message-----
From: blackbox{([at]})nowhere.xy
Software
Sent: Sunday, June 11, 2006 04:48
To: BlackBox Mailing List
Subject: [BlackBox] - ASSERT fault?
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-1762321158_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEl0IHdvdWxkIGJlIGluY29udmVuaWVudCBpZiBB
U1NFUlQoRkFMU0UpIHdvdWxkbid0IHJhaXNlIGFuIGVycm9yIGF0IGNvbXBpbGVccGFyDQp0aW1l
IGFscmVhZHkuXHBhcg0KXHBhcg0KSSBvZnRlbiBwbGFjZSBBU1NFUlQgc3RhdGVtZW50cyBsaWtl
OlxwYXINClxwYXINCkFTU0VSVChMRU4oYXJyYXkpID49IG1heEl0ZW1DbnQpO1xwYXINClxwYXIN
CkFuZCBvZiBjb3Vyc2UgSSB3YW50IHRoZSBjb21waWxlciB0byBsZXQgbWUga25vdyBpbW1lZGlh
dGVseSB0aGF0IHRoZVxwYXINCmFzc2VydGlvbiBmYWlscy5ccGFyDQpccGFyDQpUaGUgaW50ZW50
aW9uIG9mIHVzaW5nIEFTU0VSVCBpcyBuZXZlciB0byBIQUxULCBidXQgdG8gYXNzZXJ0IGEgY29u
ZGl0aW9uXHBhcg0KZm9yIHRoZSBzdWJzZXF1ZW50IHByb2dyYW0gY29kZS4gSW4gb3RoZXIgd29y
ZHM6IGlmIGEgcHJvZ3JhbSBpcyBjb3JyZWN0IG5vXHBhcg0KQVNTRVJUIGluIGl0IHdpbGwgZXZl
ciBmYWlsIChhbmQgbmVpdGhlciB3aWxsIGFueSB0eXBlIGd1YXJkKS4gVGhpcyBpcyB3aHlccGFy
DQppdCBpcyBwb3NzaWJsZSB0byBkcm9wIHRoZSB0aW1lIGNvbnN1bWluZyBjaGVja3Mgd2l0aCBh
IGNvbXBpbGVyIG9wdGlvbi5ccGFyDQpccGFyDQpUaGUgY29uY2x1c2lvbiBpcyB0aGF0IGlmIHlv
dSBwbGFjZSBkZWJ1Z2dpbmcgc3RhdGVtZW50cyBpbiB0aGUgY29kZSB0b1xwYXINCmNhdXNlIGhh
bHRzIHlvdSBzaG91bGQgYWx3YXlzIHVzZSBIQUxUIGFuZCBub3QgQVNTRVJULlxwYXINCkUuZy46
XHBhcg0KXHRhYiBJRiBhID0gMTAgVEhFTiBIQUxUKDk5KSBFTkQ7XHBhcg0KYW5kIG5vdDpccGFy
DQpcdGFiIEFTU0VSVChhICMgMTAsIDk5KTtccGFyDQpccGFyDQpNYXJjbyBDaW90XHBhcg0KXHBh
cg0KXHBhcg0KXHBhcg0KLS0tLS1PcmlnaW5hbCBNZXNzYWdlLS0tLS1ccGFyDQpGcm9tOiBibGFj
a2JveEBvYmVyb24uY2ggW21haWx0bzpibGFja2JveEBvYmVyb24uY2hdT24gQmVoYWxmIE9mIENG
QlxwYXINClNvZnR3YXJlXHBhcg0KU2VudDogU3VuZGF5LCBKdW5lIDExLCAyMDA2IDA0OjQ4XHBh
cg0KVG86IEJsYWNrQm94IE1haWxpbmcgTGlzdFxwYXINClN1YmplY3Q6IFtCbGFja0JveF0gLSBB
U1NFUlQgZmF1bHQ/XHBhcg0KXHBhcg0KXHBhcg0KVGhpcyBxdWVzdGlvbiBhcm9zZSBpbiB0aGUg
cHJvY2VzcyBvZiBwb3J0aW5nIHNvbWUgY29kZSBmcm9tIEdhcmRlbnNccGFyDQpQb2ludCBDb21w
b25lbnQgUGFzY2FsIHRvIEJsYWNrYm94IENvbXBvbmVudCBQYXNjYWwuXHBhcg0KXHBhcg0KVGhl
IGZvbGxvd2luZyBzdGF0ZW1lbnQ6XHBhcg0KXHBhcg0KICBBU1NFUlQoRkFMU0UpXHBhcg0KXHBh
cg0KUmVzdWx0cyBpbiB0aGUgY29tcGlsZXIgZXJyb3I6ICdBU1NFUlQgZmF1bHQnXHBhcg0KXHBh
cg0KV2h5PyBJIGhhdmVuJ3QgYmVlbiBhYmxlIHRvIGZpbmQgYW55IHJlYXNvbiBpbiB0aGUgQ29t
cG9uZW50IFBhc2NhbFxwYXINCkxhbmd1YWdlIFJlZmVyZW5jZSB3aHkgaXQgc2hvdWxkIG5vdCBi
ZSBhbGxvd2VkLlxwYXINClxwYXINCkNocmlzIEJ1cnJvd3NccGFyDQpDRkIgU29mdHdhcmVccGFy
DQpodHRwOi8vd3d3LmNmYnNvZnR3YXJlLmNvbS9ncGNwXHBhcg0KXHBhcg0KLS0tIEJsYWNrQm94
XHBhcg0KLS0tIHNlbmQgc3ViamVjdCBIRUxQIG9yIFVOU1VCU0NSSUJFIHRvIGJsYWNrYm94QG9i
ZXJvbi5jaFxwYXINClxwYXINCi0tLSBCbGFja0JveFxwYXINCi0tLSBzZW5kIHN1YmplY3QgSEVM
UCBvciBVTlNVQlNDUklCRSB0byBibGFja2JveEBvYmVyb259fQBpb3JpdHk6IE5vcm1h
----boundary-LibPST-iamunique-1762321158_-_---
Received on Sun Jun 11 2006 - 10:56:56 UTC