Searched refs:readHeader (Results 1 – 5 of 5) sorted by relevance
42 public DictionaryHeader readHeader() throws IOException, UnsupportedFormatException { in readHeader() method in Ver4DictDecoder64 final DictionaryHeader header = readHeader(); in readDictionaryBinary()
153 final DictionaryHeader header = dictDecoder.readHeader(); in readUnigramsAndBigramsBinary()173 dictDecoder.readHeader(); in getTerminalPosition()
61 readHeader(); in checkHeader()
42 public DictionaryHeader readHeader() throws IOException, UnsupportedFormatException; in readHeader() method
301 final DictionaryHeader fileHeader = dictDecoder.readHeader(); in testCharacterTableIsPresent()496 fileHeader = dictDecoder.readHeader();