Re: Nice's DbC vs Eiffel DbC
"Yauheni Akhotnikau" <[email protected]> Wed, 13 Feb 2008 09:08:17 +0300
| Newsgroups | gmane.comp.lang.nice.general |
|---|---|
| Organization | Intervale |
| Message-ID | <[email protected]> |
SGkhCgpPbiBUdWUsIDEyIEZlYiAyMDA4IDE5OjEyOjIwICswMzAwLCBEYW5pZWwgQm9ubmlvdCA8 Ym9ubmlvdEBnbWFpbC5jb20+ICAKd3JvdGU6Cgo+IEhpLAo+Cj4+IEkgY2FuIGdpdmUgZnVsbCBw cm90b3R5cGUgZm9yIERlcml2ZWQjdGVzdCAoZS5nLiBwdWJsaWMgdm9pZCB0ZXN0KOKApikpLiAg Cj4+IEluCj4+IHN1Y2ggY2FzZSBjb21waWxlciB3YXJucyBtZToKPj4KPj4gRDpcaG9tZVxlYW8x OTdcdG1wXG5pY2VcY29udHJhY3RzXHByZVxtYWluLm5pY2U6IGxpbmUgMTIsIGNvbHVtbiAyOToK Pj4gd2FybmluZzogVGhpcyBtZXRob2Qgb3ZlcnJpZGVzIG5pY2UubGFuZy52b2lkIHRlc3QocHJl LkJhc2UKPj4gdGhpcyxqYXZhLmxhbmcuU3RyaW5nIHZhbHVlKXJlcXVpcmVzIGA+YCh2YWx1ZS5s ZW5ndGgoKSwgOCk6InZhbHVlIG11c3QgIAo+PiBiZQo+PiBhdCBsZWFzdCA4IHN5bWJvbHMiLAo+ PiBZb3Ugc2hvdWxkIG1ha2UgdGhpcyBleHBsaWNpdCwgZWl0aGVyIGJ5IG9taXR0aW5nIHRoZSBy ZXR1cm4gdHlwZQo+PiBvciBieSB1c2luZyB0aGUgJ292ZXJyaWRlJyBrZXl3b3JkCj4KPiBBcyB0 aGUgbWVzc2FnZSBzYXlzLCB5b3UgY291bGQgZ2V0IHJpZCBvZiB0aGUgd2FybmluZyBieSBhZGRp bmcgdGhlCj4gb3ZlcnJpZGUga2V5d29yZC4KCkl0IHdhcyBteSBtaXN0YWtlOiBJIHdyb3RlICdv dmVycmlkZScgYmVmb3JlICdwdWJsaWMnIGFuZCBjb21waWxlciAgCmNvbXBsYWluZWQgYWJvdXQg c3ludGF4IGVycm9yLiBUaGVuIEkgbG9va2VkIGludG8gcGFyc2VyLmpqIGFuZCBsZWFybnQgIAp0 aGF0ICdvdmVycmlkZScgc2hvdWxkIGJlIHVzZWQgYWZ0ZXIgdmlzaWJpbGl0eSBpbmRpY2F0b3Iu Cgo+PiBJIHRoaW5rLCBjb21waWxlciBzaG91bGQgYWxsb3cgcHJlY29uZGl0aW9uIHNwZWNpZmlj YXRpb24gaW4gb3ZlcnJpZGRlbgo+PiBtZXRob2RzLgo+Cj4gSXQgZG9lcywgdXNpbmcgdGhpcyBz ZWNvbmQgZm9ybS4KPgo+IFJlZ2FyZGluZyBleGVjdXRpb24gb2YgcHJlIGFuZCBwb3N0IGNvbmRp dGlvbnMgaW4gb3ZlcnJpZGVuIG1ldGhvZHMsIEkKPiBkb24ndCBoYXZlIHRoZSBkZXRhaWxzIGlu IG1lbW9yeSBhdCB0aGUgbW9tZW50LCBidXQgeW91IGFyZSB3ZWxjb21lIHRvCj4gdGVzdCBpdC4K Ckkgd3JvdGUgYSBzbWFsbCBwcm9ncmFtIHRvIHRlc3QgY29udHJhY3RzOgoKZW51bSBDb25kaXRp b25UeXBlKCBTdHJpbmcgdmFsdWUgKQogICB7CiAgICAgcHJlY29uZGl0aW9uKCAiUFJFIiApCiAg ICwgcG9zdGNvbmRpdGlvbiggIlBPU1QiICkKICAgfQoKYm9vbGVhbiBsZW5ndGhDaGVjaygKICAg U3RyaW5nIHZhbHVlLAogICBDb25kaXRpb25UeXBlIHByZU9yUG9zdCwKICAgaW50IG1pbmltYWxM ZW5ndGggKQogICB7CiAgICAgcHJpbnRsbiggIjwiIHByZU9yUG9zdCAiIyB2YWx1ZTogIiB2YWx1 ZSAiLCBtaW5pbWFsTGVuZ3RoOiAiICAKbWluaW1hbExlbmd0aCAiPiIgKTsKICAgICByZXR1cm4g dmFsdWUubGVuZ3RoID4gbWluaW1hbExlbmd0aDsKICAgfQoKY2xhc3MgQmFzZQogICB7CiAgICAg U3RyaW5nIHN0ciA9ICIiOwoKICAgICBwdWJsaWMgdm9pZCB0ZXN0KCBTdHJpbmcgdmFsdWUgKQog ICAgICAgcmVxdWlyZXMgdmFsdWUubGVuZ3RoQ2hlY2soIHByZWNvbmRpdGlvbiwgOCApIDogImJh c2UgcHJlY29uZGl0aW9uOiAgCnN0cm9uZyIKICAgICAgIGVuc3VyZXMgdGhpcy5zdHIubGVuZ3Ro Q2hlY2soIHBvc3Rjb25kaXRpb24sIDggKSA6ICJiYXNlICAKcG9zdGNvbmRpdGlvbjogc3Ryb25n IgogICAgICAgewogICAgICAgICBwcmludGxuKCAiQmFzZSN0ZXN0OiB2YWx1ZTogIiB2YWx1ZSAp OwogICAgICAgICBzdHIgPSB2YWx1ZTsKICAgICAgIH0KICAgfQoKY2xhc3MgRGVyaXZlZCBleHRl bmRzIEJhc2UKICAgewogICAgIHB1YmxpYyBvdmVycmlkZSB2b2lkIHRlc3QoIFN0cmluZyB2YWx1 ZSApCiAgICAgICByZXF1aXJlcyB2YWx1ZS5sZW5ndGhDaGVjayggcHJlY29uZGl0aW9uLCAwICkg OiAiZGVyaXZlZCAgCnByZWNvbmRpdGlvbjogd2VhayIKICAgICAgIGVuc3VyZXMgdGhpcy5zdHIu bGVuZ3RoQ2hlY2soIHBvc3Rjb25kaXRpb24sIDEwICkgOiAiZGVyaXZlZCAgCnBvc3Rjb25kaXRv bjogc3Ryb25nZXIiCiAgICAgICB7CiAgICAgICAgIHByaW50bG4oICJEZXJpdmVkI3Rlc3Q6IHZh bHVlOiAiIHZhbHVlICk7CiAgICAgICAgIHN0ciA9IHZhbHVlICsgdmFsdWU7CiAgICAgICB9CiAg IH0KCnZvaWQgbWFpbiggU3RyaW5nW10gYXJncyApCiAgIHsKICAgICBsZXQgYiA9IG5ldyBEZXJp dmVkKCk7CiAgICAgYi50ZXN0KCAiaGVsbG8hIiApOwogICB9CgovLyB2aW06dHM9MjpzdHM9Mjpz dz0yOmV4cGFuZHRhYgoKYW5kIHJhbiBpdDoKCmphdmEgLWVhIC1qYXIgcHJlX2FuZF9wb3N0Lmph cgo8cHJlY29uZGl0aW9uIyB2YWx1ZTogaGVsbG8hLCBtaW5pbWFsTGVuZ3RoOiAwPgpEZXJpdmVk I3Rlc3Q6IHZhbHVlOiBoZWxsbyEKPHBvc3Rjb25kaXRpb24jIHZhbHVlOiBoZWxsbyFoZWxsbyEs IG1pbmltYWxMZW5ndGg6IDEwPgoKWW91IGNhbiBzZWUgdGhhdCB0aGVyZSBhcmVuJ3QgY2FsbHMg dG8gQmFzZSdzIHByZS9wb3N0Y29uZGl0aW9ucy4gRXhwZWN0ZWQgIApiZWhhdmlvdXIgZm9yIHRo aXMgZXhhbXBsZSBpczoKCmphdmEgLWVhIC1qYXIgcHJlX2FuZF9wb3N0Lmphcgo8cHJlY29uZGl0 aW9uIyB2YWx1ZTogaGVsbG8hLCBtaW5pbWFsTGVuZ3RoOiA4Pgo8cHJlY29uZGl0aW9uIyB2YWx1 ZTogaGVsbG8hLCBtaW5pbWFsTGVuZ3RoOiAwPgpEZXJpdmVkI3Rlc3Q6IHZhbHVlOiBoZWxsbyEK PHBvc3Rjb25kaXRpb24jIHZhbHVlOiBoZWxsbyFoZWxsbyEsIG1pbmltYWxMZW5ndGg6IDg+Cjxw b3N0Y29uZGl0aW9uIyB2YWx1ZTogaGVsbG8haGVsbG8hLCBtaW5pbWFsTGVuZ3RoOiAxMD4KCklu IHRoZSBjYXNlIHdoZW4gYi50ZXN0IGlzIGNhbGxlZCB3aXRoIGFyZ3VtZW50ICcwMTIzNDU2Nzg5 JyB0aGUgZXhwZWN0ZWQgIApiZWhhdmlvdXIgaXM6CgpqYXZhIC1lYSAtamFyIHByZV9hbmRfcG9z dC5qYXIKPHByZWNvbmRpdGlvbiMgdmFsdWU6IDAxMjM0NTY3ODksIG1pbmltYWxMZW5ndGg6IDg+ CkRlcml2ZWQjdGVzdDogdmFsdWU6IGhlbGxvIQo8cG9zdGNvbmRpdGlvbiMgdmFsdWU6IDAxMjM0 NTY3ODksIG1pbmltYWxMZW5ndGg6IDg+Cjxwb3N0Y29uZGl0aW9uIyB2YWx1ZTogMDEyMzQ1Njc4 OSwgbWluaW1hbExlbmd0aDogMTA+CgpJbiB0aGF0IGNhc2UgcHJlY29uZGl0aW9uIGluIERlcml2 ZWQjdGVzdCBkb2Vzbid0IGNoZWNrZWQgYmVjYXVzZSBCYXNlJ3MgIApwcmVjb25kaXRpb24gaXMg c2F0aXNmaWVkLgoKLS0gClJlZ2FyZHMsCllhdWhlbmkgQWtob3RuaWthdQpTZW5pb3IgUHJvZ3Jh bW1lcgpJbnRlcnZhbGUKZS1tYWlsOmVhbzE5N0BpbnRlcnZhbGUucnUgPG1haWx0bzplYW8xOTdA aW50ZXJ2YWxlLnJ1PgoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQpUaGlzIFNGLm5ldCBlbWFpbCBpcyBzcG9u c29yZWQgYnk6IE1pY3Jvc29mdApEZWZ5IGFsbCBjaGFsbGVuZ2VzLiBNaWNyb3NvZnQoUikgVmlz dWFsIFN0dWRpbyAyMDA4LgpodHRwOi8vY2xrLmF0ZG10LmNvbS9NUlQvZ28vdnNlMDEyMDAwMDA3 MG1ydC9kaXJlY3QvMDEvCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fCk5pY2UtaW5mbyBtYWlsaW5nIGxpc3QKTmljZS1pbmZvQGxpc3RzLnNvdXJjZWZvcmdl Lm5ldApodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9uaWNlLWlu Zm8K