Re: [BLACKBOX] INF

From: Douglas G. Danforth <"Douglas>
Date: Mon, 21 Jul 2008 13:20:37 -0700

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

Andrew,
It seems to work.

PROCEDURE Test*;
BEGIN
    One;
    ASSERT(Two())
END Test;

Does not trap.

-Doug Danforth

Andrew Thomas wrote:
> Hei BB experts,
>
> is it possible to set a REAL variable to INF and the test whether
> the variable is INF later?
>
>
> MODULE Thing:
>
> VAR x: REAL;
>
> PROCEDURE One; BEGIN x := INF END One;
>
> PROCEDURE Two (): BOOLEAN BEGIN RETURN x = INF END Two;
>
> END Thing.
>
>
> ---- To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to
> LISTSERV{([at]})nowhere.xy
>

----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-1738217062_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEFuZHJldyxccGFyDQpJdCBzZWVtcyB0byB3b3Jr
LlxwYXINClxwYXINClBST0NFRFVSRSBUZXN0KjtccGFyDQpCRUdJTlxwYXINCiAgICBPbmU7XHBh
cg0KICAgIEFTU0VSVChUd28oKSlccGFyDQpFTkQgVGVzdDtccGFyDQpccGFyDQpEb2VzIG5vdCB0
cmFwLlxwYXINClxwYXINCi1Eb3VnIERhbmZvcnRoXHBhcg0KXHBhcg0KQW5kcmV3IFRob21hcyB3
cm90ZTpccGFyDQo+IEhlaSBCQiBleHBlcnRzLFxwYXINCj4gIFxwYXINCj4gICBpcyBpdCBwb3Nz
aWJsZSB0byBzZXQgYSBSRUFMIHZhcmlhYmxlIHRvIElORiBhbmQgdGhlIHRlc3Qgd2hldGhlciBc
cGFyDQo+IHRoZSB2YXJpYWJsZSBpcyBJTkYgbGF0ZXI/XHBhcg0KPiAgXHBhcg0KPiAgXHBhcg0K
PiBNT0RVTEUgVGhpbmc6XHBhcg0KPiAgXHBhcg0KPiBWQVIgeDogUkVBTDtccGFyDQo+ICBccGFy
DQo+IFBST0NFRFVSRSBPbmU7IEJFR0lOIHggOj0gSU5GIEVORCBPbmU7XHBhcg0KPiAgXHBhcg0K
PiBQUk9DRURVUkUgVHdvICgpOiBCT09MRUFOIEJFR0lOIFJFVFVSTiB4ID0gSU5GIEVORCBUd287
XHBhcg0KPiAgXHBhcg0KPiBFTkQgVGhpbmcuXHBhcg0KPiAgXHBhcg0KPlxwYXINCj4gLS0tLSBU
byB1bnN1YnNjcmliZSwgc2VuZCBhIG1lc3NhZ2Ugd2l0aCBib2R5ICJTSUdOT0ZGIEJMQUNLQk9Y
IiB0byBccGFyDQo+IExJU1RTRVJWQExJU1RTLk9CRVJPTi5DSFxwYXINCj5ccGFyDQpccGFyDQpc
cGFyDQotLS0tXHBhcg0KVG8gdW5zdWJzY3JpYmUsIHNlbmQgYSBtZXNzYWdlIHdpdGggYm9keSAi
U0lHTk9GRiBCTEFDS0JPWCIgdG8gTElTVFNFUlZATElTVFMuT0J9fQB0IGFsbCBuYW1lcw==
----boundary-LibPST-iamunique-1738217062_-_---

Received on Mon Jul 21 2008 - 22:20:37 UTC