Nice's DbC vs Eiffel DbC
"Yauheni Akhotnikau" <[email protected]> Sat, 09 Feb 2008 19:07:19 +0300
| Newsgroups | gmane.comp.lang.nice.general |
|---|---|
| Organization | Intervale |
| Message-ID | <[email protected]> |
SGkhCgpOaWNlIGhhcyB0aGUgc3BlY2lhbCBzeW50YXggZm9yIG92ZXJyaWRpbmcgbWV0aG9kcyBp biBkZXJpdmVkIGNsYXNzZXM6CgpjbGFzcyBCYXNlIHsgcHVibGljIHZvaWQgZigpIHsg4oCmICB9 IH0KY2xhc3MgRGVyaXZlZCBleHRlbmRzIEJhc2UgeyBmKCkgeyDigKYgfSB9CgpCdXQsIGlmIGEg bWV0aG9kIGRlZmluZXMgcHJlY29uZGl0aW9uIHRoZW4gdGhlcmUgaXNu4oCZdCBhIHBvc3NpYmls aXR5IHRvICAKb3ZlcnJpZGUgc3VjaCBtZXRob2Qg4oCTIGNvbXBpbGVyIGluZm9ybXMgYWJvdXQg c3ludGF4IGVycm9yOgoKY2xhc3MgQmFzZQoJewoJCXB1YmxpYyB2b2lkIHRlc3QoIFN0cmluZyB2 YWx1ZSApCgkJCXJlcXVpcmVzIHZhbHVlLmxlbmd0aCA+IDggOiAidmFsdWUgbXVzdCBiZSBhdCBs ZWFzdCA4IHN5bWJvbHMiCgkJCXsKCQkJCXByaW50bG4oICJCYXNlI3Rlc3Q6IHZhbHVlOiAiIHZh bHVlICk7CgkJCX0KCX0KCmNsYXNzIERlcml2ZWQgZXh0ZW5kcyBCYXNlCgl7CgkJdGVzdCggdmFs dWUgKQoJCQlyZXF1aXJlcyB2YWx1ZS5sZW5ndGggPiAwIDogInZhbHVlIGNhbm5vdCBiZSBlbXB0 eSIKCQkJewoJCQkJcHJpbnRsbiggIkRlcml2ZWQjdGVzdDogdmFsdWU6ICIgdmFsdWUgKTsKCQkJ fQoJfQoKdm9pZCBtYWluKCBTdHJpbmdbXSBhcmdzICkKCXsKCQlsZXQgYiA9IG5ldyBEZXJpdmVk KCk7CgkJYi50ZXN0KCAiaGVsbG8hIiApOwoJfQoKRDpcaG9tZVxlYW8xOTdcdG1wXG5pY2VcY29u dHJhY3RzPm5pY2VjIC0tamFyIHByZS5qYXIgcHJlCm5pY2UubGFuZzogcGFyc2luZwpwcmU6IHBh cnNpbmcKCkQ6XGhvbWVcZWFvMTk3XHRtcFxuaWNlXGNvbnRyYWN0c1xwcmVcbWFpbi5uaWNlOiBs aW5lIDEzLCBjb2x1bW4gMjU6CkVuY291bnRlcmVkICJyZXF1aXJlcyIuCldhcyBleHBlY3Rpbmcg b25lIG9mOgogICAgICJ7IiAuLi4KICAgICAiPSIgLi4uCgpjb21waWxhdGlvbiBmYWlsZWQgd2l0 aCAxIGVycm9yCgpJIGNhbiBnaXZlIGZ1bGwgcHJvdG90eXBlIGZvciBEZXJpdmVkI3Rlc3QgKGUu Zy4gcHVibGljIHZvaWQgdGVzdCjigKYpKS4gSW4gIApzdWNoIGNhc2UgY29tcGlsZXIgd2FybnMg bWU6CgpEOlxob21lXGVhbzE5N1x0bXBcbmljZVxjb250cmFjdHNccHJlXG1haW4ubmljZTogbGlu ZSAxMiwgY29sdW1uIDI5Ogp3YXJuaW5nOiBUaGlzIG1ldGhvZCBvdmVycmlkZXMgbmljZS5sYW5n LnZvaWQgdGVzdChwcmUuQmFzZSAgCnRoaXMsamF2YS5sYW5nLlN0cmluZyB2YWx1ZSlyZXF1aXJl cyBgPmAodmFsdWUubGVuZ3RoKCksIDgpOiJ2YWx1ZSBtdXN0IGJlICAKYXQgbGVhc3QgOCBzeW1i b2xzIiwKWW91IHNob3VsZCBtYWtlIHRoaXMgZXhwbGljaXQsIGVpdGhlciBieSBvbWl0dGluZyB0 aGUgcmV0dXJuIHR5cGUKb3IgYnkgdXNpbmcgdGhlICdvdmVycmlkZScga2V5d29yZApwcmU6IHR5 cGVjaGVja2luZwpwcmU6IGdlbmVyYXRpbmcgY29kZQpwcmU6IGxpbmtpbmcKcHJlOiB3cml0aW5n IGluIGFyY2hpdmUKbmljZS5sYW5nOiB3cml0aW5nIGluIGFyY2hpdmUKY29tcGlsYXRpb24gY29t cGxldGVkIHdpdGggMSB3YXJuaW5nCgpJIHRoaW5rLCBjb21waWxlciBzaG91bGQgYWxsb3cgcHJl Y29uZGl0aW9uIHNwZWNpZmljYXRpb24gaW4gb3ZlcnJpZGRlbiAgCm1ldGhvZHMuCgpUaGUgc2Ft ZSBzaXR1YXRpb24gaXMgZm9yIHBvc3QtY29uZGl0aW9ucyB0b28uCgpFaWZmZWzigJlzIERlc2ln bkJ5Q29udHJhY3QgaW1wbGVtZW50YXRpb24gYWxsb3dzIHNwZWNpZmljYXRpb24gb2YgbW9yZSAg CmRldGFpbGVkIHByZS0gYW5kIHBvc3QtY29uZGl0aW9uIGluIGRlcml2ZWQgY2xhc3Nlcy4gQnV0 IHByZS0gYW5kICAKcG9zdC1jb25kaXRpb25zIGluIG92ZXJyaWRkZW4gbWV0aG9kcyB3b3JrIGFz IGRlc2NyaWJlZCBiZWxsb3c6Ci0gYmFzZSBjbGFzc+KAmXMgcHJlLWNvbmRpdGlvbnMgYXJlIGNo ZWNrZWQgZmlyc3QuIE9ubHkgaWYgdGhleSBmYWlsICAKcHJlLWNvbmRpdGlvbiBmcm9tIGRlcml2 ZWQgY2xhc3MgYXJlIGNoZWNrZWQuIEl0IGZvbGxvd3MgY29udmVudGlvbiB0aGF0ICAKZGVyaXZl ZCBjbGFzcyBjb3VsZCByZWxheCBkZW1hbmRzIGZvciBjbGFzcyB1c2VyczogZS5nLiB1c2VyIGNv dWxkIGJyZWFrICAKY29uZGl0aW9ucyBmb3IgYmFzZSBjbGFzcywgYnV0IHNhdGlzZnkgY29uZGl0 aW9ucyBmb3IgZGVyaXZlZCBjbGFzcy4gQnV0ICAKaWYgdXNlciBzYXRpc2ZpZXMgY29uZGl0aW9u cyBmb3IgYmFzZSBjbGFzcyBjb25kaXRpb25zIGZvciBkZXJpdmVkIGNsYXNzICAKZG8gbm90IG1h dHRlcjsKLSBhbGwgcG9zdC1jb25kaXRpb25zIGFyZSBjaGVja2VkIGFmdGVyIG1ldGhvZCByZXR1 cm5zLiBJdCBmb2xsb3dzICAKY29udmVudGlvbiB0aGF0IGRlcml2ZWQgY2xhc3MgY2Fubm90IHJl bGF4IGl0cyBvd24gb2JsaWdhdGlvbnMsIGJ1dCBjb3VsZCAgCm1ha2UgaXQgbW9yZSBzdHJpY3Q6 IGUuZy4gbWV0aG9kIHNob3VsZCBndWFyYW50ZWVkIGJhc2UgY2xhc3Mgb2JsaWdhdGlvbnMgIAoo YmFzZSBjbGFzc+KAmXMgcG9zdC1jb25kaXRpb25zIHBhc3NlZCkgYW5kIGNhbiBwcm92aWRlIGFk ZGl0aW9uIGd1YXJhbnRpZXMgIAooaXRzIG93biBwb3N0LWNvbmRpdGlvbnMgcGFzc2VkKS4KCkkg dGhpbmsgdGhhdCBpZiBzdWNoIGJlaGF2aW91ciB3b3VsZCBiZSBpbXBsZW1lbnRlZCBpbiBOaWNl IGl0IHdpbGwgbWFrZSAgCk5pY2UgRGJDIG1vcmUgdXNlZnVsLgoKLS0gClJlZ2FyZHMsCllhdWhl bmkgQWtob3RuaWthdQpTZW5pb3IgUHJvZ3JhbW1lcgpJbnRlcnZhbGUKZS1tYWlsOmVhbzE5N0Bp bnRlcnZhbGUucnUgPG1haWx0bzplYW8xOTdAaW50ZXJ2YWxlLnJ1PgoKLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LQpUaGlzIFNGLm5ldCBlbWFpbCBpcyBzcG9uc29yZWQgYnk6IE1pY3Jvc29mdApEZWZ5IGFsbCBj aGFsbGVuZ2VzLiBNaWNyb3NvZnQoUikgVmlzdWFsIFN0dWRpbyAyMDA4LgpodHRwOi8vY2xrLmF0 ZG10LmNvbS9NUlQvZ28vdnNlMDEyMDAwMDA3MG1ydC9kaXJlY3QvMDEvCl9fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCk5pY2UtaW5mbyBtYWlsaW5nIGxpc3QK TmljZS1pbmZvQGxpc3RzLnNvdXJjZWZvcmdlLm5ldApodHRwczovL2xpc3RzLnNvdXJjZWZvcmdl Lm5ldC9saXN0cy9saXN0aW5mby9uaWNlLWluZm8K