e7a2512aa3
This change also corrects usage of "frequency", "priority" and "score" * Frequency is the relative probability in dictionary. * Score is the relative probability in suggestions. * Priority is kind a sorted score. Change-Id: Iafb135a4ecdb401cc505014a07c74dfcac44d699
24 lines
628 B
Text
24 lines
628 B
Text
-keep class com.android.inputmethod.latin.BinaryDictionary {
|
|
int mDictLength;
|
|
<init>(...);
|
|
}
|
|
|
|
-keep class com.android.inputmethod.latin.Suggest {
|
|
<init>(...);
|
|
com.android.inputmethod.latin.SuggestedWords getSuggestions(...);
|
|
}
|
|
|
|
-keep class com.android.inputmethod.latin.UserBigramDictionary {
|
|
void setDatabaseMax(int);
|
|
void setDatabaseDelete(int);
|
|
void waitUntilUpdateDBDone();
|
|
void waitForDictionaryLoading();
|
|
}
|
|
|
|
-keep class com.android.inputmethod.latin.AutoCorrection {
|
|
java.lang.CharSequence getAutoCorrectionWord();
|
|
}
|
|
|
|
-keep class com.android.inputmethod.latin.Utils {
|
|
boolean equalsIgnoreCase(...);
|
|
}
|