public static final class IndexInfo implements Serializable {
private static final long serialVersionUID = 6524751236198309438L;
- public IndexInfo(String langIso, int allTokenCount, int mainTokenCount) {
- this.langIso = langIso;
+ public IndexInfo(String shortName, int allTokenCount, int mainTokenCount) {
+ this.shortName = shortName;
this.allTokenCount = allTokenCount;
this.mainTokenCount = mainTokenCount;
}
- public final String langIso;
+ public final String shortName; // Often LangISO.
public final int allTokenCount;
public final int mainTokenCount;
public static final int SIZE = 3;
public StringBuilder append(StringBuilder result) {
- result.append(langIso);
+ result.append(shortName);
result.append("\t").append(allTokenCount);
result.append("\t").append(mainTokenCount);
return result;
}
public IndexInfo(final String[] fields, int i) {
- langIso = fields[i++];
+ shortName = fields[i++];
allTokenCount = Integer.parseInt(fields[i++]);
mainTokenCount = Integer.parseInt(fields[i++]);
}
}
// Stuff populated from the text file.
- public String uncompressedFilename;
+ public String uncompressedFilename; // used as a key throughout the program.
public String downloadUrl;
- public long uncompressedSize;
+ public long uncompressedBytes;
+ public long zipBytes;
public long creationMillis;
public final List<IndexInfo> indexInfos = new ArrayList<DictionaryInfo.IndexInfo>();
public String dictInfo;
- String name; // Determined at runtime based on locale on device--user editable?
- String localFile; // Determined based on device's Environment.
-
+ public DictionaryInfo() {
+ // Blank object.
+ }
+
public StringBuilder append(final StringBuilder result) {
result.append(uncompressedFilename);
result.append("\t").append(downloadUrl);
result.append("\t").append(creationMillis);
- result.append("\t").append(uncompressedSize);
+ result.append("\t").append(uncompressedBytes);
+ result.append("\t").append(zipBytes);
result.append("\t").append(indexInfos.size());
for (final IndexInfo indexInfo : indexInfos) {
indexInfo.append(result.append("\t"));
uncompressedFilename = fields[i++];
downloadUrl = fields[i++];
creationMillis = Long.parseLong(fields[i++]);
- uncompressedSize = Long.parseLong(fields[i++]);
+ uncompressedBytes = Long.parseLong(fields[i++]);
+ zipBytes = Long.parseLong(fields[i++]);
final int size = Integer.parseInt(fields[i++]);
for (int j = 0; j < size; ++j) {
indexInfos.add(new IndexInfo(fields, i));
i += IndexInfo.SIZE;
}
- dictInfo = fields[i++].replaceAll("\\n", "\n");
- }
-
- public DictionaryInfo() {
- // Blank object.
+ dictInfo = fields[i++].replaceAll("\\\\n", "\n");
}
@Override
public String toString() {
- return name;
+ return uncompressedFilename;
}