Class WhitespaceString

    • Constructor Detail

      • WhitespaceString

        public WhitespaceString()
    • Method Detail

      • uncompress

        public abstract UnicodeString uncompress()
        Uncompress the whitespace to a (normal) UnicodeString
        Returns:
        the uncompressed value
      • getWidth

        public int getWidth()
        Description copied from class: UnicodeString
        Get the number of bits needed to hold all the characters in this string
        Specified by:
        getWidth in class UnicodeString
        Returns:
        7 for ascii characters (not used??), 8 for latin-1, 16 for BMP, 24 for general Unicode.
      • substring

        public UnicodeString substring​(long start,
                                       long end)
        Returns a new UnicodeString that is a subsequence of this sequence. The subsequence starts with the codepoint value at the specified index and ends with the codepoint value at index end - 1. The length (in codepoints) of thereturned sequence is end - start, so if start == end then an empty sequence is returned.
        Specified by:
        substring in class UnicodeString
        Parameters:
        start - the start index, inclusive
        end - the end index, exclusive
        Returns:
        the specified subsequence
        Throws:
        java.lang.IndexOutOfBoundsException - if start or end are negative, if end is greater than length(), or if start is greater than end
      • indexOf

        public long indexOf​(int codePoint,
                            long from)
        Description copied from class: UnicodeString
        Get the position of the first occurrence of the specified codepoint, starting the search at a given position in the string
        Specified by:
        indexOf in class UnicodeString
        Parameters:
        codePoint - the sought codePoint
        from - the position from which the search should start (0-based)
        Returns:
        the position (0-based) of the first occurrence found, or -1 if not found
      • toString

        public java.lang.String toString()
        Returns a string representation of the object.
        Overrides:
        toString in class java.lang.Object
      • write

        public abstract void write​(UnicodeWriter writer)
                            throws java.io.IOException
        Write the value to a UnicodeWriter
        Parameters:
        writer - the writer to write to
        Throws:
        java.io.IOException - if an error occurs downstream
      • writeEscape

        public abstract void writeEscape​(boolean[] specialChars,
                                         UnicodeWriter writer)
                                  throws java.io.IOException
        Write the value to a Writer with escaping of special characters
        Parameters:
        specialChars - identifies which characters are considered special
        writer - the writer to write to
        Throws:
        java.io.IOException - if an error occurs downstream