src/com/hughes/android/dictionary/DictionaryInfo.java

   1 // Copyright 2011 Google Inc. All Rights Reserved.
   2 //
   3 // Licensed under the Apache License, Version 2.0 (the "License");
   4 // you may not use this file except in compliance with the License.
   5 // You may obtain a copy of the License at
   6 //
   7 //     http://www.apache.org/licenses/LICENSE-2.0
   8 //
   9 // Unless required by applicable law or agreed to in writing, software
  10 // distributed under the License is distributed on an "AS IS" BASIS,
  11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12 // See the License for the specific language governing permissions and
  13 // limitations under the License.
  14
  15 package com.hughes.android.dictionary;
  16
  17 import java.io.Serializable;
  18 import java.util.ArrayList;
  19 import java.util.List;
  20
  21 public class DictionaryInfo implements Serializable {
  22
  23   private static final long serialVersionUID = -6850863377577700388L;
  24
  25   public static final class IndexInfo implements Serializable {
  26     private static final long serialVersionUID = 6524751236198309438L;
  27
  28     public IndexInfo(String shortName, int allTokenCount, int mainTokenCount) {
  29       this.shortName = shortName;
  30       this.allTokenCount = allTokenCount;
  31       this.mainTokenCount = mainTokenCount;
  32     }
  33     public final String shortName;  // Often LangISO.
  34     public final int allTokenCount;
  35     public final int mainTokenCount;
  36
  37     public static final int SIZE = 3;
  38
  39     public StringBuilder append(StringBuilder result) {
  40       result.append(shortName);
  41       result.append("\t").append(allTokenCount);
  42       result.append("\t").append(mainTokenCount);
  43       return result;
  44     }
  45
  46     public IndexInfo(final String[] fields, int i) {
  47       shortName = fields[i++];
  48       allTokenCount = Integer.parseInt(fields[i++]);
  49       mainTokenCount = Integer.parseInt(fields[i++]);
  50     }
  51
  52   }
  53
  54   // Stuff populated from the text file.
  55   public String uncompressedFilename;  // used as a key throughout the program.
  56   public String downloadUrl;
  57   public long uncompressedSize;
  58   public long creationMillis;
  59   public final List<IndexInfo> indexInfos = new ArrayList<DictionaryInfo.IndexInfo>();
  60   public String dictInfo;
  61
  62   public DictionaryInfo() {
  63     // Blank object.
  64   }
  65
  66   public StringBuilder append(final StringBuilder result) {
  67     result.append(uncompressedFilename);
  68     result.append("\t").append(downloadUrl);
  69     result.append("\t").append(creationMillis);
  70     result.append("\t").append(uncompressedSize);
  71     result.append("\t").append(indexInfos.size());
  72     for (final IndexInfo indexInfo : indexInfos) {
  73       indexInfo.append(result.append("\t"));
  74     }
  75     result.append("\t").append(dictInfo.replaceAll("\n", "\\\\n"));
  76     return result;
  77   }
  78
  79   public DictionaryInfo(final String line) {
  80     final String[] fields = line.split("\t");
  81     int i = 0;
  82     uncompressedFilename = fields[i++];
  83     downloadUrl = fields[i++];
  84     creationMillis = Long.parseLong(fields[i++]);
  85     uncompressedSize = Long.parseLong(fields[i++]);
  86     final int size = Integer.parseInt(fields[i++]);
  87     for (int j = 0; j < size; ++j) {
  88       indexInfos.add(new IndexInfo(fields, i));
  89       i += IndexInfo.SIZE;
  90     }
  91     dictInfo = fields[i++].replaceAll("\\n", "\n");
  92   }
  93
  94   @Override
  95   public String toString() {
  96     return uncompressedFilename;
  97   }
  98
  99
 100 }