├── .gitignore ├── Performances of UXStrings.pdf ├── alire.toml ├── deps ├── strings_edit-integer_edit.adb ├── strings_edit-integer_edit.ads ├── strings_edit-integers.ads ├── strings_edit-text_edit.adb ├── strings_edit-utf8-handling.adb ├── strings_edit-utf8-handling.ads ├── strings_edit-utf8.adb ├── strings_edit-utf8.ads ├── strings_edit.adb ├── strings_edit.ads └── strings_edit.htm ├── lib_uxstrings.gpr ├── pragma_debug.adc ├── readme.md ├── src ├── uxstrings-conversions.adb ├── uxstrings-conversions.ads ├── uxstrings-formatting.adb ├── uxstrings-formatting.ads ├── uxstrings-hash.adb ├── uxstrings-hash.ads ├── uxstrings-hash_case_insensitive.adb ├── uxstrings-hash_case_insensitive.ads ├── uxstrings-lists.adb ├── uxstrings-lists.ads ├── uxstrings-text_io-text_streams.adb ├── uxstrings-text_io-text_streams.ads ├── uxstrings-text_io1.adb ├── uxstrings-text_io1.ads ├── uxstrings1.adb ├── uxstrings1.ads ├── uxstrings2.adb ├── uxstrings2.ads ├── uxstrings3.adb ├── uxstrings3.ads ├── uxstrings4.adb ├── uxstrings4.ads ├── uxstrings5.adb └── uxstrings5.ads ├── tests ├── test_uxstrings1.adb ├── test_uxstrings2.adb ├── test_uxstrings3.adb ├── test_uxstrings4a.adb ├── test_uxstrings4b.adb ├── test_uxstrings_text_io.adb └── test_uxstrings_text_io2.adb └── uxstrings.gpr /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/.gitignore -------------------------------------------------------------------------------- /Performances of UXStrings.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/Performances of UXStrings.pdf -------------------------------------------------------------------------------- /alire.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/alire.toml -------------------------------------------------------------------------------- /deps/strings_edit-integer_edit.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit-integer_edit.adb -------------------------------------------------------------------------------- /deps/strings_edit-integer_edit.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit-integer_edit.ads -------------------------------------------------------------------------------- /deps/strings_edit-integers.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit-integers.ads -------------------------------------------------------------------------------- /deps/strings_edit-text_edit.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit-text_edit.adb -------------------------------------------------------------------------------- /deps/strings_edit-utf8-handling.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit-utf8-handling.adb -------------------------------------------------------------------------------- /deps/strings_edit-utf8-handling.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit-utf8-handling.ads -------------------------------------------------------------------------------- /deps/strings_edit-utf8.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit-utf8.adb -------------------------------------------------------------------------------- /deps/strings_edit-utf8.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit-utf8.ads -------------------------------------------------------------------------------- /deps/strings_edit.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit.adb -------------------------------------------------------------------------------- /deps/strings_edit.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit.ads -------------------------------------------------------------------------------- /deps/strings_edit.htm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/deps/strings_edit.htm -------------------------------------------------------------------------------- /lib_uxstrings.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/lib_uxstrings.gpr -------------------------------------------------------------------------------- /pragma_debug.adc: -------------------------------------------------------------------------------- 1 | pragma Initialize_Scalars; 2 | -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/readme.md -------------------------------------------------------------------------------- /src/uxstrings-conversions.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-conversions.adb -------------------------------------------------------------------------------- /src/uxstrings-conversions.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-conversions.ads -------------------------------------------------------------------------------- /src/uxstrings-formatting.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-formatting.adb -------------------------------------------------------------------------------- /src/uxstrings-formatting.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-formatting.ads -------------------------------------------------------------------------------- /src/uxstrings-hash.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-hash.adb -------------------------------------------------------------------------------- /src/uxstrings-hash.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-hash.ads -------------------------------------------------------------------------------- /src/uxstrings-hash_case_insensitive.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-hash_case_insensitive.adb -------------------------------------------------------------------------------- /src/uxstrings-hash_case_insensitive.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-hash_case_insensitive.ads -------------------------------------------------------------------------------- /src/uxstrings-lists.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-lists.adb -------------------------------------------------------------------------------- /src/uxstrings-lists.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-lists.ads -------------------------------------------------------------------------------- /src/uxstrings-text_io-text_streams.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-text_io-text_streams.adb -------------------------------------------------------------------------------- /src/uxstrings-text_io-text_streams.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-text_io-text_streams.ads -------------------------------------------------------------------------------- /src/uxstrings-text_io1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-text_io1.adb -------------------------------------------------------------------------------- /src/uxstrings-text_io1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings-text_io1.ads -------------------------------------------------------------------------------- /src/uxstrings1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings1.adb -------------------------------------------------------------------------------- /src/uxstrings1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings1.ads -------------------------------------------------------------------------------- /src/uxstrings2.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings2.adb -------------------------------------------------------------------------------- /src/uxstrings2.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings2.ads -------------------------------------------------------------------------------- /src/uxstrings3.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings3.adb -------------------------------------------------------------------------------- /src/uxstrings3.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings3.ads -------------------------------------------------------------------------------- /src/uxstrings4.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings4.adb -------------------------------------------------------------------------------- /src/uxstrings4.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings4.ads -------------------------------------------------------------------------------- /src/uxstrings5.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings5.adb -------------------------------------------------------------------------------- /src/uxstrings5.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/src/uxstrings5.ads -------------------------------------------------------------------------------- /tests/test_uxstrings1.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/tests/test_uxstrings1.adb -------------------------------------------------------------------------------- /tests/test_uxstrings2.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/tests/test_uxstrings2.adb -------------------------------------------------------------------------------- /tests/test_uxstrings3.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/tests/test_uxstrings3.adb -------------------------------------------------------------------------------- /tests/test_uxstrings4a.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/tests/test_uxstrings4a.adb -------------------------------------------------------------------------------- /tests/test_uxstrings4b.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/tests/test_uxstrings4b.adb -------------------------------------------------------------------------------- /tests/test_uxstrings_text_io.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/tests/test_uxstrings_text_io.adb -------------------------------------------------------------------------------- /tests/test_uxstrings_text_io2.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/tests/test_uxstrings_text_io2.adb -------------------------------------------------------------------------------- /uxstrings.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blady-Com/UXStrings/HEAD/uxstrings.gpr --------------------------------------------------------------------------------