stringAPI.h 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664
  1. // zlib open source license
  2. //
  3. // Copyright (c) 2017 to 2025 David Forsgren Piuva
  4. //
  5. // This software is provided 'as-is', without any express or implied
  6. // warranty. In no event will the authors be held liable for any damages
  7. // arising from the use of this software.
  8. //
  9. // Permission is granted to anyone to use this software for any purpose,
  10. // including commercial applications, and to alter it and redistribute it
  11. // freely, subject to the following restrictions:
  12. //
  13. // 1. The origin of this software must not be misrepresented; you must not
  14. // claim that you wrote the original software. If you use this software
  15. // in a product, an acknowledgment in the product documentation would be
  16. // appreciated but is not required.
  17. //
  18. // 2. Altered source versions must be plainly marked as such, and must not be
  19. // misrepresented as being the original software.
  20. //
  21. // 3. This notice may not be removed or altered from any source
  22. // distribution.
  23. #ifndef DFPSR_API_STRING
  24. #define DFPSR_API_STRING
  25. #include <cstdint>
  26. #include <functional>
  27. #include "bufferAPI.h"
  28. #include "../base/SafePointer.h"
  29. #include "../base/DsrTraits.h"
  30. #include "../collection/List.h"
  31. // Define DSR_INTERNAL_ACCESS before any include to get internal access to exposed types
  32. #ifdef DSR_INTERNAL_ACCESS
  33. #define IMPL_ACCESS public
  34. #else
  35. #define IMPL_ACCESS protected
  36. #endif
  37. namespace dsr {
  38. using DsrChar = char32_t;
  39. // Text files support loading UTF-8/16 BE/LE with BOM or Latin-1 without BOM
  40. enum class CharacterEncoding {
  41. Raw_Latin1, // U+00 to U+FF
  42. BOM_UTF8, // U+00000000 to U+0010FFFF
  43. BOM_UTF16BE, // U+00000000 to U+0000D7FF, U+0000E000 to U+0010FFFF
  44. BOM_UTF16LE // U+00000000 to U+0000D7FF, U+0000E000 to U+0010FFFF
  45. };
  46. // Carriage-return is removed when loading text files to prevent getting double lines
  47. // A line-feed without a line-feed character is nonsense
  48. // LineEncoding allow re-adding carriage-return before or after each line-break when saving
  49. enum class LineEncoding {
  50. CrLf, // Microsoft Windows compatible (Can also be read on other platforms by ignoring carriage return)
  51. Lf // Linux and Macintosh compatible (Might not work on non-portable text editors on Microsoft Windows)
  52. };
  53. class String;
  54. // Helper type for strings.
  55. struct Impl_CharacterView {
  56. DsrChar *data = nullptr;
  57. intptr_t length = 0;
  58. Impl_CharacterView() {}
  59. Impl_CharacterView(Handle<DsrChar> characters)
  60. : data(characters.getUnsafe()), length(characters.getElementCount()) {}
  61. Impl_CharacterView(const DsrChar *data, intptr_t length)
  62. : data(const_cast<DsrChar *>(data)), length(length) {
  63. if (data == nullptr) this->length = 0;
  64. }
  65. inline DsrChar *getUnchecked() const {
  66. return const_cast<DsrChar*>(this->data);
  67. }
  68. inline DsrChar operator [] (intptr_t index) const {
  69. if (index < 0 || index >= this->length) {
  70. return U'\0';
  71. } else {
  72. return this->data[index];
  73. }
  74. }
  75. inline void writeCharacter(intptr_t index, DsrChar character) {
  76. if (index < 0 || index >= this->length) {
  77. // TODO: Throw an error without causing bottomless recursion.
  78. } else {
  79. this->data[index] = character;
  80. }
  81. }
  82. inline SafePointer<DsrChar> getSafe(const char *name) const {
  83. return SafePointer<DsrChar>(name, this->getUnchecked(), this->length * sizeof(DsrChar));
  84. }
  85. };
  86. // Replacing String with a ReadableString reference for input arguments can make passing of U"" literals faster,
  87. // because String is not allowed to assume anything about how long the literal will be available.
  88. // Unlike String, it cannot be constructed from a "" literal, because it is not allowed to heap allocate new memory
  89. // for the conversion, only hold existing buffers alive with reference counting when casted from String.
  90. class ReadableString {
  91. IMPL_ACCESS:
  92. // A reference counted pointer to the buffer to allow passing strings around without having to clone the buffer each time
  93. // ReadableString only uses it for reference counting but String use it for reallocating
  94. Handle<DsrChar> characters;
  95. // Pointing to a subset of the buffer or memory that is not shared.
  96. Impl_CharacterView view;
  97. public:
  98. // Returning the character by value prevents writing to memory that might be a constant literal or shared with other strings
  99. inline DsrChar operator[] (intptr_t index) const {
  100. return this->view[index];
  101. }
  102. public:
  103. // Empty string U""
  104. ReadableString() {}
  105. // Implicit casting from U"text"
  106. ReadableString(const DsrChar *content);
  107. ReadableString(Handle<DsrChar> characters, Impl_CharacterView view)
  108. : characters(characters), view(view) {}
  109. // Destructor.
  110. ~ReadableString() {}
  111. // Copy constructor.
  112. ReadableString(const ReadableString& source)
  113. : characters(source.characters), view(source.view) {}
  114. // Move constructor.
  115. ReadableString(ReadableString &&source) noexcept
  116. : characters(source.characters), view(source.view) {
  117. source.characters = Handle<DsrChar>();
  118. source.view = Impl_CharacterView();
  119. }
  120. // Copy assignment.
  121. ReadableString& operator = (const ReadableString& source) {
  122. if (this != &source) {
  123. this->characters = source.characters;
  124. this->view = source.view;
  125. }
  126. return *this;
  127. };
  128. // Move assignment.
  129. ReadableString& operator = (ReadableString &&source) {
  130. if (this != &source) {
  131. this->characters = source.characters;
  132. this->view = source.view;
  133. source.characters = Handle<DsrChar>();
  134. source.view = Impl_CharacterView();
  135. }
  136. return *this;
  137. }
  138. };
  139. // A safe and simple string type
  140. // Can be constructed from ascii literals "", but U"" will preserve unicode characters.
  141. // Can be used without ReadableString, but ReadableString can be wrapped over U"" literals without allocation
  142. // UTF-32
  143. // Endianness is native
  144. // No combined characters allowed, use precomposed instead, so that the strings can guarantee a fixed character size
  145. class String : public ReadableString {
  146. public:
  147. // Constructors.
  148. String();
  149. String(const char* source);
  150. String(const DsrChar* source);
  151. // Destructor.
  152. ~String() {}
  153. // Copy constructor.
  154. String(const ReadableString& source) : ReadableString(source) {}
  155. String(const String& source) : ReadableString(source) {}
  156. // Move constructor.
  157. String(ReadableString &&source) noexcept : ReadableString(std::move(source)) {}
  158. String(String &&source) noexcept : ReadableString(std::move(source)) {}
  159. // Copy assignment.
  160. String& operator = (const String& source) {
  161. if (this != &source) {
  162. this->characters = source.characters;
  163. this->view = source.view;
  164. }
  165. return *this;
  166. };
  167. // Move assignment.
  168. String& operator = (String &&source) {
  169. if (this != &source) {
  170. this->characters = source.characters;
  171. this->view = source.view;
  172. source.characters = Handle<DsrChar>();
  173. source.view = Impl_CharacterView();
  174. }
  175. return *this;
  176. }
  177. };
  178. // Used as format tags around numbers passed to string_append or string_combine
  179. // New types can implement printing to String by making wrappers from this class
  180. class Printable {
  181. public:
  182. // The method for appending the printable object into the target string
  183. virtual String& toStreamIndented(String& target, const ReadableString& indentation) const = 0;
  184. String& toStream(String& target) const;
  185. String toStringIndented(const ReadableString& indentation) const;
  186. String toString() const;
  187. virtual ~Printable();
  188. };
  189. // Used to generate fixed size ascii strings, which is useful when heap allocations are not possible
  190. // or you need a safe format until you know which encoding a system call needs to support Unicode.
  191. template <intptr_t SIZE>
  192. struct FixedAscii {
  193. char characters[SIZE];
  194. // Create a fixed size ascii string from a null terminated ascii string.
  195. // Crops if text is too long.
  196. FixedAscii(const char *text) {
  197. bool terminated = false;
  198. for (intptr_t i = 0; i < SIZE - 1; i++) {
  199. char c = text[i];
  200. if (c == '\0') {
  201. terminated = true;
  202. }
  203. if (terminated) {
  204. this->characters[i] = '\0';
  205. } else if (c > 127) {
  206. this->characters[i] = '?';
  207. } else {
  208. this->characters[i] = c;
  209. }
  210. }
  211. this->characters[SIZE - 1] = '\0';
  212. }
  213. FixedAscii(const ReadableString &text) {
  214. bool terminated = false;
  215. for (intptr_t i = 0; i < SIZE - 1; i++) {
  216. char c = text[i];
  217. if (c == '\0') {
  218. terminated = true;
  219. }
  220. if (terminated) {
  221. this->characters[i] = '\0';
  222. } else if (c > 127) {
  223. this->characters[i] = '?';
  224. } else {
  225. this->characters[i] = c;
  226. }
  227. }
  228. this->characters[SIZE - 1] = '\0';
  229. }
  230. const char * getPointer() const {
  231. return characters;
  232. }
  233. };
  234. // Helper functions to resolve ambiguity without constexpr if statements in C++ 14.
  235. String& impl_toStreamIndented_ascii(String& target, const char *value, const ReadableString& indentation);
  236. String& impl_toStreamIndented_utf32(String& target, const char32_t *value, const ReadableString& indentation);
  237. String& impl_toStreamIndented_readable(String& target, const ReadableString &value, const ReadableString& indentation);
  238. String& impl_toStreamIndented_double(String& target, const double &value, const ReadableString& indentation);
  239. String& impl_toStreamIndented_int64(String& target, const int64_t &value, const ReadableString& indentation);
  240. String& impl_toStreamIndented_uint64(String& target, const uint64_t &value, const ReadableString& indentation);
  241. // Resolving ambiguity without access to constexpr in if statements by disabling type safety with unsafeCast.
  242. template <typename T, DSR_ENABLE_IF(
  243. DSR_UTF32_LITERAL(T)
  244. || DSR_ASCII_LITERAL(T)
  245. || DSR_INHERITS_FROM(T, Printable)
  246. || DSR_SAME_TYPE(T, String)
  247. || DSR_SAME_TYPE(T, ReadableString)
  248. || DSR_SAME_TYPE(T, float)
  249. || DSR_SAME_TYPE(T, double)
  250. || DSR_SAME_TYPE(T, char)
  251. || DSR_SAME_TYPE(T, char32_t)
  252. || DSR_SAME_TYPE(T, bool)
  253. || DSR_SAME_TYPE(T, short)
  254. || DSR_SAME_TYPE(T, int)
  255. || DSR_SAME_TYPE(T, long)
  256. || DSR_SAME_TYPE(T, long long)
  257. || DSR_SAME_TYPE(T, unsigned short)
  258. || DSR_SAME_TYPE(T, unsigned int)
  259. || DSR_SAME_TYPE(T, unsigned long)
  260. || DSR_SAME_TYPE(T, unsigned long long)
  261. || DSR_SAME_TYPE(T, uint8_t)
  262. || DSR_SAME_TYPE(T, uint16_t)
  263. || DSR_SAME_TYPE(T, uint32_t)
  264. || DSR_SAME_TYPE(T, uint64_t)
  265. || DSR_SAME_TYPE(T, int8_t)
  266. || DSR_SAME_TYPE(T, int16_t)
  267. || DSR_SAME_TYPE(T, int32_t)
  268. || DSR_SAME_TYPE(T, int64_t))>
  269. inline String& string_toStreamIndented(String& target, const T &value, const ReadableString& indentation) {
  270. if (DSR_UTF32_LITERAL(T)) {
  271. impl_toStreamIndented_utf32(target, unsafeCast<char32_t*>(value), indentation);
  272. } else if (DSR_ASCII_LITERAL(T)) {
  273. impl_toStreamIndented_ascii(target, unsafeCast<char*>(value), indentation);
  274. } else if (DSR_INHERITS_FROM(T, Printable)) {
  275. unsafeCast<Printable>(value).toStreamIndented(target, indentation);
  276. } else if (DSR_SAME_TYPE(T, String)) {
  277. impl_toStreamIndented_readable(target, unsafeCast<String>(value), indentation);
  278. } else if (DSR_SAME_TYPE(T, ReadableString)) {
  279. impl_toStreamIndented_readable(target, unsafeCast<ReadableString>(value), indentation);
  280. } else if (DSR_SAME_TYPE(T, float)) {
  281. impl_toStreamIndented_double(target, (double)unsafeCast<float>(value), indentation);
  282. } else if (DSR_SAME_TYPE(T, double)) {
  283. impl_toStreamIndented_double(target, unsafeCast<double>(value), indentation);
  284. } else if (DSR_SAME_TYPE(T, char)) {
  285. impl_toStreamIndented_readable(target, indentation, U"");
  286. string_appendChar(target, unsafeCast<char>(value));
  287. } else if (DSR_SAME_TYPE(T, char32_t)) {
  288. impl_toStreamIndented_readable(target, indentation, U"");
  289. string_appendChar(target, unsafeCast<char32_t>(value));
  290. } else if (DSR_SAME_TYPE(T, bool)) {
  291. impl_toStreamIndented_utf32(target, unsafeCast<bool>(value) ? U"true" : U"false", indentation);
  292. } else if (DSR_SAME_TYPE(T, uint8_t)) {
  293. impl_toStreamIndented_uint64(target, (uint64_t)unsafeCast<uint8_t>(value), indentation);
  294. } else if (DSR_SAME_TYPE(T, uint16_t)) {
  295. impl_toStreamIndented_uint64(target, (uint64_t)unsafeCast<uint16_t>(value), indentation);
  296. } else if (DSR_SAME_TYPE(T, uint32_t)) {
  297. impl_toStreamIndented_uint64(target, (uint64_t)unsafeCast<uint32_t>(value), indentation);
  298. } else if (DSR_SAME_TYPE(T, uint64_t)) {
  299. impl_toStreamIndented_uint64(target, unsafeCast<uint64_t>(value), indentation);
  300. } else if (DSR_SAME_TYPE(T, int8_t)) {
  301. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<int8_t>(value), indentation);
  302. } else if (DSR_SAME_TYPE(T, int16_t)) {
  303. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<int16_t>(value), indentation);
  304. } else if (DSR_SAME_TYPE(T, int32_t)) {
  305. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<int32_t>(value), indentation);
  306. } else if (DSR_SAME_TYPE(T, int64_t)) {
  307. impl_toStreamIndented_int64(target, unsafeCast<int64_t>(value), indentation);
  308. } else if (DSR_SAME_TYPE(T, short)) {
  309. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<short>(value), indentation);
  310. } else if (DSR_SAME_TYPE(T, int)) {
  311. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<int>(value), indentation);
  312. } else if (DSR_SAME_TYPE(T, long)) {
  313. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<long>(value), indentation);
  314. } else if (DSR_SAME_TYPE(T, long long)) {
  315. static_assert(sizeof(long long) == 8, "You need to implement integer printing for integers larger than 64 bits, or printing long long will be truncated!");
  316. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<long long>(value), indentation);
  317. } else if (DSR_SAME_TYPE(T, unsigned short)) {
  318. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<unsigned short>(value), indentation);
  319. } else if (DSR_SAME_TYPE(T, unsigned int)) {
  320. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<unsigned int>(value), indentation);
  321. } else if (DSR_SAME_TYPE(T, unsigned long)) {
  322. impl_toStreamIndented_int64(target, (int64_t)unsafeCast<unsigned long>(value), indentation);
  323. } else if (DSR_SAME_TYPE(T, unsigned long long)) {
  324. static_assert(sizeof(unsigned long long) == 8, "You need to implement integer printing for integers larger than 64 bits, or printing unsigned long long will be truncated!");
  325. impl_toStreamIndented_int64(target, (uint64_t)unsafeCast<unsigned long long>(value), indentation);
  326. }
  327. return target;
  328. }
  329. template<typename T>
  330. String string_toStringIndented(const T& source, const ReadableString& indentation) {
  331. String result;
  332. string_toStreamIndented(result, source, indentation);
  333. return result;
  334. }
  335. template<typename T>
  336. String string_toString(const T& source) {
  337. String result;
  338. string_toStreamIndented(result, source, U"");
  339. return result;
  340. }
  341. // ---------------- Procedural API ----------------
  342. // Sets the target string's length to zero.
  343. // Because this opens up to appending new text where sub-string may already share the buffer,
  344. // this operation will reallocate the buffer if shared with other strings.
  345. void string_clear(String& target);
  346. // Post-condition: Returns the length of source.
  347. // Example: string_length(U"ABC") == 3
  348. intptr_t string_length(const ReadableString& source);
  349. // Post-condition: Returns the base-zero index of source's first occurence of toFind, starting from startIndex. Returns -1 if not found.
  350. // Example: string_findFirst(U"ABCABCABC", U'A') == 0
  351. // Example: string_findFirst(U"ABCABCABC", U'B') == 1
  352. // Example: string_findFirst(U"ABCABCABC", U'C') == 2
  353. // Example: string_findFirst(U"ABCABCABC", U'D') == -1
  354. intptr_t string_findFirst(const ReadableString& source, DsrChar toFind, intptr_t startIndex = 0);
  355. // Post-condition: Returns the base-zero index of source's last occurence of toFind. Returns -1 if not found.
  356. // Example: string_findLast(U"ABCABCABC", U'A') == 6
  357. // Example: string_findLast(U"ABCABCABC", U'B') == 7
  358. // Example: string_findLast(U"ABCABCABC", U'C') == 8
  359. // Example: string_findLast(U"ABCABCABC", U'D') == -1
  360. intptr_t string_findLast(const ReadableString& source, DsrChar toFind);
  361. // Post-condition: Returns a sub-string of source from before the character at inclusiveStart to before the character at exclusiveEnd
  362. // Example: string_exclusiveRange(U"0123456789", 2, 4) == U"23"
  363. ReadableString string_exclusiveRange(const ReadableString& source, intptr_t inclusiveStart, intptr_t exclusiveEnd);
  364. // Post-condition: Returns a sub-string of source from before the character at inclusiveStart to after the character at inclusiveEnd
  365. // Example: string_inclusiveRange(U"0123456789", 2, 4) == U"234"
  366. ReadableString string_inclusiveRange(const ReadableString& source, intptr_t inclusiveStart, intptr_t inclusiveEnd);
  367. // Post-condition: Returns a sub-string of source from the start to before the character at exclusiveEnd
  368. // Example: string_before(U"0123456789", 5) == U"01234"
  369. ReadableString string_before(const ReadableString& source, intptr_t exclusiveEnd);
  370. // Post-condition: Returns a sub-string of source from the start to after the character at inclusiveEnd
  371. // Example: string_until(U"0123456789", 5) == U"012345"
  372. ReadableString string_until(const ReadableString& source, intptr_t inclusiveEnd);
  373. // Post-condition: Returns a sub-string of source from before the character at inclusiveStart to the end
  374. // Example: string_from(U"0123456789", 5) == U"56789"
  375. ReadableString string_from(const ReadableString& source, intptr_t inclusiveStart);
  376. // Post-condition: Returns a sub-string of source from after the character at exclusiveStart to the end
  377. // Example: string_after(U"0123456789", 5) == U"6789"
  378. ReadableString string_after(const ReadableString& source, intptr_t exclusiveStart);
  379. // Split source into a list of strings.
  380. // Post-condition:
  381. // Returns a list of strings from source by splitting along separator.
  382. // If removeWhiteSpace is true then surrounding white-space will be removed, otherwise all white-space is kept.
  383. // The separating characters are excluded from the resulting strings.
  384. // The number of strings returned in the list will equal the number of separating characters plus one, so the result may contain empty strings.
  385. // Each string in the list clones content to its own dynamic buffer. Use string_split_callback if you don't need long term storage.
  386. List<String> string_split(const ReadableString& source, DsrChar separator, bool removeWhiteSpace = false);
  387. // Split a string without needing a list to store the result.
  388. // Use string_splitCount on the same source and separator if you need to know the element count in advance.
  389. // Side-effects:
  390. // Calls action for each sub-string divided by separator in source given as the separatedText argument.
  391. void string_split_callback(std::function<void(ReadableString separatedText)> action, const ReadableString& source, DsrChar separator, bool removeWhiteSpace = false);
  392. // An alternative overload for having a very long lambda at the end.
  393. inline void string_split_callback(const ReadableString& source, DsrChar separator, bool removeWhiteSpace, std::function<void(ReadableString separatedText)> action) {
  394. string_split_callback(action, source, separator, removeWhiteSpace);
  395. }
  396. // Split source using separator, only to return the number of splits.
  397. // Useful for pre-allocation.
  398. intptr_t string_splitCount(const ReadableString& source, DsrChar separator);
  399. // Post-condition: Returns the upper case version of character if it is a lower case character, otherwise returning character as is.
  400. DsrChar character_upperCase(DsrChar character);
  401. // Post-condition: Returns the lower case version of character if it is an upper case character, otherwise returning character as is.
  402. DsrChar character_lowerCase(DsrChar character);
  403. // Post-condition: Returns true iff c is a digit.
  404. // Digit <- '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
  405. bool character_isDigit(DsrChar c);
  406. // Post-condition: Returns true iff c is an integer character.
  407. // IntegerCharacter <- '-' | '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
  408. bool character_isIntegerCharacter(DsrChar c);
  409. // Post-condition: Returns true iff c is a value character.
  410. // ValueCharacter <- '.' | '-' | '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
  411. bool character_isValueCharacter(DsrChar c);
  412. // Post-condition: Returns true iff c is a white-space character.
  413. // WhiteSpace <- ' ' | '\t' | '\v' | '\f' | '\n' | '\r'
  414. // Null terminators are excluded, because it's reserved for out of bound results.
  415. bool character_isWhiteSpace(DsrChar c);
  416. // Post-condition: Returns true iff source is a valid integer. IntegerAllowingWhiteSpace is also allowed iff allowWhiteSpace is true.
  417. // UnsignedInteger <- Digit+
  418. // Integer <- UnsignedInteger | '-' UnsignedInteger
  419. // IntegerAllowingWhiteSpace <- WhiteSpace* Integer WhiteSpace*
  420. bool string_isInteger(const ReadableString& source, bool allowWhiteSpace = true);
  421. // Post-condition: Returns true iff source is a valid integer or decimal number. DoubleAllowingWhiteSpace is also allowed iff allowWhiteSpace is true.
  422. // UnsignedDouble <- Digit+ | Digit* '.' Digit+
  423. // Double <- UnsignedDouble | '-' UnsignedDouble
  424. // DoubleAllowingWhiteSpace <- WhiteSpace* Double WhiteSpace*
  425. // Only dots are allowed as decimals.
  426. // Because being able to read files from another country without crashes is a lot more important than a detail that most people don't even notice.
  427. // Automatic nationalization made sense when most applications were written in-house before the internet existed.
  428. bool string_isDouble(const ReadableString& source, bool allowWhiteSpace = true);
  429. // Pre-condition: source must be a valid integer according to string_isInteger. Otherwise unexpected characters are simply ignored.
  430. // Post-condition: Returns the integer representation of source.
  431. // The result is signed, because the input might unexpectedly have a negation sign.
  432. // The result is large, so that one can easily check the range before assigning to a smaller integer type.
  433. int64_t string_toInteger(const ReadableString& source);
  434. // Side-effect: Appends value as a base ten integer at the end of target.
  435. void string_fromUnsigned(String& target, uint64_t value);
  436. // Post-condition: Returns value written as a base ten integer.
  437. inline String string_fromUnsigned(int64_t value) {
  438. String result; string_fromUnsigned(result, value); return result;
  439. }
  440. // Side-effect: Appends value as a base ten integer at the end of target.
  441. void string_fromSigned(String& target, int64_t value, DsrChar negationCharacter = U'-');
  442. // Post-condition: Returns value written as a base ten integer.
  443. inline String string_fromSigned(int64_t value, DsrChar negationCharacter = U'-') {
  444. String result; string_fromSigned(result, value, negationCharacter); return result;
  445. }
  446. // Pre-condition: source must be a valid double according to string_isDouble. Otherwise unexpected characters are simply ignored.
  447. // Post-condition: Returns the double precision floating-point representation of source.
  448. double string_toDouble(const ReadableString& source);
  449. // Side-effect: Appends value as a base ten decimal number at the end of target.
  450. void string_fromDouble(String& target, double value, int decimalCount = 6, bool removeTrailingZeroes = true, DsrChar decimalCharacter = U'.', DsrChar negationCharacter = U'-');
  451. // Post-condition: Returns value written as a base ten decimal number.
  452. inline String string_fromDouble(double value, int decimalCount = 6, bool removeTrailingZeroes = true, DsrChar decimalCharacter = U'.', DsrChar negationCharacter = U'-') {
  453. String result; string_fromDouble(result, value, decimalCount, removeTrailingZeroes, decimalCharacter, negationCharacter); return result;
  454. }
  455. // Loading will try to find a byte order mark and can handle UTF-8 and UTF-16.
  456. // Failure to find a byte order mark will assume that the file's content is raw Latin-1,
  457. // because automatic detection would cause random behaviour.
  458. // For portability, carriage return characters are removed,
  459. // but will be generated again using the default CrLf line encoding of string_save.
  460. // Post-condition:
  461. // Returns the content of the file referred to be filename.
  462. // If mustExist is true, then failure to load will throw an exception.
  463. // If mustExist is false, then failure to load will return an empty string.
  464. // If you want to handle files that are not found in a different way,
  465. // it is easy to use buffer_load and string_loadFromMemory separatelly.
  466. String string_load(const ReadableString& filename, bool mustExist = true);
  467. // Decode a text file from a buffer, which can be loaded using buffer_load.
  468. String string_loadFromMemory(Buffer fileContent);
  469. // Decode a null terminated string without BOM, by specifying which format it was encoded in.
  470. // Pre-conditions:
  471. // data does not start with any byte-order-mark (BOM).
  472. // data must be null terminated with '\0' in whatever format is being used. Otherwise you may have random crashes
  473. // Post-condition:
  474. // Returns a string decoded from the raw data.
  475. String string_dangerous_decodeFromData(const void* data, CharacterEncoding encoding);
  476. // Side-effect: Saves content to filename using the selected character and line encodings.
  477. // Post-condition: Returns true on success and false on failure.
  478. // Do not add carriage return characters yourself into strings, for these will be added automatically in the CrLf mode.
  479. // The internal String type should only use UTF-32 with single line feeds for breaking lines.
  480. // This makes text processing algorithms a lot cleaner when a character or line break is always one element.
  481. // UTF-8 with BOM is default by being both compact and capable of storing 21 bits of unicode.
  482. bool string_save(const ReadableString& filename, const ReadableString& content,
  483. CharacterEncoding characterEncoding = CharacterEncoding::BOM_UTF8,
  484. LineEncoding lineEncoding = LineEncoding::CrLf
  485. );
  486. // Encode the string and keep the raw buffer instead of saving it to a file.
  487. // Disabling writeByteOrderMark can be done when the result is casted to a native string for platform specific APIs, where a BOM is not allowed.
  488. // Enabling writeNullTerminator should be done when using the result as a pointer, so that the length is known when the buffer does not have padding.
  489. Buffer string_saveToMemory(const ReadableString& content,
  490. CharacterEncoding characterEncoding = CharacterEncoding::BOM_UTF8,
  491. LineEncoding lineEncoding = LineEncoding::CrLf,
  492. bool writeByteOrderMark = true,
  493. bool writeNullTerminator = false
  494. );
  495. // Post-condition: Returns true iff strings a and b are exactly equal.
  496. bool string_match(const ReadableString& a, const ReadableString& b);
  497. // Post-condition: Returns true iff strings a and b are roughly equal using a case insensitive match.
  498. bool string_caseInsensitiveMatch(const ReadableString& a, const ReadableString& b);
  499. // While string_match should be preferred over == for code readability and consistency with string_caseInsensitiveMatch,
  500. // the equality operator might be called automatically from template methods when a template type is a string.
  501. inline bool operator==(const ReadableString& a, const ReadableString& b) { return string_match(a, b); }
  502. inline bool operator!=(const ReadableString& a, const ReadableString& b) { return !string_match(a, b); }
  503. // Post-condition: Returns text converted to upper case.
  504. String string_upperCase(const ReadableString &text);
  505. // Post-condition: Returns text converted to lower case.
  506. String string_lowerCase(const ReadableString &text);
  507. // Post-condition: Returns a sub-set of text without surrounding white-space (space, tab and carriage-return).
  508. ReadableString string_removeOuterWhiteSpace(const ReadableString &text);
  509. // Post-condition: Returns rawText wrapped in a quote.
  510. // Special characters are included using escape characters, so that one can quote multiple lines but store it easily.
  511. String string_mangleQuote(const ReadableString &rawText);
  512. // Pre-condition: mangledText must be enclosed in double quotes and special characters must use escape characters (tabs in quotes are okay though).
  513. // Post-condition: Returns mangledText with quotes removed and excape tokens interpreted.
  514. String string_unmangleQuote(const ReadableString& mangledText);
  515. // Post-condition: Returns the number of strings using the same buffer, including itself.
  516. uintptr_t string_getBufferUseCount(const ReadableString& text);
  517. // Ensures safely that at least minimumLength characters can he held in the buffer
  518. void string_reserve(String& target, intptr_t minimumLength);
  519. // Append/push one character (to avoid integer to string conversion)
  520. void string_appendChar(String& target, DsrChar value);
  521. // Append elements
  522. inline void string_append(String& target) {}
  523. template<typename HEAD, typename... TAIL>
  524. inline void string_append(String& target, HEAD head, TAIL&&... tail) {
  525. string_toStreamIndented(target, head, U"");
  526. string_append(target, tail...);
  527. }
  528. // Combine a number of strings, characters and numbers
  529. // If an input type is rejected, create a Printable object to wrap around it
  530. template<typename... ARGS>
  531. inline String string_combine(ARGS&&... args) {
  532. String result;
  533. string_append(result, args...);
  534. return result;
  535. }
  536. // ---------------- Infix syntax ----------------
  537. // Operations
  538. inline String operator+ (const ReadableString& a, const ReadableString& b) { return string_combine(a, b); }
  539. inline String operator+ (const DsrChar* a, const ReadableString& b) { return string_combine(a, b); }
  540. inline String operator+ (const ReadableString& a, const DsrChar* b) { return string_combine(a, b); }
  541. inline String operator+ (const String& a, const String& b) { return string_combine(a, b); }
  542. inline String operator+ (const DsrChar* a, const String& b) { return string_combine(a, b); }
  543. inline String operator+ (const String& a, const DsrChar* b) { return string_combine(a, b); }
  544. inline String operator+ (const String& a, const ReadableString& b) { return string_combine(a, b); }
  545. inline String operator+ (const ReadableString& a, const String& b) { return string_combine(a, b); }
  546. // ---------------- Message handling ----------------
  547. enum class MessageType {
  548. Error, // Terminate as quickly as possible after saving and informing the user.
  549. Warning, // Inform the user but let the caller continue.
  550. StandardPrinting, // Print text to the terminal.
  551. DebugPrinting // Print debug information to the terminal, if debug mode is active.
  552. };
  553. // Get a reference to the thread-local buffer used for printing messages.
  554. // Can be combined with string_clear, string_append and string_sendMessage to send long messages in a thread-safe way.
  555. // Clear, fill and send.
  556. String &string_getPrintBuffer();
  557. // Send a message
  558. void string_sendMessage(const ReadableString &message, MessageType type);
  559. // Send a message directly to the default message handler, ignoring string_assignMessageHandler.
  560. void string_sendMessage_default(const ReadableString &message, MessageType type);
  561. // Get a message
  562. // Pre-condition:
  563. // The action function must throw an exception or terminate the program when given an error, otherwise string_sendMessage will throw an exception about failing to do so.
  564. // Do not call string_sendMessage directly or indirectly from within action, use string_sendMessage_default instead to avoid infinite recursion.
  565. // Terminating the program as soon as possible is ideal, but one might want to save a backup or show what went wrong in a graphical interface before terminating.
  566. // Do not throw and catch errors as if they were warnings, because throwing and catching creates a partial transaction, potentially violating type invariants.
  567. // Better to use warnings and let the sender of the warning figure out how to abort the action safely.
  568. void string_assignMessageHandler(std::function<void(const ReadableString &message, MessageType type)> action);
  569. // Undo string_assignMessageHandler, so that any messages will be handled the default way again.
  570. void string_unassignMessageHandler();
  571. // Throw an error, which must terminate the application or throw an error
  572. template<typename... ARGS>
  573. void throwError(ARGS... args) {
  574. String *target = &(string_getPrintBuffer());
  575. string_clear(*target);
  576. string_append(*target, args...);
  577. string_sendMessage(*target, MessageType::Error);
  578. }
  579. // Send a warning, which might throw an exception, terminate the application or anything else that the application requests using string_handleMessages
  580. template<typename... ARGS>
  581. void sendWarning(ARGS... args) {
  582. String *target = &(string_getPrintBuffer());
  583. string_clear(*target);
  584. string_append(*target, args...);
  585. string_sendMessage(*target, MessageType::Warning);
  586. }
  587. // Print information to the terminal or something else listening for messages using string_handleMessages
  588. template<typename... ARGS>
  589. void printText(ARGS... args) {
  590. String *target = &(string_getPrintBuffer());
  591. string_clear(*target);
  592. string_append(*target, args...);
  593. string_sendMessage(*target, MessageType::StandardPrinting);
  594. }
  595. // Debug messages are automatically disabled in release mode, so that you don't have to worry about accidentally releasing a program with poor performance from constantly printing to the terminal
  596. // Useful for selectively printing the most important information accumulated over time
  597. // Less useful for profiling, because the debug mode is slower than the release mode
  598. #ifdef NDEBUG
  599. // Supress debugText in release mode
  600. template<typename... ARGS>
  601. void debugText(ARGS... args) {}
  602. #else
  603. // Print debugText in debug mode
  604. template<typename... ARGS>
  605. void debugText(ARGS... args) {
  606. String *target = &(string_getPrintBuffer());
  607. string_clear(*target);
  608. string_append(*target, args...);
  609. string_sendMessage(*target, MessageType::DebugPrinting);
  610. }
  611. #endif
  612. }
  613. #endif