- v.1.5 beta, Models, a bug

From: Fyodor Tkachov <"Fyodor>
Date: Wed, 02 Mar 2005 11:42:30 -0700

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


An assingment is missing in the module Models of BlackBox v.1.5 BETA:

        PROCEDURE BeginScript* (m: Model; name: Stores.OpName; OUT script: Stores.Operation);
        (** post: (script # NIL) iff (m.domain # NIL) **)
                VAR seq: ANYPTR;
        BEGIN
                ASSERT(m # NIL, 20);
                IF m.Domain() # NIL THEN seq := m.Domain().GetSequencer() ELSE seq := NIL END;
                IF seq # NIL THEN
                        WITH seq: Sequencers.Sequencer DO
                                seq.BeginScript(name, script)
                        ELSE
                                script := NIL (* this is missing **********************************)
                        END
                ELSE script := NIL
                END
        END BeginScript;

Compare the above with EndScript:

        PROCEDURE EndScript* (m: Model; script: Stores.Operation);
        (** pre: (script # NIL) iff (m.seq # NIL) **)
                VAR seq: ANYPTR;
        BEGIN
                ASSERT(m # NIL, 20);
                IF m.Domain() # NIL THEN seq := m.Domain().GetSequencer() ELSE seq := NIL END;
                IF seq # NIL THEN
                        ASSERT(script # NIL, 21);
                        WITH seq: Sequencers.Sequencer DO
                                seq.EndScript(script)
                        ELSE
                                ASSERT(script = NIL, 21)
                        END
                ELSE
                        ASSERT(script = NIL, 21)
                END
        END EndScript;

Cheers
Fyodor.Tkachov{([at]})nowhere.xy

Powered by the E-mail PIM - Info Select - www.miclog.com

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



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

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIFxwYXINCkFuIGFzc2luZ21lbnQgaXMgbWlzc2lu
ZyBpbiB0aGUgbW9kdWxlIE1vZGVscyBvZiBCbGFja0JveCB2LjEuNSBCRVRBOlxwYXINClxwYXIN
Clx0YWIgUFJPQ0VEVVJFIEJlZ2luU2NyaXB0KiAobTogTW9kZWw7IG5hbWU6IFN0b3Jlcy5PcE5h
bWU7IE9VVCBzY3JpcHQ6IFN0b3Jlcy5PcGVyYXRpb24pO1xwYXINClx0YWIgKCoqIHBvc3Q6IChz
Y3JpcHQgIyBOSUwpIGlmZiAobS5kb21haW4gIyBOSUwpICoqKVxwYXINClx0YWIgXHRhYiBWQVIg
c2VxOiBBTllQVFI7XHBhcg0KXHRhYiBCRUdJTlxwYXINClx0YWIgXHRhYiBBU1NFUlQobSAjIE5J
TCwgMjApO1xwYXINClx0YWIgXHRhYiBJRiBtLkRvbWFpbigpICMgTklMIFRIRU4gc2VxIDo9IG0u
RG9tYWluKCkuR2V0U2VxdWVuY2VyKCkgRUxTRSBzZXEgOj0gTklMIEVORDtccGFyDQpcdGFiIFx0
YWIgSUYgc2VxICMgTklMIFRIRU5ccGFyDQpcdGFiIFx0YWIgXHRhYiBXSVRIIHNlcTogU2VxdWVu
Y2Vycy5TZXF1ZW5jZXIgRE9ccGFyDQpcdGFiIFx0YWIgXHRhYiBcdGFiIHNlcS5CZWdpblNjcmlw
dChuYW1lLCBzY3JpcHQpXHBhcg0KXHRhYiBcdGFiIFx0YWIgRUxTRVxwYXINClx0YWIgXHRhYiBc
dGFiIFx0YWIgc2NyaXB0IDo9IE5JTCAoKiB0aGlzIGlzIG1pc3NpbmcgKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKilccGFyDQpcdGFiIFx0YWIgXHRhYiBFTkRccGFyDQpcdGFiIFx0
YWIgRUxTRSBzY3JpcHQgOj0gTklMXHBhcg0KXHRhYiBcdGFiIEVORFxwYXINClx0YWIgRU5EIEJl
Z2luU2NyaXB0O1xwYXINClxwYXINCkNvbXBhcmUgdGhlIGFib3ZlIHdpdGggRW5kU2NyaXB0Olxw
YXINClxwYXINClx0YWIgUFJPQ0VEVVJFIEVuZFNjcmlwdCogKG06IE1vZGVsOyBzY3JpcHQ6IFN0
b3Jlcy5PcGVyYXRpb24pO1xwYXINClx0YWIgKCoqIHByZTogKHNjcmlwdCAjIE5JTCkgaWZmICht
LnNlcSAjIE5JTCkgKiopXHBhcg0KXHRhYiBcdGFiIFZBUiBzZXE6IEFOWVBUUjtccGFyDQpcdGFi
IEJFR0lOXHBhcg0KXHRhYiBcdGFiIEFTU0VSVChtICMgTklMLCAyMCk7XHBhcg0KXHRhYiBcdGFi
IElGIG0uRG9tYWluKCkgIyBOSUwgVEhFTiBzZXEgOj0gbS5Eb21haW4oKS5HZXRTZXF1ZW5jZXIo
KSBFTFNFIHNlcSA6PSBOSUwgRU5EO1xwYXINClx0YWIgXHRhYiBJRiBzZXEgIyBOSUwgVEhFTlxw
YXINClx0YWIgXHRhYiBcdGFiIEFTU0VSVChzY3JpcHQgIyBOSUwsIDIxKTtccGFyDQpcdGFiIFx0
YWIgXHRhYiBXSVRIIHNlcTogU2VxdWVuY2Vycy5TZXF1ZW5jZXIgRE9ccGFyDQpcdGFiIFx0YWIg
XHRhYiBcdGFiIHNlcS5FbmRTY3JpcHQoc2NyaXB0KVxwYXINClx0YWIgXHRhYiBcdGFiIEVMU0Vc
cGFyDQpcdGFiIFx0YWIgXHRhYiBcdGFiIEFTU0VSVChzY3JpcHQgPSBOSUwsIDIxKVxwYXINClx0
YWIgXHRhYiBcdGFiIEVORFxwYXINClx0YWIgXHRhYiBFTFNFXHBhcg0KXHRhYiBcdGFiIFx0YWIg
QVNTRVJUKHNjcmlwdCA9IE5JTCwgMjEpXHBhcg0KXHRhYiBcdGFiIEVORFxwYXINClx0YWIgRU5E
IEVuZFNjcmlwdDtccGFyDQpccGFyDQpDaGVlcnNccGFyDQpGeW9kb3IuVGthY2hvdkBjZXJuLmNo
XHBhcg0KXHBhcg0KUG93ZXJlZCBieSB0aGUgRS1tYWlsIFBJTSAtIEluZm8gU2VsZWN0IC0gd3d3
Lm1pY2xvZy5jb21ccGFyDQpccGFyDQotLS0gQmxhY2tCb3hccGFyDQotLS0gc2VuZCBzdWJqZWN0
IEhFTFAgb3IgVU5TVUJTQ1JJQkUgdG8gYmxhY2tib3hAb2Jlcm9ufX0AZnlvZG9yLnRrYWNobw=


----boundary-LibPST-iamunique-696848150_-_---
Received on Wed Mar 02 2005 - 19:42:30 UTC