Natools

Artifact [89b2db0d6d]
Login

Artifact 89b2db0d6d65580c51038a92e591858ef6fc60e7:

Manifest of check-in [89b2db0d6d] - s_expressions-printers-pretty: add valid default values to Parameter objects

This ensures that default Parameters objects are valid, and therefore that pretty printers without explicit parameter initialization are valid (and canonical) too. by nat on 2014-06-08 19:08:16.


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

C s_expressions-printers-pretty:\sadd\svalid\sdefault\svalues\sto\sParameter\sobjects\n\nThis\sensures\sthat\sdefault\sParameters\sobjects\sare\svalid,\sand\stherefore\sthat\npretty\sprinters\swithout\sexplicit\sparameter\sinitialization\sare\svalid\n(and\scanonical)\stoo.
D 2014-06-08T19:08:16.631
F LICENSE 2217aef85198e03d52fe885c0350f5c5ca955639
F coverage.sh 0c2b3fd4ac7079fd860b650d762e70e56cdf85bf
F generated/natools-s_expressions-printers-pretty-config-atom_enc.adb 3bbaf8afa5adc9b192345dd180377f4b87ee3d01
F generated/natools-s_expressions-printers-pretty-config-atom_enc.ads 767f98f4141fb6419d94b5adf22eb117a8f067b0
F generated/natools-s_expressions-printers-pretty-config-commands-ce.adb 47cc9100d044fca1a323f97fb56e1ae23af47e4d
F generated/natools-s_expressions-printers-pretty-config-commands-ce.ads b44cd805930c68da03c7917899b7b06b86c2fa23
F generated/natools-s_expressions-printers-pretty-config-commands-sc.adb 90bd70023897e83135bd9b6ede9cb370675fb0e9
F generated/natools-s_expressions-printers-pretty-config-commands-sc.ads 59a0bc5d8e30f5b865c9dda579c2a1bc0fa750ff
F generated/natools-s_expressions-printers-pretty-config-commands-t.adb acd921b728dcede4b947c592ecedad08d69d9809
F generated/natools-s_expressions-printers-pretty-config-commands-t.ads 443f6a52a2caf638cd7f54e500212edbaf447db7
F generated/natools-s_expressions-printers-pretty-config-commands.adb bf9019d191863f2e9cbddd3aa12489d685ab7e32
F generated/natools-s_expressions-printers-pretty-config-commands.ads 2d6228aeb9ca902fef4bca4330e32aee2073769b
F generated/natools-s_expressions-printers-pretty-config-hex_casing.adb 5cf39b0349bef63e78d1aca085f47ef473c64201
F generated/natools-s_expressions-printers-pretty-config-hex_casing.ads c58e5f8606affbcee69628a18a6ae9e2ce9ea3b0
F generated/natools-s_expressions-printers-pretty-config-main_cmd.adb 1c8bcc022010e18cf48762673fcecad235c13ab8
F generated/natools-s_expressions-printers-pretty-config-main_cmd.ads a2c57c65203e203e0bbd588928efe5a9906fb556
F generated/natools-s_expressions-printers-pretty-config-newline_cmd.adb 37766ebc2e64ddda029c06f530de70eb3e3db7b2
F generated/natools-s_expressions-printers-pretty-config-newline_cmd.ads e6c879cae3ab997bee4740847f8d47ff53d78a74
F generated/natools-s_expressions-printers-pretty-config-newline_enc.adb 08a444c99aca30677468ae3f6994921701951af1
F generated/natools-s_expressions-printers-pretty-config-newline_enc.ads 62d236278b37e5e33b9228830e8e9ca79a2c1731
F generated/natools-s_expressions-printers-pretty-config-quoted_cmd.adb e693d4a6afb5e3b577eaa38994ed4c43bf56cf72
F generated/natools-s_expressions-printers-pretty-config-quoted_cmd.ads a65c06629c855f0a53d2a946f0ad45a7ca34602e
F generated/natools-s_expressions-printers-pretty-config-quoted_esc.adb 3fd678bb8630eebbfe0f772399a9490ad605b8e4
F generated/natools-s_expressions-printers-pretty-config-quoted_esc.ads 0773795c6aa6cdc315bc758f29a6afbf4c5d5d5b
F generated/natools-s_expressions-printers-pretty-config-quoted_opt.adb ec570f6723979fd84c609af5910b154aabefd306
F generated/natools-s_expressions-printers-pretty-config-quoted_opt.ads 70b3fd1aefda76f93085eede170ead98b25623ca
F generated/natools-s_expressions-printers-pretty-config-token_opt.adb 690d5c0b2f7c796fa3a1fcd073f8df790625c01c
F generated/natools-s_expressions-printers-pretty-config-token_opt.ads b368f817fc6488bb6093a1bbb95be1a4ffdbd970
F generated/natools-static_hash_maps-s_expressions-command_map.adb e6140e570c4a316c87939158d58aae1928882524
F generated/natools-static_hash_maps-s_expressions-command_map.ads 9b8c6eae545c552262984451058151854ce35f8d
F generated/natools-static_hash_maps-s_expressions-command_maps-test.adb 4ca212829b5178ad880e1f27813d68b6ca8e694a
F generated/natools-static_hash_maps-s_expressions-command_maps-test.ads 4053b539ac0f8dc08c8e94a26dd6fa3dfbcda1b6
F generated/natools-static_hash_maps-s_expressions-command_maps.adb b6be33832f74dc3116507b9e56acc36faf8bb66d
F generated/natools-static_hash_maps-s_expressions-command_maps.ads 0eaa976a29fb8e68efa79b7bc092d63ef23bbe9f
F generated/natools-static_hash_maps-s_expressions-command_pkg.adb 5d93ba52c8117f9b8ff4a612c7bcf7db41ace6fa
F generated/natools-static_hash_maps-s_expressions-command_pkg.ads 7cb4b44268482caee3d9b238ec664a41493c75cb
F natools.gpr 8d2e73e8854f77794275463ba7f092d69bbb95bf
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 96ce81a25488ecfac10bbdccb518c72a782a5049
F src/natools-chunked_strings.ads e38612cf839d80f3c1a8ae6117bed0296dd99d10
F src/natools-getopt_long.adb 5c67cce333853e1e9e460e1dcc8ce4813ed7dc46
F src/natools-getopt_long.ads 1cc6b942cbd9d268fa56e1fb5edfcf0bf8495ff8
F src/natools-gnat_hmac-md5.ads 6c2d5c71c49ba48dde7d2c7d4792bc7aae56933e
F src/natools-gnat_hmac-sha1.ads 45f71dfa088995da48800a60cceaf3bdf2580c43
F src/natools-gnat_hmac-sha256.ads ada05ac64f1623a8ff2cdc353cbb4d266dc7f41d
F src/natools-gnat_hmac.adb 325d978ed3ad348b3555834a8383fc022d175bac
F src/natools-gnat_hmac.ads 31db0c7535e64db78c5ecd8ed4c9acfab23059b8
F src/natools-hmac.adb 37002ea8689827bf7952d6a65603127fce35c452
F src/natools-hmac.ads a0ed1e90f14bc62f9fdec370f433f0d8b6cfcec0
F src/natools-indefinite_holders.adb 3646d078bc3214aa319c4ef662e626a217fd91f3
F src/natools-indefinite_holders.ads 15040caba05bd18b1273fb03f9692502923893b9
F src/natools-references.adb ced30f8c328df819365cf1d7f8109b00ba13be4c
F src/natools-references.ads 5708cf8da37d954980beac218672e4345ecaf6e2
F src/natools-s_expressions-atom_buffers.adb 24525cb69bfe6eee23c587a206ed46888ce6fbb9
F src/natools-s_expressions-atom_buffers.ads 977a8a6da90e85e2fb6a4429389d7039599e78ed
F src/natools-s_expressions-atom_refs.ads 6020b8b1071e597e232c115e9a0117f6f68cb038
F src/natools-s_expressions-caches.ads c36370cea11e390ef3258200743182c7ecd944f6
F src/natools-s_expressions-dynamic_interpreters.adb c05be98464729042a47bb1fc1278397094425b4b
F src/natools-s_expressions-dynamic_interpreters.ads 39f192a56d15cad5299977037ade4ee51447ad03
F src/natools-s_expressions-encodings.adb 6be873c8b5e4534b3460873d2f89898022e98df5
F src/natools-s_expressions-encodings.ads a5e369092e2feba1ed8233b8c898877d7caaa677
F src/natools-s_expressions-file_readers.adb 3cf81ddf53d5920684ed1aaf4b0396b865bf8dfb
F src/natools-s_expressions-file_readers.ads 412fa61073ec7d0221bc507c3153b7dd3d75e290
F src/natools-s_expressions-file_writers.adb 96c31e5d5b1aedd9c53d552f7a11d14ac5aeefef
F src/natools-s_expressions-file_writers.ads 01b696634ece3610732deff59a58f2d7d4f7196f
F src/natools-s_expressions-generic_caches.adb 53e712c6b338bca8126446277b97667c852c8bbd
F src/natools-s_expressions-generic_caches.ads f06dacf895df67002113ee1d309915750d2560e3
F src/natools-s_expressions-interpreter_loop.adb 3902fbdc5b3339a6d8734df54bb529e7259bfe4e
F src/natools-s_expressions-interpreter_loop.ads 440b154b0c119fa39c9917167ea764157264a6a5
F src/natools-s_expressions-interpreters.adb 43b0b541fba79a65bfe0df4ffee4c786726123b0
F src/natools-s_expressions-interpreters.ads d8ed9e5354799983cda6d06b3e36ad385dcd7aec
F src/natools-s_expressions-lockable.adb a0ead12b97f42512134dbfc8d493789f55bb8a5f
F src/natools-s_expressions-lockable.ads 4870e19dfa94c23abd17632cbe5037a77258de07
F src/natools-s_expressions-parsers.adb 81bb40d7220e17a3e99c0a3db2173268af2db28c
F src/natools-s_expressions-parsers.ads 62e0dd86362ae52808793a128191a7363b0f1928
F src/natools-s_expressions-printers-pretty-config-commands.sx d81886f2fa8621cd75343a2696b1fe0ed1ee29a9
F src/natools-s_expressions-printers-pretty-config.adb b2995c3780e64a408f0719305192b37ff3971487
F src/natools-s_expressions-printers-pretty-config.ads 0fa6465b492d75b823b97193637f9c0670334dfb
F src/natools-s_expressions-printers-pretty.adb b5a4a6c16088562932b769da2cd3d5d63bcd3d85
F src/natools-s_expressions-printers-pretty.ads d9720a139babf4f8fe8b385509d572956a3f9b70
F src/natools-s_expressions-printers.adb a821173aaee4780bf35d867ce23234c946a87a5c
F src/natools-s_expressions-printers.ads fea555b60320ca7fa94f23fe8d2a154e06d170bd
F src/natools-s_expressions.adb cff366157d7853efc61b83357ce831155237870f
F src/natools-s_expressions.ads 18694bf84072e1b86f5237bb8c6e76cbb7f98680
F src/natools-static_hash_maps-s_expressions-hash_maps.sx bd439d8f065d293bf20fd5c8a62afab8887957e1
F src/natools-static_hash_maps-s_expressions.adb 27c4cdae3950668b9048df86054e8c97016ef24f
F src/natools-static_hash_maps-s_expressions.ads 375a4ce6c6e4e975b9816587753361df0e6965e4
F src/natools-static_hash_maps.adb d09dd75265332d9d1ebafa483705b99c5a6aea2e
F src/natools-static_hash_maps.ads b53cc2dad2751467e864e1916b7e26f098b13f06
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 ad429e03a5afb1c226a6a9a9ae906b66afd23afe
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 9afd0eec8243edb4b79813e91b243b8f176678a9
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-hmac_tests.adb 6636abbe1d1a684dccfc53b632398454fafbe3a5
F tests/natools-hmac_tests.ads 11c3433bb3c37c9e0d085e7a2535d101e902d059
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 c8ec0ca761a5077e3f9589243fedd5e5f4ab70fc
F tests/natools-s_expressions-atom_buffers-tests.adb 3b89ddc3f5b04da19cf8a920c46e3141842b5e29
F tests/natools-s_expressions-atom_buffers-tests.ads 3c624f0566caa59b7fea48e2da80676755358876
F tests/natools-s_expressions-cache_tests.adb 47eb5e3287d1ef5da8dc73a2590b7fff7f714b3b
F tests/natools-s_expressions-cache_tests.ads 132164956e81ec092e4438452e20af7b5b85ad0c
F tests/natools-s_expressions-dynamic_interpreter_tests.adb e5de2d827546c32d3633b3015690ec078ecad7c1
F tests/natools-s_expressions-dynamic_interpreter_tests.ads b1da921500863c2a2952ed8ec93892e74d2d2e00
F tests/natools-s_expressions-encodings-tests.adb d8ad95a92c055610f6e6ead240176099cfd46999
F tests/natools-s_expressions-encodings-tests.ads 688230bad6cee95baecdfe6789ae5ed5386f97f8
F tests/natools-s_expressions-file_rw_tests.adb 02caf65edda797e3035b1842387cb86a629031e0
F tests/natools-s_expressions-file_rw_tests.ads 2a4bb7628e5546b280824266c401224c7c4f357e
F tests/natools-s_expressions-interpreter_tests.adb 19cee4a16790f008c0eb2a81374e4d8b6febf977
F tests/natools-s_expressions-interpreter_tests.ads a5ef199f64e309c34e40e7b46054fb3530141dd6
F tests/natools-s_expressions-lockable-tests.adb 77926516013d9aaf02a5ea672d563efc8d68d422
F tests/natools-s_expressions-lockable-tests.ads 730be3fd9af9ac6ea8284582dcd409a81319892d
F tests/natools-s_expressions-parsers-tests.adb a0aaebe8216b833c3a59e976758b547945f11298
F tests/natools-s_expressions-parsers-tests.ads 44038e8b1d8120493621fc3d40995ad00d772502
F tests/natools-s_expressions-printers-pretty-config-tests.adb 3d820bc56d89942a26290eed43e370ad543d9528
F tests/natools-s_expressions-printers-pretty-config-tests.ads a5923634223eb7625f01d61dc38729ddd62e8799
F tests/natools-s_expressions-printers-pretty-tests.adb ec7ce81f6899f1d9be59b954ec9cfe92461aeaff
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 d2726429df282bccf6ca2f3e2eaeb04312c602d0
F tests/natools-s_expressions-test_tools.ads f92adbfc76d61fc3638425974cabdb773f3f0cad
F tests/natools-static_hash_maps-s_expressions-tests.adb 61166331933dc938198b9d4aec502154eb5f92b4
F tests/natools-static_hash_maps-s_expressions-tests.ads c1e349ba52a4ea4c4a2797ebfa9632fe89a6ae3a
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 d48cd7156c34bd84e2eab9a2a9c80a0575fc7094
F tools.gpr a7527b07a844b1cc1d9a0ef2ab17511214e9d8a6
F tools/generate_static_hash_map.adb 977ec5056f01f79cb331989d75d754978ad65310
F tools/hmac-main.adb bb4eabd511068aa4a256b08ba5638adb63e491b9
F tools/hmac-main.ads 79de5d135e86555b4532ce754a9bd331286c23f9
F tools/hmac-md5.ads 4335635b475c1e7f7e70a893ed03c372701d271d
F tools/hmac-sha1.ads cd24fa2a6d2c6c25713a3a9971224e4f0d4a8d08
F tools/hmac-sha256.ads 79b8cee5562d03d4e3e8243d26ad9fdca009648b
F tools/hmac.ads 9c3d0df9b7d1cc21fb9728478e73d8f61553be0e
F tools/tests.sh a89c6587cb7a180868694c17a4875ba087cb92e7 x
P 5787543b72f3eb479a2e5da16b7e4bfab00372ed
R 3e05f70672a1270c95cef72c32f55a3b
U nat
Z 864666f581bdbd3a48e3c81e7873bf9f
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJTlLSgAAoJEH/11IppJ3zBny8P/iL+AoiTc9ZB5bYwq/fh1KeC
tDNSn4VYBdjjUTmrt8c3q8gba262jKJFTznDhzYRpK006LKO3jp6CCDqTMtK8cT1
iINgCHLiI5IFaDudpxkVoiv4bTVFoP5W3qRTe+RwAKTpJNgLZ0srH9On3P4pQJgH
eU8AWo5kVLNc/QrgcwtM2WUwlG8Na9G9fgHYF+BdjnyzXtN6nNg0bUe4E0WrJSrt
eJcuNzF11INnyOv/8uydHUH+G+yeugrqXmC4TYtim79ZBmoRScwF9giaj2+hlPq2
UY3oIz4DqPyUsdQc0oQnrpS0rBgK8agpG7JV18LPgf1cZgToWykvUvZLOtY5tdHV
2rpMdTACHX7534EGzOWDHLdbAxdkAWG9yoDkVzeH9rYHOtXM8GRYZ6rBAqcn71rh
FC4E/tEs15EXedyd+D6HQpkl5VGoqu9tCslnEQH3R7NeNNzf69eedo3uGSG2AWeu
qVrG48HmrUfEUxbNJgSLAiMMg6NJKGroFRBB4gMepi9f6j7w/DztN5hAXvvEFxml
8uH9giLhskLrurDyp3t6Bsldz4KAwcmPegGqhYEMhs+C8QAp/XQjP+rl8ozBZtQZ
SvRA2U6lsiR6MdtEV6hzdzAbKMtAN1MX7kHBmdUjjm92jM1/nAPtWLodsQaMxi9T
FDSg3KDr2rKqajrVpzwB
=ybqA
-----END PGP SIGNATURE-----