aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDan Zivkovic <zivkovic@google.com>2015-03-31 09:52:17 -0700
committerDan Zivkovic <zivkovic@google.com>2015-03-31 10:05:26 -0700
commit88f03707aaa9eee60066015b7e954671b2ad0e96 (patch)
tree59c5d0d6937d7eac634ca1aa00cfd1a1d63e70b3
parent6d63989197bc6bedbc0b41a6a3dd83deabef9255 (diff)
downloadlatinime-88f03707aaa9eee60066015b7e954671b2ad0e96.tar.gz
latinime-88f03707aaa9eee60066015b7e954671b2ad0e96.tar.xz
latinime-88f03707aaa9eee60066015b7e954671b2ad0e96.zip
Specify argument nullability.
Bug 19996229. Change-Id: I26938b26cd171b7947671a8406af6e3b7c8539f4
-rw-r--r--java/src/com/android/inputmethod/latin/DictionaryStats.java14
1 files changed, 9 insertions, 5 deletions
diff --git a/java/src/com/android/inputmethod/latin/DictionaryStats.java b/java/src/com/android/inputmethod/latin/DictionaryStats.java
index 30f6f9fd8..19769717e 100644
--- a/java/src/com/android/inputmethod/latin/DictionaryStats.java
+++ b/java/src/com/android/inputmethod/latin/DictionaryStats.java
@@ -20,6 +20,9 @@ import java.io.File;
import java.math.BigDecimal;
import java.util.Locale;
+import javax.annotation.Nonnull;
+import javax.annotation.Nullable;
+
public class DictionaryStats {
public static final int NOT_AN_ENTRY_COUNT = -1;
@@ -29,8 +32,12 @@ public class DictionaryStats {
public final long mDictFileSize;
public final int mContentVersion;
- public DictionaryStats(final Locale locale, final String dictType, final String dictFileName,
- final File dictFile, final int contentVersion) {
+ public DictionaryStats(
+ @Nonnull final Locale locale,
+ @Nonnull final String dictType,
+ @Nonnull final String dictFileName,
+ @Nullable final File dictFile,
+ final int contentVersion) {
mLocale = locale;
mDictType = dictType;
mDictFileSize = (dictFile == null || !dictFile.exists()) ? 0 : dictFile.length();
@@ -39,9 +46,6 @@ public class DictionaryStats {
}
public String getFileSizeString() {
- if (mDictFileSize == 0) {
- return "0";
- }
BigDecimal bytes = new BigDecimal(mDictFileSize);
BigDecimal kb = bytes.divide(new BigDecimal(1024), 2, BigDecimal.ROUND_HALF_UP);
if (kb.longValue() == 0) {