| 1 | //
 | 
|---|
| 2 | // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 | 
|---|
| 3 | //
 | 
|---|
| 4 | // The contents of this file are covered under the licence agreement in the
 | 
|---|
| 5 | // file "LICENCE" distributed with Cforall.
 | 
|---|
| 6 | //
 | 
|---|
| 7 | // string_res -- variable-length, mutable run of text, with resource semantics
 | 
|---|
| 8 | //
 | 
|---|
| 9 | // Author           : Michael L. Brooks
 | 
|---|
| 10 | // Created On       : Fri Sep 03 11:00:00 2021
 | 
|---|
| 11 | // Last Modified By : Michael L. Brooks
 | 
|---|
| 12 | // Last Modified On : Fri Sep 03 11:00:00 2021
 | 
|---|
| 13 | // Update Count     : 1
 | 
|---|
| 14 | //
 | 
|---|
| 15 | 
 | 
|---|
| 16 | #pragma once
 | 
|---|
| 17 | 
 | 
|---|
| 18 | #include <fstream.hfa>
 | 
|---|
| 19 | #include <string.h>    // e.g. strlen
 | 
|---|
| 20 | 
 | 
|---|
| 21 |     
 | 
|---|
| 22 | //######################### HandleNode #########################
 | 
|---|
| 23 | //private
 | 
|---|
| 24 | 
 | 
|---|
| 25 | struct VbyteHeap;
 | 
|---|
| 26 | 
 | 
|---|
| 27 | struct HandleNode {
 | 
|---|
| 28 |     HandleNode *flink;                                  // forward link
 | 
|---|
| 29 |     HandleNode *blink;                                  // backward link
 | 
|---|
| 30 |     VbyteHeap *ulink;                   // upward link
 | 
|---|
| 31 | 
 | 
|---|
| 32 |     char *s;                                            // pointer to byte string
 | 
|---|
| 33 |     unsigned int lnth;                                  // length of byte string
 | 
|---|
| 34 | }; // HandleNode
 | 
|---|
| 35 | 
 | 
|---|
| 36 | VbyteHeap * DEBUG_string_heap();
 | 
|---|
| 37 | size_t DEBUG_string_bytes_in_heap( VbyteHeap * heap );
 | 
|---|
| 38 | size_t DEBUG_string_bytes_avail_until_gc( VbyteHeap * heap );
 | 
|---|
| 39 | const char * DEBUG_string_heap_start( VbyteHeap * heap );
 | 
|---|
| 40 | 
 | 
|---|
| 41 | void TUNING_set_string_heap_liveness_threshold( double val );
 | 
|---|
| 42 | 
 | 
|---|
| 43 | //######################### String #########################
 | 
|---|
| 44 | 
 | 
|---|
| 45 | // A dynamically-sized string
 | 
|---|
| 46 | struct string_res {
 | 
|---|
| 47 |     HandleNode Handle; // chars, start, end, global neighbours
 | 
|---|
| 48 |     bool shareEditSet_owns_ulink;
 | 
|---|
| 49 |     string_res * shareEditSet_prev;
 | 
|---|
| 50 |     string_res * shareEditSet_next;
 | 
|---|
| 51 | };
 | 
|---|
| 52 | 
 | 
|---|
| 53 | 
 | 
|---|
| 54 | //######################### charclass_res #########################
 | 
|---|
| 55 | 
 | 
|---|
| 56 | struct charclass_res {
 | 
|---|
| 57 |     string_res chars;
 | 
|---|
| 58 | };
 | 
|---|
| 59 | 
 | 
|---|
| 60 | void ?{}( charclass_res & ) = void;
 | 
|---|
| 61 | void ?{}( charclass_res &, charclass_res) = void;
 | 
|---|
| 62 | charclass_res ?=?( charclass_res &, charclass_res) = void;
 | 
|---|
| 63 | void ?{}( charclass_res &, const string_res & chars);
 | 
|---|
| 64 | void ?{}( charclass_res &, const char * chars );
 | 
|---|
| 65 | void ?{}( charclass_res &, const char * chars, size_t charssize );
 | 
|---|
| 66 | void ^?{}( charclass_res & );
 | 
|---|
| 67 | 
 | 
|---|
| 68 | 
 | 
|---|
| 69 | //######################### String #########################
 | 
|---|
| 70 | 
 | 
|---|
| 71 | // Getters
 | 
|---|
| 72 | size_t size(const string_res &s);
 | 
|---|
| 73 | 
 | 
|---|
| 74 | // Constructors, Assignment Operators, Destructor
 | 
|---|
| 75 | void ?{}(string_res &s); // empty string
 | 
|---|
| 76 | void ?{}(string_res &s, const char* buffer, size_t bsize); // copy specific length from buffer
 | 
|---|
| 77 | static inline void ?{}(string_res &s, const char* rhs) { // copy from string literal (NULL-terminated)
 | 
|---|
| 78 |     (s){ rhs, strlen(rhs) };
 | 
|---|
| 79 | }
 | 
|---|
| 80 | 
 | 
|---|
| 81 | void ?{}(string_res &s, const string_res & s2) = void;
 | 
|---|
| 82 | void ?{}(string_res &s, string_res & s2) = void;
 | 
|---|
| 83 | 
 | 
|---|
| 84 | enum StrResInitMode { COPY_VALUE, SHARE_EDITS };
 | 
|---|
| 85 | void ?{}(string_res &s, const string_res & src, StrResInitMode, size_t start, size_t end );
 | 
|---|
| 86 | static inline void ?{}(string_res &s, const string_res & src, StrResInitMode mode ) {
 | 
|---|
| 87 |     ?{}( s, src, mode, 0, size(src));
 | 
|---|
| 88 | }
 | 
|---|
| 89 | 
 | 
|---|
| 90 | string_res & assign(string_res &s, const char* buffer, size_t bsize); // copy specific length from buffer
 | 
|---|
| 91 | static inline string_res & ?=?(string_res &s, const char* other) {  // copy from string literal (NULL-terminated)
 | 
|---|
| 92 |     return assign(s, other, strlen(other));
 | 
|---|
| 93 | }
 | 
|---|
| 94 | string_res & ?=?(string_res &s, const string_res &other);
 | 
|---|
| 95 | string_res & ?=?(string_res &s, string_res &other);
 | 
|---|
| 96 | string_res & ?=?(string_res &s, char other);
 | 
|---|
| 97 | 
 | 
|---|
| 98 | void ^?{}(string_res &s);
 | 
|---|
| 99 | 
 | 
|---|
| 100 | // IO Operator
 | 
|---|
| 101 | ofstream & ?|?(ofstream &out, const string_res &s);
 | 
|---|
| 102 | void ?|?(ofstream &out, const string_res &s);
 | 
|---|
| 103 | 
 | 
|---|
| 104 | // Concatenation
 | 
|---|
| 105 | void append(string_res &s, const char* buffer, size_t bsize);
 | 
|---|
| 106 | void ?+=?(string_res &s, char other); // append a character
 | 
|---|
| 107 | void ?+=?(string_res &s, const string_res &s2); // append-concatenate to first string
 | 
|---|
| 108 | static inline void ?+=?(string_res &s, const char* other) {
 | 
|---|
| 109 |     append( s, other, strlen(other) );
 | 
|---|
| 110 | }
 | 
|---|
| 111 | 
 | 
|---|
| 112 | // Character access
 | 
|---|
| 113 | void assignAt(const string_res &s, size_t index, char val);
 | 
|---|
| 114 | char ?[?](const string_res &s, size_t index); // Mike changed to ret by val from Sunjay's ref, to match Peter's
 | 
|---|
| 115 | //char codePointAt(const string_res &s, size_t index); // revisit under Unicode
 | 
|---|
| 116 | 
 | 
|---|
| 117 | // Comparisons
 | 
|---|
| 118 | bool ?==?(const string_res &s, const string_res &other);
 | 
|---|
| 119 | bool ?!=?(const string_res &s, const string_res &other);
 | 
|---|
| 120 | bool ?==?(const string_res &s, const char* other);
 | 
|---|
| 121 | bool ?!=?(const string_res &s, const char* other);
 | 
|---|
| 122 | 
 | 
|---|
| 123 | // String search
 | 
|---|
| 124 | bool contains(const string_res &s, char ch); // single character
 | 
|---|
| 125 | 
 | 
|---|
| 126 | int find(const string_res &s, char search);
 | 
|---|
| 127 | int find(const string_res &s, const string_res &search);
 | 
|---|
| 128 | int find(const string_res &s, const char* search);
 | 
|---|
| 129 | int find(const string_res &s, const char* search, size_t searchsize);
 | 
|---|
| 130 | 
 | 
|---|
| 131 | int findFrom(const string_res &s, size_t fromPos, char search);
 | 
|---|
| 132 | int findFrom(const string_res &s, size_t fromPos, const string_res &search);
 | 
|---|
| 133 | int findFrom(const string_res &s, size_t fromPos, const char* search);
 | 
|---|
| 134 | int findFrom(const string_res &s, size_t fromPos, const char* search, size_t searchsize);
 | 
|---|
| 135 | 
 | 
|---|
| 136 | bool includes(const string_res &s, const string_res &search);
 | 
|---|
| 137 | bool includes(const string_res &s, const char* search);
 | 
|---|
| 138 | bool includes(const string_res &s, const char* search, size_t searchsize);
 | 
|---|
| 139 | 
 | 
|---|
| 140 | bool startsWith(const string_res &s, const string_res &prefix);
 | 
|---|
| 141 | bool startsWith(const string_res &s, const char* prefix);
 | 
|---|
| 142 | bool startsWith(const string_res &s, const char* prefix, size_t prefixsize);
 | 
|---|
| 143 | 
 | 
|---|
| 144 | bool endsWith(const string_res &s, const string_res &suffix);
 | 
|---|
| 145 | bool endsWith(const string_res &s, const char* suffix);
 | 
|---|
| 146 | bool endsWith(const string_res &s, const char* suffix, size_t suffixsize);
 | 
|---|
| 147 | 
 | 
|---|
| 148 | int include(const string_res &s, const charclass_res &mask);
 | 
|---|
| 149 | int exclude(const string_res &s, const charclass_res &mask);
 | 
|---|
| 150 | 
 | 
|---|
| 151 | // Modifiers
 | 
|---|
| 152 | void padStart(string_res &s, size_t n);
 | 
|---|
| 153 | void padStart(string_res &s, size_t n, char padding);
 | 
|---|
| 154 | void padEnd(string_res &s, size_t n);
 | 
|---|
| 155 | void padEnd(string_res &s, size_t n, char padding);
 | 
|---|
| 156 | 
 | 
|---|