Interface IndexDictionary

    • Method Detail

      • write

        void write​(DataOutput output,
                   BlockEncoder blockEncoder)
            throws java.io.IOException
        Writes this dictionary to the provided output.
        Parameters:
        blockEncoder - The BlockEncoder for specific encoding of this index dictionary; or null if none.
        Throws:
        java.io.IOException