RE: [gobo-eiffel] Void safety
"'[email protected]' kwaxer-JGs/[email protected] [gobo-eiffel]" <[email protected]> Sat, 07 Mar 2015 07:58:05 +0300
| Newsgroups | gmane.comp.lang.eiffel.gobo.general |
|---|---|
| Message-ID | <[email protected]> |
------=_Part_0_1425704285416 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 Content-Disposition: inline SSdsbCBhbnN3ZXIgb25seSB0aGlzIHBhcnQ6Cgo+IEl0IHNlZW1zIEkgbmVlZCBiYXNlLXNh ZmUuZWNmPz8KCgpJbmRlZWQsIGEgdm9pZC1zYWZlIHN5c3RlbSBjYW5ub3QgZGVwZW5kIG9u IGEgbm9uLXZvaWQtc2FmZSBvbmUsIHRoZXJlZm9yZSBiYXNlLXNhZmUuZWNmIHNob3VsZCBi ZSB1c2VkLgoKUmVnYXJkcywKQWxleGFuZGVyIEtvZ3RlbmtvdgoKLS0tLS0gUmVwbHkgbWVz c2FnZSAtLS0tLQrQntGCOiAiQmVyZW5kIGRlIEJvZXIgYmVyZW5kQHBvYm94LmNvbSBbZ29i by1laWZmZWxdIiA8Z29iby1laWZmZWxAeWFob29ncm91cHMuY29tPgrQmtC+0LzRgzogPGdv Ym8tZWlmZmVsQHlhaG9vZ3JvdXBzLmNvbT4K0KLQtdC80LA6IFtnb2JvLWVpZmZlbF0gVm9p ZCBzYWZldHkK0JTQsNGC0LA6INGB0LEsINC80LDRgCA3LCAyMDE1IDAwOjA2CgpIZWxsbyBB bGwsCgpJIHRyaWVkIHRvIGFkZCB0aGUgdm9pZF9zYWZldHkgb3B0aW9uIHRvIG15IHN5c3Rl bS54YWNlLCBidXQgdGhhdApsZWFkcyB0byBpbW1lZGlhdGUgZXJyb3JzIHdoZW4gY29tcGls aW5nIGxpa2U6CgpDbGFzczogRk9PClZvaWQgc2FmZXR5OiBUcmFuc2l0aW9uYWwKQ29uZmln dXJhdGlvbjogY29tcGlsZV9pc2UuZWNmClByb3ZpZGVyIGNsYXNzOiBJTlRFR0VSXzMyClBy b3ZpZGVyIG9wdGlvbjogVm9pZCBzYWZldHk6IE5vClByb3ZpZGVyIGNvbmZpZ3VyYXRpb246 IC91c3IvbG9jYWwvRWlmZmVsXzE0LjA1L2xpYnJhcnkvYmFzZS9iYXNlLmVjZgpMaW5lOiA2 OAotPiAgICAgIHZlcnNlX251bWJlcjogSU5URUdFUgpkbwoKCkl0IHNlZW1zIEkgbmVlZCBi YXNlLXNhZmUuZWNmPz8KCkNhbiBJIHVzZSB2b2lkIHNhZmV0eSB3aXRoIGEgZ2VhbnQvZ2V4 YWNlIGNvbWJpbmF0aW9uIGFscmVhZHk/CgotLQpBbGwgdGhlIGJlc3QsCgpCZXJlbmQgZGUg Qm9lcg== ------=_Part_0_1425704285416 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: base64 CgoKCjxoZWFkPgoKPHN0eWxlIHR5cGU9InRleHQvY3NzIj4KPCEtLQoKLyogc3RhcnQgb2Yg YXR0YWNobWVudCBzdHlsZSAqLwogICAgICAgLnlncnAtcGhvdG8tdGl0bGV7CiAgICAgICAg IGNsZWFyOiBib3RoOwogICAgICAgICBmb250LXNpemU6IHNtYWxsZXI7CiAgICAgICAgIGhl aWdodDogMTVweDsKICAgICAgICAgb3ZlcmZsb3c6IGhpZGRlbjsKICAgICAgICAgdGV4dC1h bGlnbjogY2VudGVyOwogICAgICAgICB3aWR0aDogNzVweDsKICAgICAgIH0KICAgICAgIGRp di55Z3JwLXBob3RvewogICAgICAgICBiYWNrZ3JvdW5kLXBvc2l0aW9uOiBjZW50ZXI7CiAg ICAgICAgIGJhY2tncm91bmQtcmVwZWF0OiBuby1yZXBlYXQ7CiAgICAgICAgIGJhY2tncm91 bmQtY29sb3I6IHdoaXRlOwogICAgICAgICBib3JkZXI6IDFweCBzb2xpZCBibGFjazsKICAg ICAgICAgaGVpZ2h0OiA2MnB4OwogICAgICAgICB3aWR0aDogNjJweDsKICAgICAgIH0KCiAg ICAgICBkaXYucGhvdG8tdGl0bGUgCiAgICAgICAgIGEsCiAgICAgICAgIGRpdi5waG90by10 aXRsZSBhOmFjdGl2ZSwKICAgICAgICAgZGl2LnBob3RvLXRpdGxlIGE6aG92ZXIsCiAgICAg ICAgIGRpdi5waG90by10aXRsZSBhOnZpc2l0ZWQgewogICAgICAgICAgIHRleHQtZGVjb3Jh dGlvbjogbm9uZTsgCiAgICAgICB9CgogICAgICAgZGl2LmF0dGFjaC10YWJsZSBkaXYuYXR0 YWNoLXJvdyB7CiAgICAgICAgIGNsZWFyOiBib3RoOwogICAgICAgfQoKICAgICAgIGRpdi5h dHRhY2gtdGFibGUgZGl2LmF0dGFjaC1yb3cgZGl2IHsKICAgICAgICAgZmxvYXQ6IGxlZnQ7 CiAgICAgICAgIC8qIG1hcmdpbjogMnB4OyovCiAgICAgICB9CgogICAgICAgcCB7CiAgICAg ICAgIGNsZWFyOiBib3RoOwogICAgICAgICBwYWRkaW5nOiAxNXB4IDAgM3B4IDA7Cgkgb3Zl cmZsb3c6IGhpZGRlbjsKICAgICAgIH0KCiAgICAgICBkaXYueWdycC1maWxlIHsKICAgICAg ICAgd2lkdGg6IDMwcHg7CiAgICAgICAgIHZhbGlnbjogbWlkZGxlOwogICAgICAgfQogICAg ICAgZGl2LmF0dGFjaC10YWJsZSBkaXYuYXR0YWNoLXJvdyBkaXYgZGl2IGEgewogICAgICAg ICB0ZXh0LWRlY29yYXRpb246IG5vbmU7CiAgICAgICB9CgogICAgICAgZGl2LmF0dGFjaC10 YWJsZSBkaXYuYXR0YWNoLXJvdyBkaXYgZGl2IHNwYW4gewogICAgICAgICBmb250LXdlaWdo dDogbm9ybWFsOwogICAgICAgfQoKICAgICAgIGRpdi55Z3JwLWZpbGUtdGl0bGUgewogICAg ICAgICBmb250LXdlaWdodDogYm9sZDsKICAgICAgIH0KIC8qIGVuZCBvZiBhdHRhY2htZW50 IHN0eWxlICovCiAgICAgICAgLS0+CiAgICAgICAgPC9zdHlsZT4KICAgICAgICA8L2hlYWQ+ CjwhRE9DVFlQRSBIVE1MIFBVQkxJQyAiLS8vVzNDLy9EVEQgSFRNTCA0LjAxLy9FTiIgImh0 dHA6Ly93d3cudzMub3JnL1RSL2h0bWw0L3N0cmljdC5kdGQiPgo8aHRtbD48aGVhZD48L2hl YWQ+PGJvZHk+CgoKPCEtLSB8Kip8YmVnaW4gZWdwIGh0bWwgYmFubmVyfCoqfCAtLT4KCjxi cj48YnI+Cgo8IS0tIHwqKnxlbmQgZWdwIGh0bWwgYmFubmVyfCoqfCAtLT4KCgo8ZGl2IHN0 eWxlPSJmb250LXNpemU6IDEycHQ7IGZvbnQtZmFtaWx5OiBDYWxpYnJpLHNhbnMtc2VyaWY7 Ij48ZGl2PkknbGwgYW5zd2VyIG9ubHkgdGhpcyBwYXJ0OjwvZGl2PjxkaXY+PGJyPjwvZGl2 PjxkaXY+Jmd0OyZuYnNwOzxzcGFuIGNsYXNzPSJBcHBsZS1zdHlsZS1zcGFuIiBzdHlsZT0i Zm9udC1mYW1pbHk6IG1vbm9zcGFjZTsgd2hpdGUtc3BhY2U6IHByZS13cmFwOyAiPkl0IHNl ZW1zIEkgbmVlZCBiYXNlLXNhZmUuZWNmPz88L3NwYW4+PC9kaXY+PGRpdj48c3BhbiBjbGFz cz0iQXBwbGUtc3R5bGUtc3BhbiIgc3R5bGU9ImZvbnQtZmFtaWx5OiBtb25vc3BhY2U7IHdo aXRlLXNwYWNlOiBwcmUtd3JhcDsgIj48YnI+PC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4gY2xh c3M9IkFwcGxlLXN0eWxlLXNwYW4iIHN0eWxlPSJmb250LWZhbWlseTogbW9ub3NwYWNlOyB3 aGl0ZS1zcGFjZTogcHJlLXdyYXA7ICI+SW5kZWVkLCBhIHZvaWQtc2FmZSBzeXN0ZW0gY2Fu bm90IGRlcGVuZCBvbiBhIG5vbi12b2lkLXNhZmUgb25lLCB0aGVyZWZvcmUgYmFzZS1zYWZl LmVjZiBzaG91bGQgYmUgdXNlZC48L3NwYW4+PC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5S ZWdhcmRzLDwvZGl2PjxkaXY+QWxleGFuZGVyIEtvZ3RlbmtvdjwvZGl2Pjxicj48ZGl2IGlk PSJodGNfaGVhZGVyIj4tLS0tLSBSZXBseSBtZXNzYWdlIC0tLS0tPGJyPtCe0YI6ICZxdW90 O0JlcmVuZCBkZSBCb2VyIGJlcmVuZEBwb2JveC5jb20gW2dvYm8tZWlmZmVsXSZxdW90OyAm bHQ7Z29iby1laWZmZWxAeWFob29ncm91cHMuY29tJmd0Ozxicj7QmtC+0LzRgzogJmx0O2dv Ym8tZWlmZmVsQHlhaG9vZ3JvdXBzLmNvbSZndDs8YnI+0KLQtdC80LA6IFtnb2JvLWVpZmZl bF0gVm9pZCBzYWZldHk8YnI+0JTQsNGC0LA6INGB0LEsINC80LDRgCA3LCAyMDE1IDAwOjA2 PC9kaXY+PC9kaXY+PGJyPjxwcmUgc3R5bGU9IndvcmQtd3JhcDogYnJlYWstd29yZDsgd2hp dGUtc3BhY2U6IHByZS13cmFwOyI+SGVsbG8gQWxsLAoKSSB0cmllZCB0byBhZGQgdGhlIHZv aWRfc2FmZXR5IG9wdGlvbiB0byBteSBzeXN0ZW0ueGFjZSwgYnV0IHRoYXQKbGVhZHMgdG8g aW1tZWRpYXRlIGVycm9ycyB3aGVuIGNvbXBpbGluZyBsaWtlOgoKICBDbGFzczogRk9PCiAg Vm9pZCBzYWZldHk6IFRyYW5zaXRpb25hbAogIENvbmZpZ3VyYXRpb246IGNvbXBpbGVfaXNl LmVjZgogIFByb3ZpZGVyIGNsYXNzOiBJTlRFR0VSXzMyCiAgUHJvdmlkZXIgb3B0aW9uOiBW b2lkIHNhZmV0eTogTm8KICBQcm92aWRlciBjb25maWd1cmF0aW9uOiAvdXNyL2xvY2FsL0Vp ZmZlbF8xNC4wNS9saWJyYXJ5L2Jhc2UvYmFzZS5lY2YKICBMaW5lOiA2OAogIC0mZ3Q7ICAg ICAgdmVyc2VfbnVtYmVyOiBJTlRFR0VSCiAgICAgICAgZG8KCgpJdCBzZWVtcyBJIG5lZWQg YmFzZS1zYWZlLmVjZj8/CgpDYW4gSSB1c2Ugdm9pZCBzYWZldHkgd2l0aCBhIGdlYW50L2dl eGFjZSBjb21iaW5hdGlvbiBhbHJlYWR5PwoKLS0KQWxsIHRoZSBiZXN0LAoKQmVyZW5kIGRl IEJvZXIKCjwvcHJlPgoKCgo8IS0tIHwqKnxiZWdpbiBlZ3AgaHRtbCBiYW5uZXJ8Kip8IC0t PgoKPGJyPgoKCjxicj4KCjwhLS0gfCoqfGVuZCBlZ3AgaHRtbCBiYW5uZXJ8Kip8IC0tPgoK CjxkaXYgd2lkdGg9IjEiIHN0eWxlPSJjb2xvcjogd2hpdGU7IGNsZWFyOiBib3RoOyIvPl9f Ll8sXy5fX188L2Rpdj4KCiAgICAgIAogIAoKICAgIAogICAgPGRpdiBpZD0iZnJvbURNQVJD IiBzdHlsZT0iY2xlYXI6Ym90aDsgbWFyZ2luLXRvcDogMTBweDsiPgogICAgICAgICA8aHIg c3R5bGU9ImhlaWdodDoycHggOyBib3JkZXItd2lkdGg6MDsgY29sb3I6I0UzRTNFMzsgYmFj a2dyb3VuZC1jb2xvcjojRTNFM0UzOyI+CiAgICAgICAgIFBvc3RlZCBieTogJnF1b3Q7PT91 dGYtOD9CP2EzZGhlR1Z5UUcxaGFXd3VjblU9Pz0mcXVvdDsgJmx0O2t3YXhlckBtYWlsLnJ1 Jmd0OyAgICAgICAgIDxociBzdHlsZT0iaGVpZ2h0OjJweCA7IGJvcmRlci13aWR0aDowOyBj b2xvcjojRTNFM0UzOyBiYWNrZ3JvdW5kLWNvbG9yOiNFM0UzRTM7Ij4KICAgIDwvZGl2Pgo8 IS0tIFN0YXJ0IFJlY29tbWVuZGF0aW9ucyAtLT4KPCEtLSBFbmQgUmVjb21tZW5kYXRpb25z IC0tPgoKCjwhLS0gfCoqfGJlZ2luIGVncCBodG1sIGJhbm5lcnwqKnwgLS0+Cgo8YnI+PGJy Pgo8dHQ+ClRvIFBvc3QgYSBtZXNzYWdlLCBzZW5kIGl0IHRvOiZuYnNwOyZuYnNwOyBnb2Jv LWVpZmZlbEBlR3JvdXBzLmNvbTxCUj4KVG8gVW5zdWJzY3JpYmUsIHNlbmQgYSBibGFuayBt ZXNzYWdlIHRvOiBnb2JvLWVpZmZlbC11bnN1YnNjcmliZUBlR3JvdXBzLmNvbTwvdHQ+Cjxi cj48YnI+Cgo8IS0tIHwqKnxlbmQgZWdwIGh0bWwgYmFubmVyfCoqfCAtLT4KCgoKPCEtLSB8 Kip8YmVnaW4gZWdwIGh0bWwgYmFubmVyfCoqfCAtLT4KCiAgPGltZyBzcmM9Imh0dHA6Ly9n ZW8ueWFob28uY29tL3NlcnY/cz05NzQ3NjU5MC9ncnBJZD0xNTIyMjcwL2dycHNwSWQ9MTcw NTAwNjc2NC9tc2dJZD0xODQ4L3N0aW1lPTE0MjU3MDQyOTUiIHdpZHRoPSIxIiBoZWlnaHQ9 IjEiPiA8YnI+Cgo8IS0tIHwqKnxlbmQgZWdwIGh0bWwgYmFubmVyfCoqfCAtLT4KCiAgICAK PCEtLSB8Kip8YmVnaW4gZWdwIGh0bWwgYmFubmVyfCoqfCAtLT4KCjxicj4KCgoKICAgCiAg ICAgCiAKICAgICAgICA8IS0tIHwqKnxiZWdpbiBlZ3AgaHRtbCBiYW5uZXJ8Kip8IC0tPgog ICAgICAgIDxkaXYgaWQ9InlncnAtdml0YWwiIHN0eWxlPSJiYWNrZ3JvdW5kLWNvbG9yOiAj ZjJmMmYyOyBmb250LWZhbWlseTogVmVyZGFuYTsgZm9udC1zaXplOiAxMHB4OyBtYXJnaW4t Ym90dG9tOiAxMHB4OyBwYWRkaW5nOiAxMHB4OyI+CgogICAgICAgIDxzcGFuIGlkPSJ2aXRo ZCIgc3R5bGU9ImZvbnQtd2VpZ2h0OiBib2xkOyBjb2xvcjogIzMzMzsgdGV4dC10cmFuc2Zv cm06IHVwcGVyY2FzZTsgIj48YSBocmVmPSJodHRwczovL2dyb3Vwcy55YWhvby5jb20vbmVv L2dyb3Vwcy9nb2JvLWVpZmZlbC9pbmZvO195bGM9WDNvRE1USmxZbWt6T0RFd0JGOVRBemsz TXpVNU56RTBCR2R5Y0Vsa0F6RTFNakl5TnpBRVozSndjM0JKWkFNeE56QTFNREEyTnpZMEJI TmxZd04yZEd3RWMyeHJBM1puYUhBRWMzUnBiV1VETVRReU5UY3dOREk1TlEtLSIgc3R5bGU9 InRleHQtZGVjb3JhdGlvbjogbm9uZTsiPlZpc2l0IFlvdXIgR3JvdXA8L2E+PC9zcGFuPgoK ICAgICA8dWwgc3R5bGU9Imxpc3Qtc3R5bGUtdHlwZTogbm9uZTsgbWFyZ2luOiAwOyBwYWRk aW5nOiAwOyBkaXNwbGF5OiBpbmxpbmU7Ij4KICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgIDwvdWw+CiAgPC9kaXY+CgoKPGRpdiBpZD0iZnQi IHN0eWxlPSJmb250LWZhbWlseTogQXJpYWw7IGZvbnQtc2l6ZTogMTFweDsgbWFyZ2luLXRv cDogNXB4OyBwYWRkaW5nOiAwIDJweCAwIDA7IGNsZWFyOiBib3RoOyI+CiAgPGEgaHJlZj0i aHR0cHM6Ly9ncm91cHMueWFob28uY29tL25lbztfeWxjPVgzb0RNVEprWldJd1ltRTJCRjlU QXprM05EYzJOVGt3QkdkeWNFbGtBekUxTWpJeU56QUVaM0p3YzNCSlpBTXhOekExTURBMk56 WTBCSE5sWXdObWRISUVjMnhyQTJkbWNBUnpkR2x0WlFNeE5ESTFOekEwTWprMSIgc3R5bGU9 ImZsb2F0OiBsZWZ0OyI+PGltZyBzcmM9Imh0dHA6Ly9sLnlpbWcuY29tL3J1L3N0YXRpYy9p bWFnZXMveWcvaW1nL2VtYWlsL25ld19sb2dvL2xvZ28tZ3JvdXBzLTEzN3gxNS5wbmciIGhl aWdodD0iMTUiIHdpZHRoPSIxMzciIGFsdD0iWWFob28hIEdyb3VwcyIgc3R5bGU9ImJvcmRl cjogMDsiLz48L2E+CiAgPGRpdiBzdHlsZT0iY29sb3I6ICM3NDc1NzU7IGZsb2F0OiByaWdo dDsiPiAmYnVsbDsgPGEgaHJlZj0iaHR0cHM6Ly9pbmZvLnlhaG9vLmNvbS9wcml2YWN5L3Vz L3lhaG9vL2dyb3Vwcy9kZXRhaWxzLmh0bWwiIHN0eWxlPSJ0ZXh0LWRlY29yYXRpb246IG5v bmU7Ij5Qcml2YWN5PC9hPiAmYnVsbDsgPGEgaHJlZj0ibWFpbHRvOmdvYm8tZWlmZmVsLXVu c3Vic2NyaWJlQHlhaG9vZ3JvdXBzLmNvbT9zdWJqZWN0PVVuc3Vic2NyaWJlIiBzdHlsZT0i dGV4dC1kZWNvcmF0aW9uOiBub25lOyI+VW5zdWJzY3JpYmU8L2E+ICZidWxsOyA8YSBocmVm PSJodHRwczovL2luZm8ueWFob28uY29tL2xlZ2FsL3VzL3lhaG9vL3V0b3MvdGVybXMvIiBz dHlsZT0idGV4dC1kZWNvcmF0aW9uOiBub25lOyI+VGVybXMgb2YgVXNlPC9hPiA8L2Rpdj4K PC9kaXY+Cgo8IS0tIHwqKnxlbmQgZWdwIGh0bWwgYmFubmVyfCoqfCAtLT4KCiAgPC9kaXY+ IDwhLS0geWdycC1tc2cgLS0+CgogICAKCgogIDxicj4KCjwhLS0gfCoqfGVuZCBlZ3AgaHRt bCBiYW5uZXJ8Kip8IC0tPgoKCjxkaXYgc3R5bGU9ImNvbG9yOiB3aGl0ZTsgY2xlYXI6IGJv dGg7Ii8+X18sXy5fLF9fXzwvZGl2Pgo8L2JvZHk+PC9odG1sPg== ------=_Part_0_1425704285416--