Searched refs:codePointTableString (Results 1 – 1 of 1) sorted by relevance
791 final String codePointTableString = in writeDictionaryHeader() local794 CharEncoding.writeString(headerBuffer, codePointTableString, null); in writeDictionaryHeader()828 final StringBuilder codePointTableString = new StringBuilder(); in encodeCodePointTable() local832 codePointTableString.appendCodePoint(entry.getKey()); in encodeCodePointTable()837 return codePointTableString.toString(); in encodeCodePointTable()