Artifact
f06c3f6401952346dca22fe7fba90a6774d39e5f:
Manifest of check-in
[f06c3f6401]
- s_expressions-generic_caches: turn a useless check into a precondition
by
nat on
2014-02-23 17:55:02.
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
C s_expressions-generic_caches:\sturn\sa\suseless\scheck\sinto\sa\sprecondition
D 2014-02-23T17:55:02.105
F LICENSE 2217aef85198e03d52fe885c0350f5c5ca955639
F coverage.sh e3519e56b425fc4f6f5aab6c67db012470fb8109
F natools.gpr 8ccc9c476c874021448414ed1f87593f754e22a5
F src/natools-accumulators-string_accumulator_linked_lists.adb d55ef85caaca5193a44a272df73f8eb64311e213
F src/natools-accumulators-string_accumulator_linked_lists.ads 9a3f72fc75bbf7597af3bb5b42a4d5d2b025133b
F src/natools-accumulators.ads 6fdcc53c02e434caa1308dd807a96324cddd82fe
F src/natools-chunked_strings.adb ba9d2b7b2ae6f7edf574ed368c4e49493675e8ac
F src/natools-chunked_strings.ads e38612cf839d80f3c1a8ae6117bed0296dd99d10
F src/natools-getopt_long.adb 5c67cce333853e1e9e460e1dcc8ce4813ed7dc46
F src/natools-getopt_long.ads 1cc6b942cbd9d268fa56e1fb5edfcf0bf8495ff8
F src/natools-indefinite_holders.adb 3646d078bc3214aa319c4ef662e626a217fd91f3
F src/natools-indefinite_holders.ads 15040caba05bd18b1273fb03f9692502923893b9
F src/natools-references.adb f8319531422172e8f5fdf65ecd280dddfb70e99b
F src/natools-references.ads 8596f1f0ffc274f62f3ae6f98883bff96741a9a0
F src/natools-s_expressions-atom_buffers.adb 497d821f3639ebd0e5d8176249530a5ce7af377f
F src/natools-s_expressions-atom_buffers.ads b0af66da8fa1200fb589e6147b720c3baac8cfbb
F src/natools-s_expressions-caches.ads 8b010dafba57db9a4befc12baae6051a0865dd82
F src/natools-s_expressions-encodings.adb 55ec865df91165e3917f8ec79dae7e1101065817
F src/natools-s_expressions-encodings.ads 37bb5afca8f0953119404ad135e2de4ca81e45c8
F src/natools-s_expressions-generic_caches.adb 233b7de8f50cac41281fc5d2278dc405c8f45dd6
F src/natools-s_expressions-generic_caches.ads caee50ade0e0ea62276d335203cbb32c3d59f8a0
F src/natools-s_expressions-parsers.adb a9ae89461fcb9ddef97bac87f9f4c84af0c30a42
F src/natools-s_expressions-parsers.ads 90e8bf6ef8018e0657c620ebad7ee502aa7a51d7
F src/natools-s_expressions-printers-pretty.adb b778534f67a5a4544ddcda755792628eaa2aa27b
F src/natools-s_expressions-printers-pretty.ads 19a4ff4e659c68f08d6ea340ae0c3b969e0c70e2
F src/natools-s_expressions-printers.adb a821173aaee4780bf35d867ce23234c946a87a5c
F src/natools-s_expressions-printers.ads fea555b60320ca7fa94f23fe8d2a154e06d170bd
F src/natools-s_expressions.adb 2735e7af56743de3a0acf282a47500e327022a4d
F src/natools-s_expressions.ads e84fc420424fcc003146e0dcdfb6b252cf9b7e85
F src/natools-storage_pools.ads defed94c87dd54e2c38762b9eb063a149b69967b
F src/natools-string_slices-slice_sets.adb 5c501d728fad4f0d9107e03e194dce6480bcdb39
F src/natools-string_slices-slice_sets.ads cee78d0ef706469fd5289b98bbad57dae767ece5
F src/natools-string_slices.adb c5e18cd3df65d3af52666a7cc1baaf3edce47ee5
F src/natools-string_slices.ads d5a97a28c233d478e987fd36f4c857a3b245d59a
F src/natools-tests-text_io.adb 858548f70a5904a2014980e3596a0180dde1ff6d
F src/natools-tests-text_io.ads 912f4e4ed571d5a3da62b1a42b3b02273bf4d739
F src/natools-tests.adb e65e6f7869a6668ef035752d4be22e1cf79b4942
F src/natools-tests.ads 052149f59bbbc9a175582a260c597950c21075e8
F src/natools.ads c2189640701788e9aa77902dda0137eff97a47d6
F tests.gpr b51bbf43db3ab56cd2cefcdffab0b186041349f8
F tests/natools-accumulators-tests.adb 0d666fdff7df986e544f5c687f4cf3bf57afd093
F tests/natools-accumulators-tests.ads 60d77eff5ba930567217638b554114c2bd2d160e
F tests/natools-chunked_strings-tests-bugfixes.adb 18c020790bd5bb00b146bc689306308f8c3ac968
F tests/natools-chunked_strings-tests-bugfixes.ads ef8bcba8face6b48b34142bde021f2b9464b543f
F tests/natools-chunked_strings-tests-coverage.adb a980bf9df56b4007f8040e0fa94efc34c8353fb9
F tests/natools-chunked_strings-tests-coverage.ads 246b5ae9afa106fb2c81c239d8bc407386ebf182
F tests/natools-chunked_strings-tests-cxa4010.adb 21fa597dfdeb4b8d52bfaa28b86d5a1ec4750106
F tests/natools-chunked_strings-tests-cxa4010.ads c1a02e6153d09fe2cb12f816f1705e29a4623b0b
F tests/natools-chunked_strings-tests-cxa4011.adb 0be53a49b6de47977352cee7c8052b93232f2775
F tests/natools-chunked_strings-tests-cxa4011.ads 7a124cb845496587e8bd64c44058791f84cf455f
F tests/natools-chunked_strings-tests-cxa4030.adb 2173fb67d0778b85ac6ef841fdfd2d687008b9aa
F tests/natools-chunked_strings-tests-cxa4030.ads a4471785354c0ad53f3f431e5e577ca62af79380
F tests/natools-chunked_strings-tests-cxa4031.adb f978f44c736bc44b33f45eadf2a1f041279b1b24
F tests/natools-chunked_strings-tests-cxa4031.ads 2f397d9373c2ff33af3ff9977bd3beb39234dc8e
F tests/natools-chunked_strings-tests-cxa4032.adb 26a942f38b3df4293ad2affc8a642c26b576e8e0
F tests/natools-chunked_strings-tests-cxa4032.ads 99fa039bf5b0e762cb9f6fa016fa033738025e97
F tests/natools-chunked_strings-tests-memory.adb 15b64cf0527793c198a6c41452d1ce8178e8b779
F tests/natools-chunked_strings-tests-memory.ads 8359a5ece7144dc457e81b39080a9ba18401f3d2
F tests/natools-chunked_strings-tests.adb 3b5e5ac5c199f6ac9ae815d59294b7cb45417062
F tests/natools-chunked_strings-tests.ads 00c67a17ec116f24952d4c424ca9e3047ab49c4f
F tests/natools-getopt_long_tests.adb 71375b159f577ce5fea1194a87332ee55e4fff74
F tests/natools-getopt_long_tests.ads 3c1350bbcb314bc1e882cd3a142afb9d32cc9326
F tests/natools-reference_tests.adb a304628ce9e0c8a0dfe858098545600b85d23fed
F tests/natools-reference_tests.ads eb6f847a7f0a335381d56c4af06454bd96391c83
F tests/natools-references-tools.adb a1e1a8435dc889e3ed1f28016181e793ef848462
F tests/natools-references-tools.ads a4216fce602d986e2b9d766c65192664dc2897f4
F tests/natools-s_expressions-atom_buffers-tests.adb 535648874b5138ac464720990b9d623c6f4cd72e
F tests/natools-s_expressions-atom_buffers-tests.ads a50548f9b2917ec776ad658ce48258e8f362d6c3
F tests/natools-s_expressions-cache_tests.adb 0c1398f6a4c802ae8ad7452b1d2c166f7447e718
F tests/natools-s_expressions-cache_tests.ads 089397de57ddf05483381c3f6c69558dd06da1b2
F tests/natools-s_expressions-encodings-tests.adb 9abe5ffd1cf16a6e9755bf665e5a26894cbf24fc
F tests/natools-s_expressions-encodings-tests.ads bccbfc67e5ba9538d533b4ce2fe596ff332a96a9
F tests/natools-s_expressions-parsers-tests.adb f6937be6c82bce9a94327315a7698a87752fad28
F tests/natools-s_expressions-parsers-tests.ads 6b1fcfc480f3cf467535d9f6437fa08bbc5e6c9c
F tests/natools-s_expressions-printers-pretty-tests.adb 2c8c19248a4e01ddb118775bfc0952c882e31e7d
F tests/natools-s_expressions-printers-pretty-tests.ads 7a44a4daacc90ee031b519e4b2239bf6b0e00011
F tests/natools-s_expressions-printers-tests.adb 4ea2bd5d96e1bf00864d2b7f042f825aa9b14ec9
F tests/natools-s_expressions-printers-tests.ads a1f9098d2460555373ab85483399bc5ddfe4e71e
F tests/natools-s_expressions-test_tools.adb 5acb00bfe2eae165cecb3f39ec8bbe026ec80be3
F tests/natools-s_expressions-test_tools.ads c7139c29da8a5644295a5bb1dc20539d856a1a88
F tests/natools-string_slice_set_tests.adb 0813a89e7ddbba450a6ebcf10965cd8293baae37
F tests/natools-string_slice_set_tests.ads ab0e95d47976d8e4dfd70f14d21106afbd77841d
F tests/natools-string_slice_tests.adb bab25420565ed570369e1a8d97e0f536b4f7d061
F tests/natools-string_slice_tests.ads 963c091de4d9fc2cf8e90b799cb0ee765140a937
F tests/test_all.adb 0e9aecb08c217484251255e2ac5d9e9478d93674
P 7ac5ffc727feba8b641c4ae209df66b307b0d861
R 334933267873a1bf6d9c5a6c3cf0ad73
U nat
Z a0dee062de1f46826efd94a39acf6890
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTCjX2AAoJEH/11IppJ3zBTfYQAMkBaA104Y8VPCFDyUp2pKep
tmsDpJkQH1vp4EW/yinpxnvqv+qCfF4cIBr7+o+6bAbrCvJodvsEiRF6HfC7yGbC
PZ5Cb5x6EoE0NR+j+hgHz95rIVrcsy9XvPzN6DPxq5/m1XghXX/RYXePTU1fx6VR
/U9jVtQr8X67mJYqpqQ2ybhszBzPN8JSPmsWdrV3RgGrVjXO3CPrbL5M8U3mivt/
Wi2vgn2OuFiAOXleiWPeDPXkkRZZb8fGgBqSTtSqUR6OkqMn3W7J4/WzERXxAcWi
5V8MIeRVbj3XUSmmLNHXDbO/DRT6N9j+meSysApEGIYqAoMgIy5jdm9dLUWxXVzd
ft+tHnmIk3Iy83m6loPmURXjHckBHHGYdDEIus4QSxSfA/VV4wRCtPyv+BxXgKQq
MjH90mxWMHhJU3aZ+2tRtmCbUaRcee0d1NmQkd7Li8GIfC8UwjI8btEXu1KNmUFV
wS59a/MXV8l5yYqMyWrzpPHsCuy6+R0SFmIDZ+4b5cSHISkKEhuHVMQm6h2R+1rW
STmRkMW3VJYtiqTbhIBbdimiOYH5fZ5Tq25HsqyUWrVoXHO1sNH4zXN1OjERq7W4
NZfQEN/BR9T3kvBvMmFLLv9rEbMMjCRaSVNbaiWm4LNwBaJa8tIb+1QgLngLME99
pHUDbgx2WXHZY7oOgRRk
=/l4z
-----END PGP SIGNATURE-----