2013-08-15 10:11:09 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2013 The Android Open Source Project
|
|
|
|
*
|
|
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
* you may not use this file except in compliance with the License.
|
|
|
|
* You may obtain a copy of the License at
|
|
|
|
*
|
|
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
*
|
|
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
* See the License for the specific language governing permissions and
|
|
|
|
* limitations under the License.
|
|
|
|
*/
|
|
|
|
|
|
|
|
package com.android.inputmethod.latin.makedict;
|
|
|
|
|
|
|
|
import com.android.inputmethod.annotations.UsedForTesting;
|
2013-08-19 05:49:57 +00:00
|
|
|
import com.android.inputmethod.latin.makedict.BinaryDictDecoderUtils.CharEncoding;
|
|
|
|
import com.android.inputmethod.latin.makedict.BinaryDictDecoderUtils.DictBuffer;
|
2013-08-20 04:15:27 +00:00
|
|
|
import com.android.inputmethod.latin.makedict.FormatSpec.FileHeader;
|
|
|
|
import com.android.inputmethod.latin.makedict.FormatSpec.FormatOptions;
|
2013-08-22 02:07:52 +00:00
|
|
|
import com.android.inputmethod.latin.makedict.FusionDictionary.PtNode;
|
2013-08-20 08:01:47 +00:00
|
|
|
import com.android.inputmethod.latin.makedict.FusionDictionary.WeightedString;
|
2013-08-15 10:11:09 +00:00
|
|
|
import com.android.inputmethod.latin.utils.JniUtils;
|
|
|
|
|
|
|
|
import java.io.File;
|
|
|
|
import java.io.FileNotFoundException;
|
|
|
|
import java.io.IOException;
|
2013-08-20 08:01:47 +00:00
|
|
|
import java.util.ArrayList;
|
|
|
|
import java.util.Arrays;
|
2013-08-15 10:11:09 +00:00
|
|
|
import java.util.HashMap;
|
2013-08-23 14:30:16 +00:00
|
|
|
import java.util.TreeMap;
|
2013-08-15 10:11:09 +00:00
|
|
|
|
2013-08-20 06:52:02 +00:00
|
|
|
/**
|
|
|
|
* An implementation of DictDecoder for version 3 binary dictionary.
|
|
|
|
*/
|
2013-08-19 05:49:57 +00:00
|
|
|
@UsedForTesting
|
2013-08-20 06:52:02 +00:00
|
|
|
public class Ver3DictDecoder implements DictDecoder {
|
2013-08-15 10:11:09 +00:00
|
|
|
|
|
|
|
static {
|
|
|
|
JniUtils.loadNativeLibrary();
|
|
|
|
}
|
|
|
|
|
|
|
|
// TODO: implement something sensical instead of just a phony method
|
|
|
|
private static native int doNothing();
|
|
|
|
|
2013-08-20 04:15:27 +00:00
|
|
|
private final static class HeaderReader {
|
|
|
|
protected static int readVersion(final DictBuffer dictBuffer)
|
|
|
|
throws IOException, UnsupportedFormatException {
|
|
|
|
return BinaryDictDecoderUtils.checkFormatVersion(dictBuffer);
|
|
|
|
}
|
|
|
|
|
|
|
|
protected static int readOptionFlags(final DictBuffer dictBuffer) {
|
|
|
|
return dictBuffer.readUnsignedShort();
|
|
|
|
}
|
|
|
|
|
|
|
|
protected static int readHeaderSize(final DictBuffer dictBuffer) {
|
|
|
|
return dictBuffer.readInt();
|
|
|
|
}
|
|
|
|
|
|
|
|
protected static HashMap<String, String> readAttributes(final DictBuffer dictBuffer,
|
|
|
|
final int headerSize) {
|
|
|
|
final HashMap<String, String> attributes = new HashMap<String, String>();
|
|
|
|
while (dictBuffer.position() < headerSize) {
|
|
|
|
// We can avoid an infinite loop here since dictBuffer.position() is always
|
|
|
|
// increased by calling CharEncoding.readString.
|
|
|
|
final String key = CharEncoding.readString(dictBuffer);
|
|
|
|
final String value = CharEncoding.readString(dictBuffer);
|
|
|
|
attributes.put(key, value);
|
|
|
|
}
|
|
|
|
dictBuffer.position(headerSize);
|
|
|
|
return attributes;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-08-20 08:01:47 +00:00
|
|
|
private final static class PtNodeReader {
|
|
|
|
protected static int readPtNodeOptionFlags(final DictBuffer dictBuffer) {
|
|
|
|
return dictBuffer.readUnsignedByte();
|
|
|
|
}
|
|
|
|
|
|
|
|
protected static int readParentAddress(final DictBuffer dictBuffer,
|
|
|
|
final FormatOptions formatOptions) {
|
|
|
|
if (BinaryDictIOUtils.supportsDynamicUpdate(formatOptions)) {
|
|
|
|
return BinaryDictDecoderUtils.readSInt24(dictBuffer);
|
|
|
|
} else {
|
|
|
|
return FormatSpec.NO_PARENT_ADDRESS;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
protected static int readFrequency(final DictBuffer dictBuffer) {
|
|
|
|
return dictBuffer.readUnsignedByte();
|
|
|
|
}
|
|
|
|
|
|
|
|
protected static int readChildrenAddress(final DictBuffer dictBuffer, final int optionFlags,
|
|
|
|
final FormatOptions formatOptions) {
|
|
|
|
if (BinaryDictIOUtils.supportsDynamicUpdate(formatOptions)) {
|
|
|
|
final int address = BinaryDictDecoderUtils.readSInt24(dictBuffer);
|
|
|
|
if (address == 0) return FormatSpec.NO_CHILDREN_ADDRESS;
|
|
|
|
return address;
|
|
|
|
} else {
|
2013-08-22 02:07:52 +00:00
|
|
|
switch (optionFlags & FormatSpec.MASK_CHILDREN_ADDRESS_TYPE) {
|
|
|
|
case FormatSpec.FLAG_CHILDREN_ADDRESS_TYPE_ONEBYTE:
|
2013-08-20 08:01:47 +00:00
|
|
|
return dictBuffer.readUnsignedByte();
|
2013-08-22 02:07:52 +00:00
|
|
|
case FormatSpec.FLAG_CHILDREN_ADDRESS_TYPE_TWOBYTES:
|
2013-08-20 08:01:47 +00:00
|
|
|
return dictBuffer.readUnsignedShort();
|
2013-08-22 02:07:52 +00:00
|
|
|
case FormatSpec.FLAG_CHILDREN_ADDRESS_TYPE_THREEBYTES:
|
2013-08-20 08:01:47 +00:00
|
|
|
return dictBuffer.readUnsignedInt24();
|
2013-08-22 02:07:52 +00:00
|
|
|
case FormatSpec.FLAG_CHILDREN_ADDRESS_TYPE_NOADDRESS:
|
2013-08-20 08:01:47 +00:00
|
|
|
default:
|
|
|
|
return FormatSpec.NO_CHILDREN_ADDRESS;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Reads shortcuts and returns the read length.
|
|
|
|
protected static int readShortcut(final DictBuffer dictBuffer,
|
|
|
|
final ArrayList<WeightedString> shortcutTargets) {
|
|
|
|
final int pointerBefore = dictBuffer.position();
|
|
|
|
dictBuffer.readUnsignedShort(); // skip the size
|
|
|
|
while (true) {
|
|
|
|
final int targetFlags = dictBuffer.readUnsignedByte();
|
|
|
|
final String word = CharEncoding.readString(dictBuffer);
|
|
|
|
shortcutTargets.add(new WeightedString(word,
|
2013-08-22 02:07:52 +00:00
|
|
|
targetFlags & FormatSpec.FLAG_BIGRAM_SHORTCUT_ATTR_FREQUENCY));
|
|
|
|
if (0 == (targetFlags & FormatSpec.FLAG_BIGRAM_SHORTCUT_ATTR_HAS_NEXT)) break;
|
2013-08-20 08:01:47 +00:00
|
|
|
}
|
|
|
|
return dictBuffer.position() - pointerBefore;
|
|
|
|
}
|
|
|
|
|
|
|
|
protected static int readBigrams(final DictBuffer dictBuffer,
|
|
|
|
final ArrayList<PendingAttribute> bigrams, final int baseAddress) {
|
|
|
|
int readLength = 0;
|
|
|
|
int bigramCount = 0;
|
2013-08-22 02:07:52 +00:00
|
|
|
while (bigramCount++ < FormatSpec.MAX_BIGRAMS_IN_A_PTNODE) {
|
2013-08-20 08:01:47 +00:00
|
|
|
final int bigramFlags = dictBuffer.readUnsignedByte();
|
|
|
|
++readLength;
|
2013-08-22 02:07:52 +00:00
|
|
|
final int sign = 0 == (bigramFlags & FormatSpec.FLAG_BIGRAM_ATTR_OFFSET_NEGATIVE)
|
2013-08-20 08:01:47 +00:00
|
|
|
? 1 : -1;
|
|
|
|
int bigramAddress = baseAddress + readLength;
|
2013-08-22 02:07:52 +00:00
|
|
|
switch (bigramFlags & FormatSpec.MASK_BIGRAM_ATTR_ADDRESS_TYPE) {
|
|
|
|
case FormatSpec.FLAG_BIGRAM_ATTR_ADDRESS_TYPE_ONEBYTE:
|
2013-08-20 08:01:47 +00:00
|
|
|
bigramAddress += sign * dictBuffer.readUnsignedByte();
|
|
|
|
readLength += 1;
|
|
|
|
break;
|
2013-08-22 02:07:52 +00:00
|
|
|
case FormatSpec.FLAG_BIGRAM_ATTR_ADDRESS_TYPE_TWOBYTES:
|
2013-08-20 08:01:47 +00:00
|
|
|
bigramAddress += sign * dictBuffer.readUnsignedShort();
|
|
|
|
readLength += 2;
|
|
|
|
break;
|
2013-08-22 02:07:52 +00:00
|
|
|
case FormatSpec.FLAG_BIGRAM_ATTR_ADDRESS_TYPE_THREEBYTES:
|
2013-08-20 08:01:47 +00:00
|
|
|
final int offset = (dictBuffer.readUnsignedByte() << 16)
|
|
|
|
+ dictBuffer.readUnsignedShort();
|
|
|
|
bigramAddress += sign * offset;
|
|
|
|
readLength += 3;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
throw new RuntimeException("Has bigrams with no address");
|
|
|
|
}
|
2013-08-22 02:07:52 +00:00
|
|
|
bigrams.add(new PendingAttribute(
|
|
|
|
bigramFlags & FormatSpec.FLAG_BIGRAM_SHORTCUT_ATTR_FREQUENCY,
|
2013-08-20 08:01:47 +00:00
|
|
|
bigramAddress));
|
2013-08-22 02:07:52 +00:00
|
|
|
if (0 == (bigramFlags & FormatSpec.FLAG_BIGRAM_SHORTCUT_ATTR_HAS_NEXT)) break;
|
2013-08-20 08:01:47 +00:00
|
|
|
}
|
|
|
|
return readLength;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-08-19 05:49:57 +00:00
|
|
|
private final File mDictionaryBinaryFile;
|
2013-08-22 13:43:20 +00:00
|
|
|
private final DictionaryBufferFactory mBufferFactory;
|
2013-08-19 05:49:57 +00:00
|
|
|
private DictBuffer mDictBuffer;
|
2013-08-15 10:11:09 +00:00
|
|
|
|
2013-08-20 06:48:16 +00:00
|
|
|
public Ver3DictDecoder(final File file) {
|
2013-08-22 13:43:20 +00:00
|
|
|
this(file, USE_READONLY_BYTEBUFFER);
|
|
|
|
}
|
|
|
|
|
|
|
|
public Ver3DictDecoder(final File file, final int factoryFlag) {
|
2013-08-19 05:49:57 +00:00
|
|
|
mDictionaryBinaryFile = file;
|
|
|
|
mDictBuffer = null;
|
2013-08-22 13:43:20 +00:00
|
|
|
|
|
|
|
if ((factoryFlag & MASK_DICTBUFFER) == USE_READONLY_BYTEBUFFER) {
|
|
|
|
mBufferFactory = new DictionaryBufferFromReadOnlyByteBufferFactory();
|
|
|
|
} else if ((factoryFlag & MASK_DICTBUFFER) == USE_BYTEARRAY) {
|
|
|
|
mBufferFactory = new DictionaryBufferFromByteArrayFactory();
|
|
|
|
} else if ((factoryFlag & MASK_DICTBUFFER) == USE_WRITABLE_BYTEBUFFER) {
|
|
|
|
mBufferFactory = new DictionaryBufferFromWritableByteBufferFactory();
|
|
|
|
} else {
|
|
|
|
mBufferFactory = new DictionaryBufferFromReadOnlyByteBufferFactory();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
public Ver3DictDecoder(final File file, final DictionaryBufferFactory factory) {
|
|
|
|
mDictionaryBinaryFile = file;
|
|
|
|
mBufferFactory = factory;
|
2013-08-19 05:49:57 +00:00
|
|
|
}
|
2013-08-15 10:11:09 +00:00
|
|
|
|
2013-08-22 13:43:20 +00:00
|
|
|
public void openDictBuffer() throws FileNotFoundException, IOException {
|
|
|
|
mDictBuffer = mBufferFactory.getDictionaryBuffer(mDictionaryBinaryFile);
|
2013-08-15 10:11:09 +00:00
|
|
|
}
|
|
|
|
|
2013-08-22 13:43:20 +00:00
|
|
|
/* package */ DictBuffer getDictBuffer() {
|
2013-08-19 05:49:57 +00:00
|
|
|
return mDictBuffer;
|
2013-08-15 10:11:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
@UsedForTesting
|
2013-08-22 13:43:20 +00:00
|
|
|
/* package */ DictBuffer openAndGetDictBuffer() throws FileNotFoundException, IOException {
|
|
|
|
openDictBuffer();
|
2013-08-19 05:49:57 +00:00
|
|
|
return getDictBuffer();
|
|
|
|
}
|
2013-08-15 10:11:09 +00:00
|
|
|
|
2013-08-20 06:52:02 +00:00
|
|
|
@Override
|
2013-08-20 04:15:27 +00:00
|
|
|
public FileHeader readHeader() throws IOException, UnsupportedFormatException {
|
2013-08-22 13:43:20 +00:00
|
|
|
if (mDictBuffer == null) {
|
|
|
|
openDictBuffer();
|
|
|
|
}
|
|
|
|
|
2013-08-20 04:15:27 +00:00
|
|
|
final int version = HeaderReader.readVersion(mDictBuffer);
|
|
|
|
final int optionsFlags = HeaderReader.readOptionFlags(mDictBuffer);
|
2013-08-15 10:11:09 +00:00
|
|
|
|
2013-08-20 04:15:27 +00:00
|
|
|
final int headerSize = HeaderReader.readHeaderSize(mDictBuffer);
|
2013-08-15 10:11:09 +00:00
|
|
|
|
2013-08-20 04:15:27 +00:00
|
|
|
if (headerSize < 0) {
|
|
|
|
throw new UnsupportedFormatException("header size can't be negative.");
|
2013-08-19 05:49:57 +00:00
|
|
|
}
|
2013-08-20 04:15:27 +00:00
|
|
|
|
|
|
|
final HashMap<String, String> attributes = HeaderReader.readAttributes(mDictBuffer,
|
|
|
|
headerSize);
|
|
|
|
|
|
|
|
final FileHeader header = new FileHeader(headerSize,
|
|
|
|
new FusionDictionary.DictionaryOptions(attributes,
|
|
|
|
0 != (optionsFlags & FormatSpec.GERMAN_UMLAUT_PROCESSING_FLAG),
|
|
|
|
0 != (optionsFlags & FormatSpec.FRENCH_LIGATURE_PROCESSING_FLAG)),
|
|
|
|
new FormatOptions(version,
|
|
|
|
0 != (optionsFlags & FormatSpec.SUPPORTS_DYNAMIC_UPDATE)));
|
|
|
|
return header;
|
2013-08-15 10:11:09 +00:00
|
|
|
}
|
2013-08-20 08:01:47 +00:00
|
|
|
|
|
|
|
// TODO: Make this buffer multi thread safe.
|
|
|
|
private final int[] mCharacterBuffer = new int[FormatSpec.MAX_WORD_LENGTH];
|
|
|
|
@Override
|
2013-08-22 02:07:52 +00:00
|
|
|
public PtNodeInfo readPtNode(final int ptNodePos, final FormatOptions options) {
|
2013-08-21 06:27:36 +00:00
|
|
|
int addressPointer = ptNodePos;
|
2013-08-20 08:01:47 +00:00
|
|
|
final int flags = PtNodeReader.readPtNodeOptionFlags(mDictBuffer);
|
|
|
|
++addressPointer;
|
|
|
|
|
|
|
|
final int parentAddress = PtNodeReader.readParentAddress(mDictBuffer, options);
|
|
|
|
if (BinaryDictIOUtils.supportsDynamicUpdate(options)) {
|
|
|
|
addressPointer += 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
final int characters[];
|
|
|
|
if (0 != (flags & FormatSpec.FLAG_HAS_MULTIPLE_CHARS)) {
|
|
|
|
int index = 0;
|
|
|
|
int character = CharEncoding.readChar(mDictBuffer);
|
|
|
|
addressPointer += CharEncoding.getCharSize(character);
|
|
|
|
while (-1 != character) {
|
|
|
|
// FusionDictionary is making sure that the length of the word is smaller than
|
|
|
|
// MAX_WORD_LENGTH.
|
|
|
|
// So we'll never write past the end of mCharacterBuffer.
|
|
|
|
mCharacterBuffer[index++] = character;
|
|
|
|
character = CharEncoding.readChar(mDictBuffer);
|
|
|
|
addressPointer += CharEncoding.getCharSize(character);
|
|
|
|
}
|
|
|
|
characters = Arrays.copyOfRange(mCharacterBuffer, 0, index);
|
|
|
|
} else {
|
|
|
|
final int character = CharEncoding.readChar(mDictBuffer);
|
|
|
|
addressPointer += CharEncoding.getCharSize(character);
|
|
|
|
characters = new int[] { character };
|
|
|
|
}
|
|
|
|
final int frequency;
|
|
|
|
if (0 != (FormatSpec.FLAG_IS_TERMINAL & flags)) {
|
|
|
|
++addressPointer;
|
|
|
|
frequency = PtNodeReader.readFrequency(mDictBuffer);
|
|
|
|
} else {
|
2013-08-22 02:07:52 +00:00
|
|
|
frequency = PtNode.NOT_A_TERMINAL;
|
2013-08-20 08:01:47 +00:00
|
|
|
}
|
|
|
|
int childrenAddress = PtNodeReader.readChildrenAddress(mDictBuffer, flags, options);
|
|
|
|
if (childrenAddress != FormatSpec.NO_CHILDREN_ADDRESS) {
|
|
|
|
childrenAddress += addressPointer;
|
|
|
|
}
|
|
|
|
addressPointer += BinaryDictIOUtils.getChildrenAddressSize(flags, options);
|
2013-08-22 13:01:19 +00:00
|
|
|
final ArrayList<WeightedString> shortcutTargets;
|
2013-08-20 08:01:47 +00:00
|
|
|
if (0 != (flags & FormatSpec.FLAG_HAS_SHORTCUT_TARGETS)) {
|
2013-08-22 13:01:19 +00:00
|
|
|
// readShortcut will add shortcuts to shortcutTargets.
|
|
|
|
shortcutTargets = new ArrayList<WeightedString>();
|
2013-08-20 08:01:47 +00:00
|
|
|
addressPointer += PtNodeReader.readShortcut(mDictBuffer, shortcutTargets);
|
2013-08-22 13:01:19 +00:00
|
|
|
} else {
|
|
|
|
shortcutTargets = null;
|
2013-08-20 08:01:47 +00:00
|
|
|
}
|
2013-08-22 13:01:19 +00:00
|
|
|
|
|
|
|
final ArrayList<PendingAttribute> bigrams;
|
2013-08-20 08:01:47 +00:00
|
|
|
if (0 != (flags & FormatSpec.FLAG_HAS_BIGRAMS)) {
|
|
|
|
bigrams = new ArrayList<PendingAttribute>();
|
|
|
|
addressPointer += PtNodeReader.readBigrams(mDictBuffer, bigrams, addressPointer);
|
2013-08-22 02:07:52 +00:00
|
|
|
if (bigrams.size() >= FormatSpec.MAX_BIGRAMS_IN_A_PTNODE) {
|
|
|
|
MakedictLog.d("too many bigrams in a PtNode.");
|
2013-08-20 08:01:47 +00:00
|
|
|
}
|
2013-08-22 13:01:19 +00:00
|
|
|
} else {
|
|
|
|
bigrams = null;
|
2013-08-20 08:01:47 +00:00
|
|
|
}
|
2013-08-22 02:07:52 +00:00
|
|
|
return new PtNodeInfo(ptNodePos, addressPointer, flags, characters, frequency,
|
2013-08-20 08:01:47 +00:00
|
|
|
parentAddress, childrenAddress, shortcutTargets, bigrams);
|
|
|
|
}
|
2013-08-22 13:43:20 +00:00
|
|
|
|
|
|
|
@Override
|
|
|
|
public FusionDictionary readDictionaryBinary(final FusionDictionary dict)
|
|
|
|
throws FileNotFoundException, IOException, UnsupportedFormatException {
|
|
|
|
if (mDictBuffer == null) {
|
|
|
|
openDictBuffer();
|
|
|
|
}
|
|
|
|
return BinaryDictDecoderUtils.readDictionaryBinary(this, dict);
|
|
|
|
}
|
2013-08-23 14:23:03 +00:00
|
|
|
|
|
|
|
@Override
|
|
|
|
public int getTerminalPosition(String word) throws IOException, UnsupportedFormatException {
|
|
|
|
if (mDictBuffer == null) {
|
|
|
|
openDictBuffer();
|
|
|
|
}
|
|
|
|
return BinaryDictIOUtils.getTerminalPosition(this, word);
|
|
|
|
}
|
2013-08-23 14:30:16 +00:00
|
|
|
|
|
|
|
@Override
|
|
|
|
public void readUnigramsAndBigramsBinary(final TreeMap<Integer, String> words,
|
|
|
|
final TreeMap<Integer, Integer> frequencies,
|
|
|
|
final TreeMap<Integer, ArrayList<PendingAttribute>> bigrams)
|
|
|
|
throws IOException, UnsupportedFormatException {
|
|
|
|
if (mDictBuffer == null) {
|
|
|
|
openDictBuffer();
|
|
|
|
}
|
|
|
|
BinaryDictIOUtils.readUnigramsAndBigramsBinary(this, words, frequencies, bigrams);
|
|
|
|
}
|
|
|
|
|
2013-08-15 10:11:09 +00:00
|
|
|
}
|