----boundary-LibPST-iamunique-634535219_-_-
Content-type: text/plain
I agree, and wish that I could ASSERT(FALSE) as well.
Stan
On Jun 10, 2006, at 10:48 PM, CFB Software wrote:
> Hi Stan,
>
> A good point but somewhat unconvincing - otherwise it could be equally
> argued that HALT is the redundant statement. Maybe more so - why have
> two reserved words when one will do?
>
> Redundant facilities do not *need* to be *disallowed* unless there
> is a
> good underlying reason for it.
>
> Typically, the main difference between HALT and ASSERT is that you can
> disable all ASSERT statements with a compile-time option. This can
> be a
> useful debugging technique - particularly in the absence of a runtime
> debugger.
>
> There are several compile-time options available in Blackbox but I am
> left to wonder why I have not been able to find any documentation for
> them. For example, to disable ASSERT statements
>
> DevCompiler.CompileOpt('!')
>
> Regards,
> Chris
>
> CFB Software
> http://www.cfbsoftware.com/gpcp
>
> -----Original Message-----
> From: blackbox{([at]})nowhere.xy> Warford
> Sent: Sunday, 11 June 2006 1:34 PM
> To: BlackBox Mailing List
> Subject: [BlackBox] - ASSERT fault?
>
>
> I had this question before. As I recall, the answer is that the
> existence
> of HALT makes ASSERT(FALSE) redundant, i.e. it is a CP design
> decision.
>
>
> Stan
>
>
> J. Stanley Warford
> Professor of Computer Science
> Pepperdine University
> Malibu, CA 90263
> Stan.Warford{([at]})nowhere.xy> 310-506-4332
>
>
> On Jun 10, 2006, at 7:47 PM, CFB Software 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--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox{([at]})nowhere.xy
----boundary-LibPST-iamunique-634535219_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEkgYWdyZWUsIGFuZCB3aXNoIHRoYXQgSSBjb3Vs
ZCBBU1NFUlQoRkFMU0UpIGFzIHdlbGwuXHBhcg0KXHBhcg0KU3RhblxwYXINClxwYXINCk9uIEp1
biAxMCwgMjAwNiwgYXQgMTA6NDggUE0sIENGQiBTb2Z0d2FyZSB3cm90ZTpccGFyDQpccGFyDQo+
IEhpIFN0YW4sXHBhcg0KPlxwYXINCj4gQSBnb29kIHBvaW50IGJ1dCBzb21ld2hhdCB1bmNvbnZp
bmNpbmcgLSBvdGhlcndpc2UgaXQgY291bGQgYmUgZXF1YWxseVxwYXINCj4gYXJndWVkIHRoYXQg
SEFMVCBpcyB0aGUgcmVkdW5kYW50IHN0YXRlbWVudC4gTWF5YmUgbW9yZSBzbyAtIHdoeSBoYXZl
XHBhcg0KPiB0d28gcmVzZXJ2ZWQgd29yZHMgd2hlbiBvbmUgd2lsbCBkbz9ccGFyDQo+XHBhcg0K
PiBSZWR1bmRhbnQgZmFjaWxpdGllcyBkbyBub3QgKm5lZWQqIHRvIGJlICpkaXNhbGxvd2VkKiB1
bmxlc3MgdGhlcmUgIFxwYXINCj4gaXMgYVxwYXINCj4gZ29vZCB1bmRlcmx5aW5nIHJlYXNvbiBm
b3IgaXQuXHBhcg0KPlxwYXINCj4gVHlwaWNhbGx5LCB0aGUgbWFpbiBkaWZmZXJlbmNlIGJldHdl
ZW4gSEFMVCBhbmQgQVNTRVJUIGlzIHRoYXQgeW91IGNhblxwYXINCj4gZGlzYWJsZSBhbGwgQVNT
RVJUIHN0YXRlbWVudHMgd2l0aCBhIGNvbXBpbGUtdGltZSBvcHRpb24uIFRoaXMgY2FuICBccGFy
DQo+IGJlIGFccGFyDQo+IHVzZWZ1bCBkZWJ1Z2dpbmcgdGVjaG5pcXVlIC0gcGFydGljdWxhcmx5
IGluIHRoZSBhYnNlbmNlIG9mIGEgcnVudGltZVxwYXINCj4gZGVidWdnZXIuXHBhcg0KPlxwYXIN
Cj4gVGhlcmUgYXJlIHNldmVyYWwgY29tcGlsZS10aW1lIG9wdGlvbnMgYXZhaWxhYmxlIGluIEJs
YWNrYm94IGJ1dCBJIGFtXHBhcg0KPiBsZWZ0IHRvIHdvbmRlciB3aHkgSSBoYXZlIG5vdCBiZWVu
IGFibGUgdG8gZmluZCBhbnkgZG9jdW1lbnRhdGlvbiBmb3JccGFyDQo+IHRoZW0uIEZvciBleGFt
cGxlLCB0byBkaXNhYmxlIEFTU0VSVCBzdGF0ZW1lbnRzXHBhcg0KPlxwYXINCj4gICBEZXZDb21w
aWxlci5Db21waWxlT3B0KCchJylccGFyDQo+XHBhcg0KPiBSZWdhcmRzLFxwYXINCj4gQ2hyaXNc
cGFyDQo+XHBhcg0KPiBDRkIgU29mdHdhcmVccGFyDQo+IGh0dHA6Ly93d3cuY2Zic29mdHdhcmUu
Y29tL2dwY3BccGFyDQo+XHBhcg0KPiAtLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLVxwYXINCj4g
RnJvbTogYmxhY2tib3hAb2Jlcm9uLmNoIFttYWlsdG86YmxhY2tib3hAb2Jlcm9uLmNoXSBPbiBC
ZWhhbGYgT2YgU3RhblxwYXINCj4gV2FyZm9yZFxwYXINCj4gU2VudDogU3VuZGF5LCAxMSBKdW5l
IDIwMDYgMTozNCBQTVxwYXINCj4gVG86IEJsYWNrQm94IE1haWxpbmcgTGlzdFxwYXINCj4gU3Vi
amVjdDogW0JsYWNrQm94XSAtIEFTU0VSVCBmYXVsdD9ccGFyDQo+XHBhcg0KPlxwYXINCj4gSSBo
YWQgdGhpcyBxdWVzdGlvbiBiZWZvcmUuIEFzIEkgcmVjYWxsLCB0aGUgYW5zd2VyIGlzIHRoYXQg
dGhlXHBhcg0KPiBleGlzdGVuY2VccGFyDQo+IG9mIEhBTFQgbWFrZXMgQVNTRVJUKEZBTFNFKSBy
ZWR1bmRhbnQsIGkuZS4gaXQgaXMgYSBDUCBkZXNpZ25ccGFyDQo+IGRlY2lzaW9uLlxwYXINCj5c
cGFyDQo+XHBhcg0KPiBTdGFuXHBhcg0KPlxwYXINCj5ccGFyDQo+IEouIFN0YW5sZXkgV2FyZm9y
ZFxwYXINCj4gUHJvZmVzc29yIG9mIENvbXB1dGVyIFNjaWVuY2VccGFyDQo+IFBlcHBlcmRpbmUg
VW5pdmVyc2l0eVxwYXINCj4gTWFsaWJ1LCBDQSA5MDI2M1xwYXINCj4gU3Rhbi5XYXJmb3JkQHBl
cHBlcmRpbmUuZWR1XHBhcg0KPiAzMTAtNTA2LTQzMzJccGFyDQo+XHBhcg0KPlxwYXINCj4gT24g
SnVuIDEwLCAyMDA2LCBhdCA3OjQ3IFBNLCBDRkIgU29mdHdhcmUgd3JvdGU6XHBhcg0KPlxwYXIN
Cj5ccGFyDQo+IFRoaXMgcXVlc3Rpb24gYXJvc2UgaW4gdGhlIHByb2Nlc3Mgb2YgcG9ydGluZyBz
b21lIGNvZGUgZnJvbSBHYXJkZW5zXHBhcg0KPiBQb2ludCBDb21wb25lbnQgUGFzY2FsIHRvIEJs
YWNrYm94IENvbXBvbmVudCBQYXNjYWwuXHBhcg0KPlxwYXINCj5ccGFyDQo+IFRoZSBmb2xsb3dp
bmcgc3RhdGVtZW50OlxwYXINCj5ccGFyDQo+XHBhcg0KPiAgIEFTU0VSVChGQUxTRSlccGFyDQo+
XHBhcg0KPlxwYXINCj4gUmVzdWx0cyBpbiB0aGUgY29tcGlsZXIgZXJyb3I6ICdBU1NFUlQgZmF1
bHQnXHBhcg0KPlxwYXINCj5ccGFyDQo+IFdoeT8gSSBoYXZlbid0IGJlZW4gYWJsZSB0byBmaW5k
IGFueSByZWFzb24gaW4gdGhlIENvbXBvbmVudCBQYXNjYWxccGFyDQo+IExhbmd1YWdlIFJlZmVy
ZW5jZSB3aHkgaXQgc2hvdWxkIG5vdCBiZSBhbGxvd2VkLlxwYXINCj5ccGFyDQo+XHBhcg0KPiBD
aHJpcyBCdXJyb3dzXHBhcg0KPiBDRkIgU29mdHdhcmVccGFyDQo+IGh0dHA6Ly93d3cuY2Zic29m
dHdhcmUuY29tL2dwY3BccGFyDQo+XHBhcg0KPlxwYXINCj4gLS0tIEJsYWNrQm94XHBhcg0KPiAt
LS0gc2VuZCBzdWJqZWN0IEhFTFAgb3IgVU5TVUJTQ1JJQkUgdG8gYmxhY2tib3hAb2Jlcm9uLmNo
XHBhcg0KPlxwYXINCj4gLS0tIEJsYWNrQm94XHBhcg0KPiAtLS0gc2VuZCBzdWJqZWN0IEhFTFAg
b3IgVU5TVUJTQ1JJQkUgdG8gYmxhY2tib3hAb2Jlcm9uLmNoXHBhcg0KXHBhcg0KLS0tIEJsYWNr
Qm94XHBhcg0KLS0tIHNlbmQgc3ViamVjdCBIRUxQIG9yIFVOU1VCU0NSSUJFIHRvIGJsYWNrYm94
QG9iZXJvbn19ACBTTVRQU1ZDKDUuMC4=
----boundary-LibPST-iamunique-634535219_-_---
Received on Sun Jun 11 2006 - 09:14:14 UTC