2011-07-25 01:35:51 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2011 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.spellcheck;
|
|
|
|
|
2011-08-16 10:43:16 +00:00
|
|
|
import android.content.Intent;
|
2011-11-09 23:21:42 +00:00
|
|
|
import android.content.SharedPreferences;
|
2011-08-04 11:19:12 +00:00
|
|
|
import android.content.res.Resources;
|
2011-11-09 23:21:42 +00:00
|
|
|
import android.preference.PreferenceManager;
|
2011-07-25 01:35:51 +00:00
|
|
|
import android.service.textservice.SpellCheckerService;
|
2011-10-04 01:54:23 +00:00
|
|
|
import android.text.TextUtils;
|
2011-08-16 08:37:18 +00:00
|
|
|
import android.util.Log;
|
2011-07-25 01:35:51 +00:00
|
|
|
import android.view.textservice.SuggestionsInfo;
|
|
|
|
import android.view.textservice.TextInfo;
|
|
|
|
|
2011-12-09 18:26:47 +00:00
|
|
|
import com.android.inputmethod.compat.SuggestionsInfoCompatUtils;
|
2011-08-04 11:19:12 +00:00
|
|
|
import com.android.inputmethod.keyboard.ProximityInfo;
|
2011-09-29 12:07:22 +00:00
|
|
|
import com.android.inputmethod.latin.BinaryDictionary;
|
2011-08-04 11:19:12 +00:00
|
|
|
import com.android.inputmethod.latin.Dictionary;
|
|
|
|
import com.android.inputmethod.latin.Dictionary.WordCallback;
|
2011-08-18 10:29:29 +00:00
|
|
|
import com.android.inputmethod.latin.DictionaryCollection;
|
2011-08-04 11:19:12 +00:00
|
|
|
import com.android.inputmethod.latin.DictionaryFactory;
|
2012-03-26 13:31:20 +00:00
|
|
|
import com.android.inputmethod.latin.LatinIME;
|
2011-08-26 11:22:47 +00:00
|
|
|
import com.android.inputmethod.latin.LocaleUtils;
|
2011-09-02 05:36:04 +00:00
|
|
|
import com.android.inputmethod.latin.R;
|
2012-03-08 08:07:02 +00:00
|
|
|
import com.android.inputmethod.latin.StringUtils;
|
2012-03-26 13:31:20 +00:00
|
|
|
import com.android.inputmethod.latin.SynchronouslyLoadedContactsBinaryDictionary;
|
2011-10-24 10:10:43 +00:00
|
|
|
import com.android.inputmethod.latin.SynchronouslyLoadedContactsDictionary;
|
2011-08-29 09:09:00 +00:00
|
|
|
import com.android.inputmethod.latin.SynchronouslyLoadedUserDictionary;
|
2011-10-06 06:57:43 +00:00
|
|
|
import com.android.inputmethod.latin.WhitelistDictionary;
|
2011-08-04 11:19:12 +00:00
|
|
|
import com.android.inputmethod.latin.WordComposer;
|
|
|
|
|
2011-11-09 23:21:42 +00:00
|
|
|
import java.lang.ref.WeakReference;
|
2011-08-22 09:03:42 +00:00
|
|
|
import java.util.ArrayList;
|
2011-08-08 04:37:11 +00:00
|
|
|
import java.util.Arrays;
|
2011-08-04 11:19:12 +00:00
|
|
|
import java.util.Collections;
|
2012-03-08 08:07:02 +00:00
|
|
|
import java.util.HashSet;
|
2011-11-09 23:21:42 +00:00
|
|
|
import java.util.Iterator;
|
2011-08-04 11:19:12 +00:00
|
|
|
import java.util.Locale;
|
|
|
|
import java.util.Map;
|
|
|
|
import java.util.TreeMap;
|
|
|
|
|
2011-07-25 01:35:51 +00:00
|
|
|
/**
|
|
|
|
* Service for spell checking, using LatinIME's dictionaries and mechanisms.
|
|
|
|
*/
|
2011-11-09 23:21:42 +00:00
|
|
|
public class AndroidSpellCheckerService extends SpellCheckerService
|
|
|
|
implements SharedPreferences.OnSharedPreferenceChangeListener {
|
2011-07-28 11:55:00 +00:00
|
|
|
private static final String TAG = AndroidSpellCheckerService.class.getSimpleName();
|
2011-08-16 08:37:18 +00:00
|
|
|
private static final boolean DBG = false;
|
|
|
|
private static final int POOL_SIZE = 2;
|
2011-08-04 11:19:12 +00:00
|
|
|
|
2011-11-09 23:21:42 +00:00
|
|
|
public static final String PREF_USE_CONTACTS_KEY = "pref_spellcheck_use_contacts";
|
|
|
|
|
2011-09-09 11:54:43 +00:00
|
|
|
private static final int CAPITALIZE_NONE = 0; // No caps, or mixed case
|
|
|
|
private static final int CAPITALIZE_FIRST = 1; // First only
|
|
|
|
private static final int CAPITALIZE_ALL = 2; // All caps
|
|
|
|
|
2011-08-22 09:03:42 +00:00
|
|
|
private final static String[] EMPTY_STRING_ARRAY = new String[0];
|
2011-08-16 10:43:16 +00:00
|
|
|
private Map<String, DictionaryPool> mDictionaryPools =
|
2011-08-16 08:37:18 +00:00
|
|
|
Collections.synchronizedMap(new TreeMap<String, DictionaryPool>());
|
2011-08-18 10:29:29 +00:00
|
|
|
private Map<String, Dictionary> mUserDictionaries =
|
|
|
|
Collections.synchronizedMap(new TreeMap<String, Dictionary>());
|
2011-10-06 06:57:43 +00:00
|
|
|
private Map<String, Dictionary> mWhitelistDictionaries =
|
|
|
|
Collections.synchronizedMap(new TreeMap<String, Dictionary>());
|
2012-03-26 13:31:20 +00:00
|
|
|
private Dictionary mContactsDictionary;
|
2011-08-04 11:19:12 +00:00
|
|
|
|
2011-09-29 07:04:36 +00:00
|
|
|
// The threshold for a candidate to be offered as a suggestion.
|
|
|
|
private double mSuggestionThreshold;
|
2011-11-09 17:52:46 +00:00
|
|
|
// The threshold for a suggestion to be considered "recommended".
|
|
|
|
private double mRecommendedThreshold;
|
2011-11-09 23:21:42 +00:00
|
|
|
// Whether to use the contacts dictionary
|
|
|
|
private boolean mUseContactsDictionary;
|
|
|
|
private final Object mUseContactsLock = new Object();
|
|
|
|
|
|
|
|
private final HashSet<WeakReference<DictionaryCollection>> mDictionaryCollectionsList =
|
|
|
|
new HashSet<WeakReference<DictionaryCollection>>();
|
2011-09-02 05:36:04 +00:00
|
|
|
|
2011-12-08 07:52:08 +00:00
|
|
|
public static final int SCRIPT_LATIN = 0;
|
|
|
|
public static final int SCRIPT_CYRILLIC = 1;
|
|
|
|
private static final TreeMap<String, Integer> mLanguageToScript;
|
|
|
|
static {
|
|
|
|
// List of the supported languages and their associated script. We won't check
|
|
|
|
// words written in another script than the selected script, because we know we
|
|
|
|
// don't have those in our dictionary so we will underline everything and we
|
|
|
|
// will never have any suggestions, so it makes no sense checking them.
|
|
|
|
mLanguageToScript = new TreeMap<String, Integer>();
|
|
|
|
mLanguageToScript.put("en", SCRIPT_LATIN);
|
|
|
|
mLanguageToScript.put("fr", SCRIPT_LATIN);
|
|
|
|
mLanguageToScript.put("de", SCRIPT_LATIN);
|
|
|
|
mLanguageToScript.put("nl", SCRIPT_LATIN);
|
|
|
|
mLanguageToScript.put("cs", SCRIPT_LATIN);
|
|
|
|
mLanguageToScript.put("es", SCRIPT_LATIN);
|
|
|
|
mLanguageToScript.put("it", SCRIPT_LATIN);
|
|
|
|
mLanguageToScript.put("ru", SCRIPT_CYRILLIC);
|
|
|
|
}
|
|
|
|
|
2011-09-02 05:36:04 +00:00
|
|
|
@Override public void onCreate() {
|
|
|
|
super.onCreate();
|
2011-09-29 07:04:36 +00:00
|
|
|
mSuggestionThreshold =
|
|
|
|
Double.parseDouble(getString(R.string.spellchecker_suggestion_threshold_value));
|
2011-11-09 17:52:46 +00:00
|
|
|
mRecommendedThreshold =
|
|
|
|
Double.parseDouble(getString(R.string.spellchecker_recommended_threshold_value));
|
2011-11-09 23:21:42 +00:00
|
|
|
final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);
|
|
|
|
prefs.registerOnSharedPreferenceChangeListener(this);
|
|
|
|
onSharedPreferenceChanged(prefs, PREF_USE_CONTACTS_KEY);
|
|
|
|
}
|
|
|
|
|
2011-12-08 07:52:08 +00:00
|
|
|
private static int getScriptFromLocale(final Locale locale) {
|
|
|
|
final Integer script = mLanguageToScript.get(locale.getLanguage());
|
|
|
|
if (null == script) {
|
|
|
|
throw new RuntimeException("We have been called with an unsupported language: \""
|
|
|
|
+ locale.getLanguage() + "\". Framework bug?");
|
|
|
|
}
|
|
|
|
return script;
|
|
|
|
}
|
|
|
|
|
2011-11-09 23:21:42 +00:00
|
|
|
@Override
|
|
|
|
public void onSharedPreferenceChanged(final SharedPreferences prefs, final String key) {
|
|
|
|
if (!PREF_USE_CONTACTS_KEY.equals(key)) return;
|
|
|
|
synchronized(mUseContactsLock) {
|
|
|
|
mUseContactsDictionary = prefs.getBoolean(PREF_USE_CONTACTS_KEY, true);
|
|
|
|
if (mUseContactsDictionary) {
|
|
|
|
startUsingContactsDictionaryLocked();
|
|
|
|
} else {
|
|
|
|
stopUsingContactsDictionaryLocked();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private void startUsingContactsDictionaryLocked() {
|
|
|
|
if (null == mContactsDictionary) {
|
|
|
|
mContactsDictionary = new SynchronouslyLoadedContactsDictionary(this);
|
|
|
|
}
|
|
|
|
final Iterator<WeakReference<DictionaryCollection>> iterator =
|
|
|
|
mDictionaryCollectionsList.iterator();
|
|
|
|
while (iterator.hasNext()) {
|
|
|
|
final WeakReference<DictionaryCollection> dictRef = iterator.next();
|
|
|
|
final DictionaryCollection dict = dictRef.get();
|
|
|
|
if (null == dict) {
|
|
|
|
iterator.remove();
|
|
|
|
} else {
|
|
|
|
dict.addDictionary(mContactsDictionary);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private void stopUsingContactsDictionaryLocked() {
|
|
|
|
if (null == mContactsDictionary) return;
|
2012-03-26 13:31:20 +00:00
|
|
|
final Dictionary contactsDict = mContactsDictionary;
|
|
|
|
// TODO: revert to the concrete type when USE_BINARY_CONTACTS_DICTIONARY is no longer needed
|
2011-11-09 23:21:42 +00:00
|
|
|
mContactsDictionary = null;
|
|
|
|
final Iterator<WeakReference<DictionaryCollection>> iterator =
|
|
|
|
mDictionaryCollectionsList.iterator();
|
|
|
|
while (iterator.hasNext()) {
|
|
|
|
final WeakReference<DictionaryCollection> dictRef = iterator.next();
|
|
|
|
final DictionaryCollection dict = dictRef.get();
|
|
|
|
if (null == dict) {
|
|
|
|
iterator.remove();
|
|
|
|
} else {
|
|
|
|
dict.removeDictionary(contactsDict);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
contactsDict.close();
|
2011-09-02 05:36:04 +00:00
|
|
|
}
|
|
|
|
|
2011-08-05 10:42:36 +00:00
|
|
|
@Override
|
|
|
|
public Session createSession() {
|
2011-09-02 05:36:04 +00:00
|
|
|
return new AndroidSpellCheckerSession(this);
|
2011-08-05 10:42:36 +00:00
|
|
|
}
|
|
|
|
|
2011-10-24 13:25:37 +00:00
|
|
|
private static SuggestionsInfo getNotInDictEmptySuggestions() {
|
|
|
|
return new SuggestionsInfo(0, EMPTY_STRING_ARRAY);
|
|
|
|
}
|
|
|
|
|
|
|
|
private static SuggestionsInfo getInDictEmptySuggestions() {
|
|
|
|
return new SuggestionsInfo(SuggestionsInfo.RESULT_ATTR_IN_THE_DICTIONARY,
|
|
|
|
EMPTY_STRING_ARRAY);
|
|
|
|
}
|
|
|
|
|
2011-08-04 11:19:12 +00:00
|
|
|
private static class SuggestionsGatherer implements WordCallback {
|
2011-09-02 05:36:04 +00:00
|
|
|
public static class Result {
|
|
|
|
public final String[] mSuggestions;
|
2011-11-09 17:52:46 +00:00
|
|
|
public final boolean mHasRecommendedSuggestions;
|
|
|
|
public Result(final String[] gatheredSuggestions,
|
|
|
|
final boolean hasRecommendedSuggestions) {
|
2011-09-02 05:36:04 +00:00
|
|
|
mSuggestions = gatheredSuggestions;
|
2011-11-09 17:52:46 +00:00
|
|
|
mHasRecommendedSuggestions = hasRecommendedSuggestions;
|
2011-09-02 05:36:04 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-08-22 09:03:42 +00:00
|
|
|
private final ArrayList<CharSequence> mSuggestions;
|
2011-08-04 11:19:12 +00:00
|
|
|
private final int[] mScores;
|
2011-09-29 04:11:09 +00:00
|
|
|
private final String mOriginalText;
|
2011-09-29 07:04:36 +00:00
|
|
|
private final double mSuggestionThreshold;
|
2011-11-09 17:52:46 +00:00
|
|
|
private final double mRecommendedThreshold;
|
2011-08-04 11:19:12 +00:00
|
|
|
private final int mMaxLength;
|
|
|
|
private int mLength = 0;
|
2011-09-02 05:36:04 +00:00
|
|
|
|
|
|
|
// The two following attributes are only ever filled if the requested max length
|
|
|
|
// is 0 (or less, which is treated the same).
|
|
|
|
private String mBestSuggestion = null;
|
|
|
|
private int mBestScore = Integer.MIN_VALUE; // As small as possible
|
2011-08-04 11:19:12 +00:00
|
|
|
|
2011-09-29 07:04:36 +00:00
|
|
|
SuggestionsGatherer(final String originalText, final double suggestionThreshold,
|
2011-11-09 17:52:46 +00:00
|
|
|
final double recommendedThreshold, final int maxLength) {
|
2011-09-29 04:11:09 +00:00
|
|
|
mOriginalText = originalText;
|
2011-09-29 07:04:36 +00:00
|
|
|
mSuggestionThreshold = suggestionThreshold;
|
2011-11-09 17:52:46 +00:00
|
|
|
mRecommendedThreshold = recommendedThreshold;
|
2011-08-04 11:19:12 +00:00
|
|
|
mMaxLength = maxLength;
|
2011-08-22 09:03:42 +00:00
|
|
|
mSuggestions = new ArrayList<CharSequence>(maxLength + 1);
|
2011-08-04 11:19:12 +00:00
|
|
|
mScores = new int[mMaxLength];
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
synchronized public boolean addWord(char[] word, int wordOffset, int wordLength, int score,
|
2012-01-26 03:49:43 +00:00
|
|
|
int dicTypeId, int dataType) {
|
2012-03-30 13:47:44 +00:00
|
|
|
final int positionIndex = Arrays.binarySearch(mScores, 0, mLength, score);
|
2011-08-04 11:19:12 +00:00
|
|
|
// binarySearch returns the index if the element exists, and -<insertion index> - 1
|
|
|
|
// if it doesn't. See documentation for binarySearch.
|
|
|
|
final int insertIndex = positionIndex >= 0 ? positionIndex : -positionIndex - 1;
|
|
|
|
|
2011-09-29 07:04:36 +00:00
|
|
|
if (insertIndex == 0 && mLength >= mMaxLength) {
|
|
|
|
// In the future, we may want to keep track of the best suggestion score even if
|
|
|
|
// we are asked for 0 suggestions. In this case, we can use the following
|
|
|
|
// (tested) code to keep it:
|
|
|
|
// If the maxLength is 0 (should never be less, but if it is, it's treated as 0)
|
|
|
|
// then we need to keep track of the best suggestion in mBestScore and
|
|
|
|
// mBestSuggestion. This is so that we know whether the best suggestion makes
|
|
|
|
// the score cutoff, since we need to know that to return a meaningful
|
|
|
|
// looksLikeTypo.
|
|
|
|
// if (0 >= mMaxLength) {
|
|
|
|
// if (score > mBestScore) {
|
|
|
|
// mBestScore = score;
|
|
|
|
// mBestSuggestion = new String(word, wordOffset, wordLength);
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
return true;
|
|
|
|
}
|
2011-10-06 10:05:23 +00:00
|
|
|
if (insertIndex >= mMaxLength) {
|
|
|
|
// We found a suggestion, but its score is too weak to be kept considering
|
|
|
|
// the suggestion limit.
|
|
|
|
return true;
|
|
|
|
}
|
2011-09-29 07:04:36 +00:00
|
|
|
|
|
|
|
// Compute the normalized score and skip this word if it's normalized score does not
|
|
|
|
// make the threshold.
|
|
|
|
final String wordString = new String(word, wordOffset, wordLength);
|
|
|
|
final double normalizedScore =
|
2012-01-12 09:44:40 +00:00
|
|
|
BinaryDictionary.calcNormalizedScore(mOriginalText, wordString, score);
|
2011-09-29 07:04:36 +00:00
|
|
|
if (normalizedScore < mSuggestionThreshold) {
|
|
|
|
if (DBG) Log.i(TAG, wordString + " does not make the score threshold");
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2011-08-04 11:19:12 +00:00
|
|
|
if (mLength < mMaxLength) {
|
|
|
|
final int copyLen = mLength - insertIndex;
|
|
|
|
++mLength;
|
|
|
|
System.arraycopy(mScores, insertIndex, mScores, insertIndex + 1, copyLen);
|
2011-09-29 07:04:36 +00:00
|
|
|
mSuggestions.add(insertIndex, wordString);
|
2011-08-04 11:19:12 +00:00
|
|
|
} else {
|
|
|
|
System.arraycopy(mScores, 1, mScores, 0, insertIndex);
|
2011-09-29 07:04:36 +00:00
|
|
|
mSuggestions.add(insertIndex, wordString);
|
2011-08-22 09:03:42 +00:00
|
|
|
mSuggestions.remove(0);
|
2011-08-04 11:19:12 +00:00
|
|
|
}
|
|
|
|
mScores[insertIndex] = score;
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2011-09-29 04:11:09 +00:00
|
|
|
public Result getResults(final int capitalizeType, final Locale locale) {
|
2011-09-02 05:36:04 +00:00
|
|
|
final String[] gatheredSuggestions;
|
2011-11-09 17:52:46 +00:00
|
|
|
final boolean hasRecommendedSuggestions;
|
2011-09-02 05:36:04 +00:00
|
|
|
if (0 == mLength) {
|
|
|
|
// Either we found no suggestions, or we found some BUT the max length was 0.
|
|
|
|
// If we found some mBestSuggestion will not be null. If it is null, then
|
|
|
|
// we found none, regardless of the max length.
|
|
|
|
if (null == mBestSuggestion) {
|
|
|
|
gatheredSuggestions = null;
|
2011-11-09 17:52:46 +00:00
|
|
|
hasRecommendedSuggestions = false;
|
2011-09-02 05:36:04 +00:00
|
|
|
} else {
|
|
|
|
gatheredSuggestions = EMPTY_STRING_ARRAY;
|
2012-01-12 09:44:40 +00:00
|
|
|
final double normalizedScore = BinaryDictionary.calcNormalizedScore(
|
|
|
|
mOriginalText, mBestSuggestion, mBestScore);
|
2011-11-09 17:52:46 +00:00
|
|
|
hasRecommendedSuggestions = (normalizedScore > mRecommendedThreshold);
|
2011-09-02 05:36:04 +00:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if (DBG) {
|
|
|
|
if (mLength != mSuggestions.size()) {
|
|
|
|
Log.e(TAG, "Suggestion size is not the same as stored mLength");
|
|
|
|
}
|
2011-09-08 12:17:24 +00:00
|
|
|
for (int i = mLength - 1; i >= 0; --i) {
|
|
|
|
Log.i(TAG, "" + mScores[i] + " " + mSuggestions.get(i));
|
|
|
|
}
|
2011-08-22 09:03:42 +00:00
|
|
|
}
|
2011-09-02 05:36:04 +00:00
|
|
|
Collections.reverse(mSuggestions);
|
2012-03-08 08:07:02 +00:00
|
|
|
StringUtils.removeDupes(mSuggestions);
|
2011-09-09 11:54:43 +00:00
|
|
|
if (CAPITALIZE_ALL == capitalizeType) {
|
|
|
|
for (int i = 0; i < mSuggestions.size(); ++i) {
|
|
|
|
// get(i) returns a CharSequence which is actually a String so .toString()
|
|
|
|
// should return the same object.
|
|
|
|
mSuggestions.set(i, mSuggestions.get(i).toString().toUpperCase(locale));
|
|
|
|
}
|
|
|
|
} else if (CAPITALIZE_FIRST == capitalizeType) {
|
|
|
|
for (int i = 0; i < mSuggestions.size(); ++i) {
|
|
|
|
// Likewise
|
2012-04-04 05:30:42 +00:00
|
|
|
mSuggestions.set(i, StringUtils.toTitleCase(
|
2012-04-03 03:50:28 +00:00
|
|
|
mSuggestions.get(i).toString(), locale));
|
2011-09-09 11:54:43 +00:00
|
|
|
}
|
|
|
|
}
|
2011-09-02 05:36:04 +00:00
|
|
|
// This returns a String[], while toArray() returns an Object[] which cannot be cast
|
|
|
|
// into a String[].
|
|
|
|
gatheredSuggestions = mSuggestions.toArray(EMPTY_STRING_ARRAY);
|
|
|
|
|
2011-09-08 12:17:24 +00:00
|
|
|
final int bestScore = mScores[mLength - 1];
|
2011-09-02 05:36:04 +00:00
|
|
|
final CharSequence bestSuggestion = mSuggestions.get(0);
|
|
|
|
final double normalizedScore =
|
2012-01-12 09:44:40 +00:00
|
|
|
BinaryDictionary.calcNormalizedScore(
|
|
|
|
mOriginalText, bestSuggestion.toString(), bestScore);
|
2011-11-09 17:52:46 +00:00
|
|
|
hasRecommendedSuggestions = (normalizedScore > mRecommendedThreshold);
|
2011-09-08 12:17:24 +00:00
|
|
|
if (DBG) {
|
|
|
|
Log.i(TAG, "Best suggestion : " + bestSuggestion + ", score " + bestScore);
|
2011-09-29 07:04:36 +00:00
|
|
|
Log.i(TAG, "Normalized score = " + normalizedScore
|
2011-11-09 17:52:46 +00:00
|
|
|
+ " (threshold " + mRecommendedThreshold
|
|
|
|
+ ") => hasRecommendedSuggestions = " + hasRecommendedSuggestions);
|
2011-09-08 12:17:24 +00:00
|
|
|
}
|
2011-08-04 11:19:12 +00:00
|
|
|
}
|
2011-11-09 17:52:46 +00:00
|
|
|
return new Result(gatheredSuggestions, hasRecommendedSuggestions);
|
2011-08-04 11:19:12 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-08-16 10:43:16 +00:00
|
|
|
@Override
|
|
|
|
public boolean onUnbind(final Intent intent) {
|
2012-03-26 07:33:27 +00:00
|
|
|
closeAllDictionaries();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
private void closeAllDictionaries() {
|
2011-08-16 10:43:16 +00:00
|
|
|
final Map<String, DictionaryPool> oldPools = mDictionaryPools;
|
|
|
|
mDictionaryPools = Collections.synchronizedMap(new TreeMap<String, DictionaryPool>());
|
2011-08-18 10:29:29 +00:00
|
|
|
final Map<String, Dictionary> oldUserDictionaries = mUserDictionaries;
|
|
|
|
mUserDictionaries = Collections.synchronizedMap(new TreeMap<String, Dictionary>());
|
2011-10-06 06:57:43 +00:00
|
|
|
final Map<String, Dictionary> oldWhitelistDictionaries = mWhitelistDictionaries;
|
|
|
|
mWhitelistDictionaries = Collections.synchronizedMap(new TreeMap<String, Dictionary>());
|
2011-08-16 10:43:16 +00:00
|
|
|
for (DictionaryPool pool : oldPools.values()) {
|
|
|
|
pool.close();
|
|
|
|
}
|
2011-08-18 10:29:29 +00:00
|
|
|
for (Dictionary dict : oldUserDictionaries.values()) {
|
|
|
|
dict.close();
|
|
|
|
}
|
2011-10-06 06:57:43 +00:00
|
|
|
for (Dictionary dict : oldWhitelistDictionaries.values()) {
|
|
|
|
dict.close();
|
|
|
|
}
|
2012-03-26 13:31:20 +00:00
|
|
|
synchronized (mUseContactsLock) {
|
2011-11-09 23:21:42 +00:00
|
|
|
if (null != mContactsDictionary) {
|
|
|
|
// The synchronously loaded contacts dictionary should have been in one
|
|
|
|
// or several pools, but it is shielded against multiple closing and it's
|
|
|
|
// safe to call it several times.
|
2012-03-26 13:31:20 +00:00
|
|
|
final Dictionary dictToClose = mContactsDictionary;
|
|
|
|
// TODO: revert to the concrete type when USE_BINARY_CONTACTS_DICTIONARY is no
|
|
|
|
// longer needed
|
2011-11-09 23:21:42 +00:00
|
|
|
mContactsDictionary = null;
|
|
|
|
dictToClose.close();
|
|
|
|
}
|
2011-10-24 10:10:43 +00:00
|
|
|
}
|
2011-08-16 10:43:16 +00:00
|
|
|
}
|
|
|
|
|
2011-08-16 08:37:18 +00:00
|
|
|
private DictionaryPool getDictionaryPool(final String locale) {
|
|
|
|
DictionaryPool pool = mDictionaryPools.get(locale);
|
|
|
|
if (null == pool) {
|
2011-08-26 11:22:47 +00:00
|
|
|
final Locale localeObject = LocaleUtils.constructLocaleFromString(locale);
|
2011-08-16 08:37:18 +00:00
|
|
|
pool = new DictionaryPool(POOL_SIZE, this, localeObject);
|
|
|
|
mDictionaryPools.put(locale, pool);
|
2011-08-04 11:19:12 +00:00
|
|
|
}
|
2011-08-16 08:37:18 +00:00
|
|
|
return pool;
|
|
|
|
}
|
|
|
|
|
|
|
|
public DictAndProximity createDictAndProximity(final Locale locale) {
|
2011-12-08 07:52:08 +00:00
|
|
|
final int script = getScriptFromLocale(locale);
|
|
|
|
final ProximityInfo proximityInfo = ProximityInfo.createSpellCheckerProximityInfo(
|
|
|
|
SpellCheckerProximityInfo.getProximityForScript(script));
|
2011-08-18 10:29:29 +00:00
|
|
|
final DictionaryCollection dictionaryCollection =
|
2012-04-11 12:02:26 +00:00
|
|
|
DictionaryFactory.createDictionaryFromManager(this, locale,
|
2012-04-06 10:12:05 +00:00
|
|
|
true /* useFullEditDistance */);
|
2011-08-18 10:29:29 +00:00
|
|
|
final String localeStr = locale.toString();
|
2011-10-06 06:57:43 +00:00
|
|
|
Dictionary userDictionary = mUserDictionaries.get(localeStr);
|
|
|
|
if (null == userDictionary) {
|
|
|
|
userDictionary = new SynchronouslyLoadedUserDictionary(this, localeStr, true);
|
|
|
|
mUserDictionaries.put(localeStr, userDictionary);
|
|
|
|
}
|
|
|
|
dictionaryCollection.addDictionary(userDictionary);
|
|
|
|
Dictionary whitelistDictionary = mWhitelistDictionaries.get(localeStr);
|
|
|
|
if (null == whitelistDictionary) {
|
|
|
|
whitelistDictionary = new WhitelistDictionary(this, locale);
|
|
|
|
mWhitelistDictionaries.put(localeStr, whitelistDictionary);
|
2011-08-18 10:29:29 +00:00
|
|
|
}
|
2011-10-06 06:57:43 +00:00
|
|
|
dictionaryCollection.addDictionary(whitelistDictionary);
|
2012-03-26 13:31:20 +00:00
|
|
|
synchronized (mUseContactsLock) {
|
2011-11-09 23:21:42 +00:00
|
|
|
if (mUseContactsDictionary) {
|
|
|
|
if (null == mContactsDictionary) {
|
2012-03-26 13:31:20 +00:00
|
|
|
// TODO: revert to the concrete type when USE_BINARY_CONTACTS_DICTIONARY is no
|
|
|
|
// longer needed
|
|
|
|
if (LatinIME.USE_BINARY_CONTACTS_DICTIONARY) {
|
|
|
|
mContactsDictionary = new SynchronouslyLoadedContactsBinaryDictionary(this);
|
|
|
|
} else {
|
|
|
|
mContactsDictionary = new SynchronouslyLoadedContactsDictionary(this);
|
|
|
|
}
|
2011-11-09 23:21:42 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
dictionaryCollection.addDictionary(mContactsDictionary);
|
|
|
|
mDictionaryCollectionsList.add(
|
|
|
|
new WeakReference<DictionaryCollection>(dictionaryCollection));
|
2011-10-24 10:10:43 +00:00
|
|
|
}
|
2011-08-18 10:29:29 +00:00
|
|
|
return new DictAndProximity(dictionaryCollection, proximityInfo);
|
2011-08-04 11:19:12 +00:00
|
|
|
}
|
|
|
|
|
2011-09-09 11:54:43 +00:00
|
|
|
// This method assumes the text is not empty or null.
|
|
|
|
private static int getCapitalizationType(String text) {
|
|
|
|
// If the first char is not uppercase, then the word is either all lower case,
|
|
|
|
// and in either case we return CAPITALIZE_NONE.
|
|
|
|
if (!Character.isUpperCase(text.codePointAt(0))) return CAPITALIZE_NONE;
|
2012-02-03 01:51:34 +00:00
|
|
|
final int len = text.length();
|
2011-09-09 11:54:43 +00:00
|
|
|
int capsCount = 1;
|
2012-02-03 01:51:34 +00:00
|
|
|
for (int i = 1; i < len; i = text.offsetByCodePoints(i, 1)) {
|
2011-09-09 11:54:43 +00:00
|
|
|
if (1 != capsCount && i != capsCount) break;
|
|
|
|
if (Character.isUpperCase(text.codePointAt(i))) ++capsCount;
|
|
|
|
}
|
|
|
|
// We know the first char is upper case. So we want to test if either everything
|
|
|
|
// else is lower case, or if everything else is upper case. If the string is
|
|
|
|
// exactly one char long, then we will arrive here with capsCount 1, and this is
|
|
|
|
// correct, too.
|
|
|
|
if (1 == capsCount) return CAPITALIZE_FIRST;
|
|
|
|
return (len == capsCount ? CAPITALIZE_ALL : CAPITALIZE_NONE);
|
|
|
|
}
|
|
|
|
|
2011-09-02 05:36:04 +00:00
|
|
|
private static class AndroidSpellCheckerSession extends Session {
|
2011-08-16 08:37:18 +00:00
|
|
|
// Immutable, but need the locale which is not available in the constructor yet
|
2011-09-02 05:36:04 +00:00
|
|
|
private DictionaryPool mDictionaryPool;
|
2011-08-17 06:10:56 +00:00
|
|
|
// Likewise
|
2011-09-02 05:36:04 +00:00
|
|
|
private Locale mLocale;
|
2011-12-05 08:35:37 +00:00
|
|
|
// Cache this for performance
|
|
|
|
private int mScript; // One of SCRIPT_LATIN or SCRIPT_CYRILLIC for now.
|
2011-09-02 05:36:04 +00:00
|
|
|
|
|
|
|
private final AndroidSpellCheckerService mService;
|
|
|
|
|
|
|
|
AndroidSpellCheckerSession(final AndroidSpellCheckerService service) {
|
|
|
|
mService = service;
|
|
|
|
}
|
2011-08-16 08:37:18 +00:00
|
|
|
|
2011-08-05 10:42:36 +00:00
|
|
|
@Override
|
|
|
|
public void onCreate() {
|
2011-08-17 06:10:56 +00:00
|
|
|
final String localeString = getLocale();
|
2011-09-02 05:36:04 +00:00
|
|
|
mDictionaryPool = mService.getDictionaryPool(localeString);
|
2011-08-26 11:22:47 +00:00
|
|
|
mLocale = LocaleUtils.constructLocaleFromString(localeString);
|
2011-12-08 07:52:08 +00:00
|
|
|
mScript = getScriptFromLocale(mLocale);
|
2011-07-28 11:55:00 +00:00
|
|
|
}
|
2011-08-04 11:19:12 +00:00
|
|
|
|
2011-11-09 17:21:07 +00:00
|
|
|
/*
|
|
|
|
* Returns whether the code point is a letter that makes sense for the specified
|
|
|
|
* locale for this spell checker.
|
|
|
|
* The dictionaries supported by Latin IME are described in res/xml/spellchecker.xml
|
2011-12-05 08:35:37 +00:00
|
|
|
* and is limited to EFIGS languages and Russian.
|
|
|
|
* Hence at the moment this explicitly tests for Cyrillic characters or Latin characters
|
|
|
|
* as appropriate, and explicitly excludes CJK, Arabic and Hebrew characters.
|
2011-11-09 17:21:07 +00:00
|
|
|
*/
|
|
|
|
private static boolean isLetterCheckableByLanguage(final int codePoint,
|
2011-12-05 08:35:37 +00:00
|
|
|
final int script) {
|
|
|
|
switch (script) {
|
|
|
|
case SCRIPT_LATIN:
|
|
|
|
// Our supported latin script dictionaries (EFIGS) at the moment only include
|
|
|
|
// characters in the C0, C1, Latin Extended A and B, IPA extensions unicode
|
|
|
|
// blocks. As it happens, those are back-to-back in the code range 0x40 to 0x2AF,
|
|
|
|
// so the below is a very efficient way to test for it. As for the 0-0x3F, it's
|
|
|
|
// excluded from isLetter anyway.
|
|
|
|
return codePoint <= 0x2AF && Character.isLetter(codePoint);
|
|
|
|
case SCRIPT_CYRILLIC:
|
|
|
|
// All Cyrillic characters are in the 400~52F block. There are some in the upper
|
|
|
|
// Unicode range, but they are archaic characters that are not used in modern
|
|
|
|
// russian and are not used by our dictionary.
|
|
|
|
return codePoint >= 0x400 && codePoint <= 0x52F && Character.isLetter(codePoint);
|
|
|
|
default:
|
|
|
|
// Should never come here
|
|
|
|
throw new RuntimeException("Impossible value of script: " + script);
|
|
|
|
}
|
2011-11-09 17:21:07 +00:00
|
|
|
}
|
|
|
|
|
2011-09-13 13:10:08 +00:00
|
|
|
/**
|
|
|
|
* Finds out whether a particular string should be filtered out of spell checking.
|
|
|
|
*
|
2011-12-05 08:35:37 +00:00
|
|
|
* This will loosely match URLs, numbers, symbols. To avoid always underlining words that
|
|
|
|
* we know we will never recognize, this accepts a script identifier that should be one
|
|
|
|
* of the SCRIPT_* constants defined above, to rule out quickly characters from very
|
|
|
|
* different languages.
|
2011-09-13 13:10:08 +00:00
|
|
|
*
|
|
|
|
* @param text the string to evaluate.
|
2011-12-05 08:35:37 +00:00
|
|
|
* @param script the identifier for the script this spell checker recognizes
|
2011-09-13 13:10:08 +00:00
|
|
|
* @return true if we should filter this text out, false otherwise
|
|
|
|
*/
|
2011-12-05 08:35:37 +00:00
|
|
|
private static boolean shouldFilterOut(final String text, final int script) {
|
2011-09-13 13:10:08 +00:00
|
|
|
if (TextUtils.isEmpty(text) || text.length() <= 1) return true;
|
|
|
|
|
|
|
|
// TODO: check if an equivalent processing can't be done more quickly with a
|
|
|
|
// compiled regexp.
|
|
|
|
// Filter by first letter
|
|
|
|
final int firstCodePoint = text.codePointAt(0);
|
|
|
|
// Filter out words that don't start with a letter or an apostrophe
|
2011-12-05 08:35:37 +00:00
|
|
|
if (!isLetterCheckableByLanguage(firstCodePoint, script)
|
2011-09-13 13:10:08 +00:00
|
|
|
&& '\'' != firstCodePoint) return true;
|
|
|
|
|
|
|
|
// Filter contents
|
|
|
|
final int length = text.length();
|
|
|
|
int letterCount = 0;
|
2012-02-03 01:51:34 +00:00
|
|
|
for (int i = 0; i < length; i = text.offsetByCodePoints(i, 1)) {
|
2011-09-13 13:10:08 +00:00
|
|
|
final int codePoint = text.codePointAt(i);
|
|
|
|
// Any word containing a '@' is probably an e-mail address
|
|
|
|
// Any word containing a '/' is probably either an ad-hoc combination of two
|
|
|
|
// words or a URI - in either case we don't want to spell check that
|
2012-02-03 01:51:34 +00:00
|
|
|
if ('@' == codePoint || '/' == codePoint) return true;
|
2011-12-05 08:35:37 +00:00
|
|
|
if (isLetterCheckableByLanguage(codePoint, script)) ++letterCount;
|
2011-09-13 13:10:08 +00:00
|
|
|
}
|
|
|
|
// Guestimate heuristic: perform spell checking if at least 3/4 of the characters
|
|
|
|
// in this word are letters
|
|
|
|
return (letterCount * 4 < length * 3);
|
|
|
|
}
|
|
|
|
|
2011-08-05 10:42:36 +00:00
|
|
|
// Note : this must be reentrant
|
|
|
|
/**
|
|
|
|
* Gets a list of suggestions for a specific string. This returns a list of possible
|
2011-08-16 04:58:37 +00:00
|
|
|
* corrections for the text passed as an argument. It may split or group words, and
|
2011-08-05 10:42:36 +00:00
|
|
|
* even perform grammatical analysis.
|
|
|
|
*/
|
|
|
|
@Override
|
|
|
|
public SuggestionsInfo onGetSuggestions(final TextInfo textInfo,
|
|
|
|
final int suggestionsLimit) {
|
2011-08-16 08:37:18 +00:00
|
|
|
try {
|
2011-09-14 12:30:29 +00:00
|
|
|
final String text = textInfo.getText();
|
|
|
|
|
2011-12-05 08:35:37 +00:00
|
|
|
if (shouldFilterOut(text, mScript)) {
|
2011-09-26 09:16:24 +00:00
|
|
|
DictAndProximity dictInfo = null;
|
|
|
|
try {
|
|
|
|
dictInfo = mDictionaryPool.takeOrGetNull();
|
2011-10-24 13:25:37 +00:00
|
|
|
if (null == dictInfo) return getNotInDictEmptySuggestions();
|
|
|
|
return dictInfo.mDictionary.isValidWord(text) ? getInDictEmptySuggestions()
|
|
|
|
: getNotInDictEmptySuggestions();
|
2011-09-26 09:16:24 +00:00
|
|
|
} finally {
|
|
|
|
if (null != dictInfo) {
|
|
|
|
if (!mDictionaryPool.offer(dictInfo)) {
|
|
|
|
Log.e(TAG, "Can't re-insert a dictionary into its pool");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2011-09-16 09:26:02 +00:00
|
|
|
}
|
2011-09-14 12:30:29 +00:00
|
|
|
|
2011-09-28 10:39:14 +00:00
|
|
|
// TODO: Don't gather suggestions if the limit is <= 0 unless necessary
|
2011-09-29 07:04:36 +00:00
|
|
|
final SuggestionsGatherer suggestionsGatherer = new SuggestionsGatherer(text,
|
2011-11-09 17:52:46 +00:00
|
|
|
mService.mSuggestionThreshold, mService.mRecommendedThreshold,
|
|
|
|
suggestionsLimit);
|
2011-09-14 12:30:29 +00:00
|
|
|
final WordComposer composer = new WordComposer();
|
|
|
|
final int length = text.length();
|
2012-02-03 01:51:34 +00:00
|
|
|
for (int i = 0; i < length; i = text.offsetByCodePoints(i, 1)) {
|
2012-03-22 08:39:27 +00:00
|
|
|
final int codePoint = text.codePointAt(i);
|
|
|
|
// The getXYForCodePointAndScript method returns (Y << 16) + X
|
|
|
|
final int xy = SpellCheckerProximityInfo.getXYForCodePointAndScript(
|
|
|
|
codePoint, mScript);
|
2012-03-23 13:34:49 +00:00
|
|
|
if (SpellCheckerProximityInfo.NOT_A_COORDINATE_PAIR == xy) {
|
|
|
|
composer.add(codePoint, WordComposer.NOT_A_COORDINATE,
|
|
|
|
WordComposer.NOT_A_COORDINATE, null);
|
|
|
|
} else {
|
|
|
|
composer.add(codePoint, xy & 0xFFFF, xy >> 16, null);
|
|
|
|
}
|
2011-08-17 06:10:56 +00:00
|
|
|
}
|
2011-09-14 12:30:29 +00:00
|
|
|
|
|
|
|
final int capitalizeType = getCapitalizationType(text);
|
|
|
|
boolean isInDict = true;
|
2011-09-26 09:16:24 +00:00
|
|
|
DictAndProximity dictInfo = null;
|
|
|
|
try {
|
|
|
|
dictInfo = mDictionaryPool.takeOrGetNull();
|
2011-10-24 13:25:37 +00:00
|
|
|
if (null == dictInfo) return getNotInDictEmptySuggestions();
|
2011-09-26 09:16:24 +00:00
|
|
|
dictInfo.mDictionary.getWords(composer, suggestionsGatherer,
|
|
|
|
dictInfo.mProximityInfo);
|
|
|
|
isInDict = dictInfo.mDictionary.isValidWord(text);
|
|
|
|
if (!isInDict && CAPITALIZE_NONE != capitalizeType) {
|
|
|
|
// We want to test the word again if it's all caps or first caps only.
|
|
|
|
// If it's fully down, we already tested it, if it's mixed case, we don't
|
|
|
|
// want to test a lowercase version of it.
|
|
|
|
isInDict = dictInfo.mDictionary.isValidWord(text.toLowerCase(mLocale));
|
|
|
|
}
|
|
|
|
} finally {
|
|
|
|
if (null != dictInfo) {
|
|
|
|
if (!mDictionaryPool.offer(dictInfo)) {
|
|
|
|
Log.e(TAG, "Can't re-insert a dictionary into its pool");
|
|
|
|
}
|
|
|
|
}
|
2011-08-16 10:43:16 +00:00
|
|
|
}
|
2011-08-05 10:42:36 +00:00
|
|
|
|
2011-09-29 04:11:09 +00:00
|
|
|
final SuggestionsGatherer.Result result = suggestionsGatherer.getResults(
|
|
|
|
capitalizeType, mLocale);
|
2011-09-14 12:30:29 +00:00
|
|
|
|
|
|
|
if (DBG) {
|
|
|
|
Log.i(TAG, "Spell checking results for " + text + " with suggestion limit "
|
|
|
|
+ suggestionsLimit);
|
2011-09-28 10:39:14 +00:00
|
|
|
Log.i(TAG, "IsInDict = " + isInDict);
|
|
|
|
Log.i(TAG, "LooksLikeTypo = " + (!isInDict));
|
2011-11-09 17:52:46 +00:00
|
|
|
Log.i(TAG, "HasRecommendedSuggestions = " + result.mHasRecommendedSuggestions);
|
2011-10-06 10:36:40 +00:00
|
|
|
if (null != result.mSuggestions) {
|
|
|
|
for (String suggestion : result.mSuggestions) {
|
|
|
|
Log.i(TAG, suggestion);
|
|
|
|
}
|
2011-09-14 12:30:29 +00:00
|
|
|
}
|
|
|
|
}
|
2011-08-16 08:37:18 +00:00
|
|
|
|
2011-09-14 12:30:29 +00:00
|
|
|
final int flags =
|
2011-09-28 10:39:14 +00:00
|
|
|
(isInDict ? SuggestionsInfo.RESULT_ATTR_IN_THE_DICTIONARY
|
2011-11-09 17:52:46 +00:00
|
|
|
: SuggestionsInfo.RESULT_ATTR_LOOKS_LIKE_TYPO)
|
|
|
|
| (result.mHasRecommendedSuggestions
|
2011-12-09 18:26:47 +00:00
|
|
|
? SuggestionsInfoCompatUtils
|
|
|
|
.getValueOf_RESULT_ATTR_HAS_RECOMMENDED_SUGGESTIONS()
|
2011-11-09 17:52:46 +00:00
|
|
|
: 0);
|
2011-09-14 12:30:29 +00:00
|
|
|
return new SuggestionsInfo(flags, result.mSuggestions);
|
|
|
|
} catch (RuntimeException e) {
|
|
|
|
// Don't kill the keyboard if there is a bug in the spell checker
|
|
|
|
if (DBG) {
|
|
|
|
throw e;
|
|
|
|
} else {
|
|
|
|
Log.e(TAG, "Exception while spellcheking: " + e);
|
2011-10-24 13:25:37 +00:00
|
|
|
return getNotInDictEmptySuggestions();
|
2011-09-08 12:17:24 +00:00
|
|
|
}
|
|
|
|
}
|
2011-08-05 10:42:36 +00:00
|
|
|
}
|
2011-07-25 01:35:51 +00:00
|
|
|
}
|
|
|
|
}
|