Class UnknownDictionaryBuilder


  • class UnknownDictionaryBuilder
    extends java.lang.Object
    • Field Detail

      • NGRAM_DICTIONARY_ENTRY

        private static final java.lang.String NGRAM_DICTIONARY_ENTRY
        See Also:
        Constant Field Values
      • encoding

        private final java.lang.String encoding
    • Constructor Detail

      • UnknownDictionaryBuilder

        UnknownDictionaryBuilder​(java.lang.String encoding)
    • Method Detail

      • build

        public UnknownDictionaryWriter build​(java.nio.file.Path dir)
                                      throws java.io.IOException
        Throws:
        java.io.IOException
      • readDictionaryFile

        private UnknownDictionaryWriter readDictionaryFile​(java.nio.file.Path path)
                                                    throws java.io.IOException
        Throws:
        java.io.IOException
      • readDictionaryFile

        private UnknownDictionaryWriter readDictionaryFile​(java.nio.file.Path path,
                                                           java.lang.String encoding)
                                                    throws java.io.IOException
        Throws:
        java.io.IOException
      • readCharacterDefinition

        private void readCharacterDefinition​(java.nio.file.Path path,
                                             UnknownDictionaryWriter dictionary)
                                      throws java.io.IOException
        Throws:
        java.io.IOException