1 package com.hughes.android.dictionary.engine;
3 import com.hughes.android.dictionary.DictionaryInfo;
4 import com.hughes.android.dictionary.DictionaryInfo.IndexInfo;
5 import com.hughes.util.CollectionUtil;
8 import java.io.IOException;
9 import java.io.PrintWriter;
10 import java.io.RandomAccessFile;
11 import java.util.ArrayList;
12 import java.util.Arrays;
13 import java.util.Collections;
14 import java.util.List;
16 public class CheckDictionariesMain {
18 static final String BASE_URL = "http://github.com/rdoeffinger/Dictionary/releases/download/v0.2-dictionaries/";
19 static final String VERSION_CODE_OLD = "v006";
20 static final String VERSION_CODE = "v007";
22 public static void main(String[] args) throws IOException {
23 final File dictDir = new File(DictionaryBuilderMain.OUTPUTS);
25 final PrintWriter dictionaryInfoOut = new PrintWriter(new File("../Dictionary/res/raw/dictionary_info.txt"));
26 // dictionaryInfoOut.println("# LANG_1\t%LANG_2\tFILENAME\tVERSION_CODE\tFILESIZE\tNUM_MAIN_WORDS_1\tNUM_MAIN_WORDS_2\tNUM_ALL_WORDS_1\tNUM_ALL_WORDS_2");
28 final File[] files = dictDir.listFiles();
29 final List<String> dictNames = new ArrayList<String>();
31 for (final File dictFile : files) {
32 if (!dictFile.getName().endsWith("quickdic")) {
35 System.out.println(dictFile.getPath());
38 final RandomAccessFile raf = new RandomAccessFile(dictFile, "r");
39 final Dictionary dict = new Dictionary(raf.getChannel());
41 final DictionaryInfo dictionaryInfo = dict.getDictionaryInfo();
43 String version_code = VERSION_CODE;
44 File zipFile = new File(dictFile.getPath() + "." + version_code + ".zip");
45 if (!zipFile.canRead()) {
46 version_code = VERSION_CODE_OLD;
47 zipFile = new File(dictFile.getPath() + "." + version_code + ".zip");
49 dictionaryInfo.uncompressedFilename = dictFile.getName();
50 dictionaryInfo.downloadUrl = BASE_URL + dictFile.getName() + "." + version_code + ".zip";
51 // TODO: zip it right here....
52 dictionaryInfo.uncompressedBytes = dictFile.length();
53 dictionaryInfo.zipBytes = zipFile.canRead() ? zipFile.length() : -1;
56 // final PrintWriter textOut = new PrintWriter(new BufferedWriter(new FileWriter(dictFile + ".text")));
57 // final List<PairEntry> sorted = new ArrayList<PairEntry>(dict.pairEntries);
58 // Collections.sort(sorted);
59 // for (final PairEntry pairEntry : sorted) {
60 // textOut.println(pairEntry.getRawText(false));
65 System.out.println("Stats...");
66 final List<String> indexNames = new ArrayList<String>();
67 for (final IndexInfo indexInfo : dictionaryInfo.indexInfos) {
68 indexNames.add(indexInfo.shortName);
70 dictNames.add(CollectionUtil.join(indexNames, "-") + "\n");
71 final String row = dictionaryInfo.append(new StringBuilder()).toString();
72 if (!zipFile.canRead()) {
73 System.err.println("Couldn't read zipfile: " + zipFile);
75 System.out.println(row + "\n");
78 dictionaryInfoOut.println(row);
79 dictionaryInfoOut.flush();
84 Collections.sort(dictNames);
85 System.out.println(dictNames.toString().replace(",", " *"));
87 dictionaryInfoOut.close();