dom/base/nsTextFragment.h

   1 /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
   2 /* vim: set ts=8 sts=2 et sw=2 tw=80: */
   3 /* This Source Code Form is subject to the terms of the Mozilla Public
   4  * License, v. 2.0. If a copy of the MPL was not distributed with this
   5  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   6
   7 /*
   8  * A class which represents a fragment of text (eg inside a text
   9  * node); if only codepoints below 256 are used, the text is stored as
  10  * a char*; otherwise the text is stored as a char16_t*
  11  */
  12
  13 #ifndef nsTextFragment_h___
  14 #define nsTextFragment_h___
  15
  16 #include "mozilla/Attributes.h"
  17 #include "mozilla/MemoryReporting.h"
  18
  19 #include "nsCharTraits.h"
  20 #include "nsString.h"
  21 #include "nsStringBuffer.h"
  22 #include "nsReadableUtils.h"
  23 #include "nsISupportsImpl.h"
  24
  25 // XXX should this normalize the code to keep a \u0000 at the end?
  26
  27 // XXX nsTextFragmentPool?
  28
  29 /**
  30  * A fragment of text. If mIs2b is 1 then the m2b pointer is valid
  31  * otherwise the m1b pointer is valid. If m1b is used then each byte
  32  * of data represents a single ucs2 character with the high byte being
  33  * zero.
  34  *
  35  * This class does not have a virtual destructor therefore it is not
  36  * meant to be subclassed.
  37  */
  38 class nsTextFragment final {
  39  public:
  40   static nsresult Init();
  41   static void Shutdown();
  42
  43   /**
  44    * Default constructor. Initialize the fragment to be empty.
  45    */
  46   nsTextFragment() : m1b(nullptr), mAllBits(0) {
  47     MOZ_COUNT_CTOR(nsTextFragment);
  48     NS_ASSERTION(sizeof(FragmentBits) == 4, "Bad field packing!");
  49   }
  50
  51   ~nsTextFragment();
  52
  53   /**
  54    * Change the contents of this fragment to be a copy of the
  55    * the argument fragment, or to "" if unable to allocate enough memory.
  56    */
  57   nsTextFragment& operator=(const nsTextFragment& aOther);
  58
  59   /**
  60    * Return true if this fragment is represented by char16_t data
  61    */
  62   bool Is2b() const { return mState.mIs2b; }
  63
  64   /**
  65    * Return true if this fragment contains Bidi text
  66    * For performance reasons this flag is only set if explicitely requested (by
  67    * setting the aUpdateBidi argument on SetTo or Append to true).
  68    */
  69   bool IsBidi() const { return mState.mIsBidi; }
  70
  71   /**
  72    * Get a pointer to constant char16_t data.
  73    */
  74   const char16_t* Get2b() const {
  75     MOZ_ASSERT(Is2b(), "not 2b text");
  76     return static_cast<char16_t*>(m2b->Data());
  77   }
  78
  79   /**
  80    * Get a pointer to constant char data.
  81    */
  82   const char* Get1b() const {
  83     NS_ASSERTION(!Is2b(), "not 1b text");
  84     return (const char*)m1b;
  85   }
  86
  87   /**
  88    * Get the length of the fragment. The length is the number of logical
  89    * characters, not the number of bytes to store the characters.
  90    */
  91   uint32_t GetLength() const { return mState.mLength; }
  92
  93   bool CanGrowBy(size_t n) const {
  94     return n < (1 << 29) && mState.mLength + n < (1 << 29);
  95   }
  96
  97   /**
  98    * Change the contents of this fragment to be a copy of the given
  99    * buffer. If aUpdateBidi is true, contents of the fragment will be scanned,
 100    * and mState.mIsBidi will be turned on if it includes any Bidi characters.
 101    * If aForce2b is true, aBuffer will be stored as char16_t as is.  Then,
 102    * you can access the value faster but may waste memory if all characters
 103    * are less than U+0100.
 104    */
 105   bool SetTo(const char16_t* aBuffer, int32_t aLength, bool aUpdateBidi,
 106              bool aForce2b);
 107
 108   bool SetTo(const nsString& aString, bool aUpdateBidi, bool aForce2b) {
 109     ReleaseText();
 110     if (aForce2b && !aUpdateBidi) {
 111       nsStringBuffer* buffer = nsStringBuffer::FromString(aString);
 112       if (buffer) {
 113         NS_ADDREF(m2b = buffer);
 114         mState.mInHeap = true;
 115         mState.mIs2b = true;
 116         mState.mLength = aString.Length();
 117         return true;
 118       }
 119     }
 120
 121     return SetTo(aString.get(), aString.Length(), aUpdateBidi, aForce2b);
 122   }
 123
 124   /**
 125    * Append aData to the end of this fragment. If aUpdateBidi is true, contents
 126    * of the fragment will be scanned, and mState.mIsBidi will be turned on if
 127    * it includes any Bidi characters.
 128    * If aForce2b is true, the string will be stored as char16_t as is.  Then,
 129    * you can access the value faster but may waste memory if all characters
 130    * are less than U+0100.
 131    */
 132   bool Append(const char16_t* aBuffer, uint32_t aLength, bool aUpdateBidi,
 133               bool aForce2b);
 134
 135   /**
 136    * Append the contents of this string fragment to aString
 137    */
 138   void AppendTo(nsAString& aString) const {
 139     if (!AppendTo(aString, mozilla::fallible)) {
 140       aString.AllocFailed(aString.Length() + GetLength());
 141     }
 142   }
 143
 144   /**
 145    * Append the contents of this string fragment to aString
 146    * @return false if an out of memory condition is detected, true otherwise
 147    */
 148   [[nodiscard]] bool AppendTo(nsAString& aString,
 149                               const mozilla::fallible_t& aFallible) const {
 150     if (mState.mIs2b) {
 151       if (aString.IsEmpty()) {
 152         m2b->ToString(mState.mLength, aString);
 153         return true;
 154       }
 155       bool ok = aString.Append(Get2b(), mState.mLength, aFallible);
 156       if (!ok) {
 157         return false;
 158       }
 159
 160       return true;
 161     } else {
 162       return AppendASCIItoUTF16(Substring(m1b, mState.mLength), aString,
 163                                 aFallible);
 164     }
 165   }
 166
 167   /**
 168    * Append a substring of the contents of this string fragment to aString.
 169    * @param aOffset where to start the substring in this text fragment
 170    * @param aLength the length of the substring
 171    */
 172   void AppendTo(nsAString& aString, int32_t aOffset, int32_t aLength) const {
 173     if (!AppendTo(aString, aOffset, aLength, mozilla::fallible)) {
 174       aString.AllocFailed(aString.Length() + aLength);
 175     }
 176   }
 177
 178   /**
 179    * Append a substring of the contents of this string fragment to aString.
 180    * @param aString the string in which to append
 181    * @param aOffset where to start the substring in this text fragment
 182    * @param aLength the length of the substring
 183    * @return false if an out of memory condition is detected, true otherwise
 184    */
 185   [[nodiscard]] bool AppendTo(nsAString& aString, int32_t aOffset,
 186                               int32_t aLength,
 187                               const mozilla::fallible_t& aFallible) const {
 188     if (mState.mIs2b) {
 189       bool ok = aString.Append(Get2b() + aOffset, aLength, aFallible);
 190       if (!ok) {
 191         return false;
 192       }
 193
 194       return true;
 195     } else {
 196       return AppendASCIItoUTF16(Substring(m1b + aOffset, aLength), aString,
 197                                 aFallible);
 198     }
 199   }
 200
 201   /**
 202    * Make a copy of the fragments contents starting at offset for
 203    * count characters. The offset and count will be adjusted to
 204    * lie within the fragments data. The fragments data is converted if
 205    * necessary.
 206    */
 207   void CopyTo(char16_t* aDest, int32_t aOffset, int32_t aCount);
 208
 209   /**
 210    * Return the character in the text-fragment at the given
 211    * index. This always returns a char16_t.
 212    */
 213   char16_t CharAt(int32_t aIndex) const {
 214     MOZ_ASSERT(uint32_t(aIndex) < mState.mLength, "bad index");
 215     return mState.mIs2b ? Get2b()[aIndex]
 216                         : static_cast<unsigned char>(m1b[aIndex]);
 217   }
 218
 219   /**
 220    * IsHighSurrogateFollowedByLowSurrogateAt() returns true if character at
 221    * aIndex is high surrogate and it's followed by low surrogate.
 222    */
 223   inline bool IsHighSurrogateFollowedByLowSurrogateAt(int32_t aIndex) const {
 224     MOZ_ASSERT(aIndex >= 0);
 225     MOZ_ASSERT(aIndex < mState.mLength);
 226     if (!mState.mIs2b || aIndex + 1 >= mState.mLength) {
 227       return false;
 228     }
 229     return NS_IS_SURROGATE_PAIR(Get2b()[aIndex], Get2b()[aIndex + 1]);
 230   }
 231
 232   /**
 233    * IsLowSurrogateFollowingHighSurrogateAt() returns true if character at
 234    * aIndex is low surrogate and it follows high surrogate.
 235    */
 236   inline bool IsLowSurrogateFollowingHighSurrogateAt(int32_t aIndex) const {
 237     MOZ_ASSERT(aIndex >= 0);
 238     MOZ_ASSERT(aIndex < mState.mLength);
 239     if (!mState.mIs2b || aIndex <= 0) {
 240       return false;
 241     }
 242     return NS_IS_SURROGATE_PAIR(Get2b()[aIndex - 1], Get2b()[aIndex]);
 243   }
 244
 245   /**
 246    * ScalarValueAt() returns a Unicode scalar value at aIndex.  If the character
 247    * at aIndex is a high surrogate followed by low surrogate, returns character
 248    * code for the pair.  If the index is low surrogate, or a high surrogate but
 249    * not in a pair, returns 0.
 250    */
 251   inline char32_t ScalarValueAt(int32_t aIndex) const {
 252     MOZ_ASSERT(aIndex >= 0);
 253     MOZ_ASSERT(aIndex < mState.mLength);
 254     if (!mState.mIs2b) {
 255       return static_cast<unsigned char>(m1b[aIndex]);
 256     }
 257     char16_t ch = Get2b()[aIndex];
 258     if (!IS_SURROGATE(ch)) {
 259       return ch;
 260     }
 261     if (aIndex + 1 < mState.mLength && NS_IS_HIGH_SURROGATE(ch)) {
 262       char16_t nextCh = Get2b()[aIndex + 1];
 263       if (NS_IS_LOW_SURROGATE(nextCh)) {
 264         return SURROGATE_TO_UCS4(ch, nextCh);
 265       }
 266     }
 267     return 0;
 268   }
 269
 270   void SetBidi(bool aBidi) { mState.mIsBidi = aBidi; }
 271
 272   struct FragmentBits {
 273     // uint32_t to ensure that the values are unsigned, because we
 274     // want 0/1, not 0/-1!
 275     // Making these bool causes Windows to not actually pack them,
 276     // which causes crashes because we assume this structure is no more than
 277     // 32 bits!
 278     uint32_t mInHeap : 1;
 279     uint32_t mIs2b : 1;
 280     uint32_t mIsBidi : 1;
 281     // Note that when you change the bits of mLength, you also need to change
 282     // NS_MAX_TEXT_FRAGMENT_LENGTH.
 283     uint32_t mLength : 29;
 284   };
 285
 286 #define NS_MAX_TEXT_FRAGMENT_LENGTH (static_cast<uint32_t>(0x1FFFFFFF))
 287
 288   size_t SizeOfExcludingThis(mozilla::MallocSizeOf aMallocSizeOf) const;
 289
 290   /**
 291    * Check whether the text in this fragment is the same as the text in the
 292    * other fragment.
 293    */
 294   [[nodiscard]] bool TextEquals(const nsTextFragment& aOther) const;
 295
 296  private:
 297   void ReleaseText();
 298
 299   /**
 300    * Scan the contents of the fragment and turn on mState.mIsBidi if it
 301    * includes any Bidi characters.
 302    */
 303   void UpdateBidiFlag(const char16_t* aBuffer, uint32_t aLength);
 304
 305   union {
 306     nsStringBuffer* m2b;
 307     const char* m1b;  // This is const since it can point to shared data
 308   };
 309
 310   union {
 311     uint32_t mAllBits;
 312     FragmentBits mState;
 313   };
 314 };
 315
 316 #endif /* nsTextFragment_h___ */