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

   1 // Copyright 2011 Google Inc. All Rights Reserved.\r
   2 //\r
   3 // Licensed under the Apache License, Version 2.0 (the "License");\r
   4 // you may not use this file except in compliance with the License.\r
   5 // You may obtain a copy of the License at\r
   6 //\r
   7 //     http://www.apache.org/licenses/LICENSE-2.0\r
   8 //\r
   9 // Unless required by applicable law or agreed to in writing, software\r
  10 // distributed under the License is distributed on an "AS IS" BASIS,\r
  11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\r
  12 // See the License for the specific language governing permissions and\r
  13 // limitations under the License.\r
  14 \r
  15 package com.hughes.android.dictionary;\r
  16 \r
  17 import java.io.File;\r
  18 import java.io.FileWriter;\r
  19 import java.io.IOException;\r
  20 import java.io.PrintWriter;\r
  21 import java.io.RandomAccessFile;\r
  22 import java.text.SimpleDateFormat;\r
  23 import java.util.Date;\r
  24 import java.util.concurrent.Executor;\r
  25 import java.util.concurrent.Executors;\r
  26 import java.util.concurrent.ThreadFactory;\r
  27 import java.util.concurrent.atomic.AtomicBoolean;\r
  28 \r
  29 import android.app.ListActivity;\r
  30 import android.content.Context;\r
  31 import android.content.Intent;\r
  32 import android.content.SharedPreferences;\r
  33 import android.graphics.Typeface;\r
  34 import android.os.Bundle;\r
  35 import android.os.Handler;\r
  36 import android.preference.PreferenceManager;\r
  37 import android.text.ClipboardManager;\r
  38 import android.text.Editable;\r
  39 import android.text.Spannable;\r
  40 import android.text.TextWatcher;\r
  41 import android.text.style.StyleSpan;\r
  42 import android.util.Log;\r
  43 import android.view.ContextMenu;\r
  44 import android.view.ContextMenu.ContextMenuInfo;\r
  45 import android.view.KeyEvent;\r
  46 import android.view.Menu;\r
  47 import android.view.MenuItem;\r
  48 import android.view.MenuItem.OnMenuItemClickListener;\r
  49 import android.view.View;\r
  50 import android.view.View.OnClickListener;\r
  51 import android.view.ViewGroup;\r
  52 import android.view.inputmethod.InputMethodManager;\r
  53 import android.widget.AdapterView;\r
  54 import android.widget.AdapterView.AdapterContextMenuInfo;\r
  55 import android.widget.BaseAdapter;\r
  56 import android.widget.Button;\r
  57 import android.widget.EditText;\r
  58 import android.widget.ListAdapter;\r
  59 import android.widget.ListView;\r
  60 import android.widget.TableLayout;\r
  61 import android.widget.TableRow;\r
  62 import android.widget.TextView;\r
  63 import android.widget.Toast;\r
  64 \r
  65 import com.hughes.android.dictionary.engine.Dictionary;\r
  66 import com.hughes.android.dictionary.engine.Index;\r
  67 import com.hughes.android.dictionary.engine.PairEntry;\r
  68 import com.hughes.android.dictionary.engine.PairEntry.Pair;\r
  69 import com.hughes.android.dictionary.engine.RowBase;\r
  70 import com.hughes.android.dictionary.engine.TokenRow;\r
  71 import com.hughes.android.dictionary.engine.TransliteratorManager;\r
  72 import com.hughes.android.util.PersistentObjectCache;\r
  73 \r
  74 public class DictionaryActivity extends ListActivity {\r
  75 \r
  76   static final String LOG = "QuickDic";\r
  77   \r
  78   static final int VIBRATE_MILLIS = 100;\r
  79 \r
  80   int dictIndex = 0;\r
  81   RandomAccessFile dictRaf = null;\r
  82   Dictionary dictionary = null;\r
  83   int indexIndex = 0;\r
  84   Index index = null;\r
  85   \r
  86   // package for test.\r
  87   final Handler uiHandler = new Handler();\r
  88   private final Executor searchExecutor = Executors.newSingleThreadExecutor(new ThreadFactory() {\r
  89     @Override\r
  90     public Thread newThread(Runnable r) {\r
  91       return new Thread(r, "searchExecutor");\r
  92     }\r
  93   });\r
  94   private SearchOperation currentSearchOperation = null;\r
  95 \r
  96   EditText searchText;\r
  97   Button langButton;\r
  98 \r
  99   // Never null.\r
 100   private File wordList = null;\r
 101   private boolean saveOnlyFirstSubentry = false;\r
 102 \r
 103   // Visible for testing.\r
 104   ListAdapter indexAdapter = null;\r
 105   \r
 106   final SearchTextWatcher searchTextWatcher = new SearchTextWatcher();\r
 107 \r
 108   //private Vibrator vibrator = null;\r
 109   \r
 110   public DictionaryActivity() {\r
 111   }\r
 112   \r
 113   public static Intent getIntent(final Context context, final int dictIndex, final int indexIndex, final String searchToken) {\r
 114     setDictionaryPrefs(context, dictIndex, indexIndex, searchToken);\r
 115     \r
 116     final Intent intent = new Intent();\r
 117     intent.setClassName(DictionaryActivity.class.getPackage().getName(), DictionaryActivity.class.getName());\r
 118     return intent;\r
 119   }\r
 120 \r
 121   public static void setDictionaryPrefs(final Context context,\r
 122       final int dictIndex, final int indexIndex, final String searchToken) {\r
 123     final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
 124     prefs.putInt(C.DICT_INDEX, dictIndex);\r
 125     prefs.putInt(C.INDEX_INDEX, indexIndex);\r
 126     prefs.putString(C.SEARCH_TOKEN, searchToken);\r
 127     prefs.commit();\r
 128   }\r
 129 \r
 130   public static void clearDictionaryPrefs(final Context context) {\r
 131     final SharedPreferences.Editor prefs = PreferenceManager.getDefaultSharedPreferences(context).edit();\r
 132     prefs.remove(C.DICT_INDEX);\r
 133     prefs.remove(C.INDEX_INDEX);\r
 134     prefs.remove(C.SEARCH_TOKEN);\r
 135     prefs.commit();\r
 136     Log.d(LOG, "Removed default dictionary prefs.");\r
 137   }\r
 138 \r
 139   @Override\r
 140   public void onCreate(Bundle savedInstanceState) {\r
 141     ((DictionaryApplication)getApplication()).applyTheme(this);\r
 142     \r
 143     super.onCreate(savedInstanceState);\r
 144     Log.d(LOG, "onCreate:" + this);\r
 145     \r
 146     final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);\r
 147     \r
 148     try {\r
 149       PersistentObjectCache.init(this);\r
 150       QuickDicConfig quickDicConfig = PersistentObjectCache.init(\r
 151           this).read(C.DICTIONARY_CONFIGS, QuickDicConfig.class);\r
 152       dictIndex = prefs.getInt(C.DICT_INDEX, 0) ;\r
 153       final DictionaryConfig dictionaryConfig = quickDicConfig.dictionaryConfigs.get(dictIndex);\r
 154       this.setTitle("QuickDic: " + dictionaryConfig.name);\r
 155       dictRaf = new RandomAccessFile(dictionaryConfig.localFile, "r");\r
 156       dictionary = new Dictionary(dictRaf); \r
 157     } catch (Exception e) {\r
 158       Log.e(LOG, "Unable to load dictionary.", e);\r
 159       if (dictRaf != null) {\r
 160         try {\r
 161           dictRaf.close();\r
 162         } catch (IOException e1) {\r
 163           Log.e(LOG, "Unable to close dictRaf.", e1);\r
 164         }\r
 165         dictRaf = null;\r
 166       }\r
 167       Toast.makeText(this, getString(R.string.invalidDictionary, "", e.getMessage()), Toast.LENGTH_LONG);\r
 168       startActivity(DictionaryEditActivity.getIntent(dictIndex));\r
 169       finish();\r
 170       return;\r
 171     }\r
 172 \r
 173     indexIndex = prefs.getInt(C.INDEX_INDEX, 0) % dictionary.indices.size();\r
 174     Log.d(LOG, "Loading index.");\r
 175     index = dictionary.indices.get(indexIndex);\r
 176     setListAdapter(new IndexAdapter(index));\r
 177 \r
 178     // Pre-load the collators.\r
 179     searchExecutor.execute(new Runnable() {\r
 180       public void run() {\r
 181         final long startMillis = System.currentTimeMillis();\r
 182         \r
 183         TransliteratorManager.init(new TransliteratorManager.Callback() {\r
 184           @Override\r
 185           public void onTransliteratorReady() {\r
 186             uiHandler.post(new Runnable() {\r
 187               @Override\r
 188               public void run() {\r
 189                 onSearchTextChange(searchText.getText().toString());\r
 190               }\r
 191             });\r
 192           }\r
 193         });\r
 194         \r
 195         for (final Index index : dictionary.indices) {\r
 196           Log.d(LOG, "Starting collator load for lang=" + index.sortLanguage.getSymbol());\r
 197           \r
 198           final com.ibm.icu.text.Collator c = index.sortLanguage.getCollator();          \r
 199           if (c.compare("pre-print", "preppy") >= 0) {\r
 200             Log.e(LOG, c.getClass()\r
 201                 + " is buggy, lookups may not work properly.");\r
 202           }\r
 203         }\r
 204         Log.d(LOG, "Loading collators took:"\r
 205             + (System.currentTimeMillis() - startMillis));\r
 206       }\r
 207     });\r
 208     \r
 209 \r
 210     setContentView(R.layout.dictionary_activity);\r
 211     searchText = (EditText) findViewById(R.id.SearchText);\r
 212     langButton = (Button) findViewById(R.id.LangButton);\r
 213     \r
 214     searchText.requestFocus();\r
 215     searchText.addTextChangedListener(searchTextWatcher);\r
 216     final String search = prefs.getString(C.SEARCH_TOKEN, "");\r
 217     searchText.setText(search);\r
 218     searchText.setSelection(0, search.length());\r
 219     Log.d(LOG, "Trying to restore searchText=" + search);\r
 220     \r
 221     final Button clearSearchTextButton = (Button) findViewById(R.id.ClearSearchTextButton);\r
 222     clearSearchTextButton.setOnClickListener(new OnClickListener() {\r
 223       public void onClick(View v) {\r
 224         onClearSearchTextButton(clearSearchTextButton);\r
 225       }\r
 226     });\r
 227     clearSearchTextButton.setVisibility(PreferenceManager.getDefaultSharedPreferences(this).getBoolean(\r
 228         getString(R.string.showClearSearchTextButtonKey), true) ? View.VISIBLE\r
 229         : View.GONE);\r
 230     \r
 231     final Button langButton = (Button) findViewById(R.id.LangButton);\r
 232     langButton.setOnClickListener(new OnClickListener() {\r
 233       public void onClick(View v) {\r
 234         onLanguageButton();\r
 235       }\r
 236     });\r
 237     updateLangButton();\r
 238     \r
 239     final Button upButton = (Button) findViewById(R.id.UpButton);\r
 240     upButton.setOnClickListener(new OnClickListener() {\r
 241       public void onClick(View v) {\r
 242         onUpDownButton(true);\r
 243       }\r
 244     });\r
 245     final Button downButton = (Button) findViewById(R.id.DownButton);\r
 246     downButton.setOnClickListener(new OnClickListener() {\r
 247       public void onClick(View v) {\r
 248         onUpDownButton(false);\r
 249       }\r
 250     });\r
 251 \r
 252    getListView().setOnItemSelectedListener(new ListView.OnItemSelectedListener() {\r
 253       @Override\r
 254       public void onItemSelected(AdapterView<?> adapterView, View arg1, final int position,\r
 255           long id) {\r
 256         if (!searchText.isFocused()) {\r
 257           // TODO: don't do this if multi words are entered.\r
 258           final RowBase row = (RowBase) getListAdapter().getItem(position);\r
 259           Log.d(LOG, "onItemSelected: " + row.index());\r
 260           final TokenRow tokenRow = row.getTokenRow(true);\r
 261           searchText.setText(tokenRow.getToken());\r
 262         }\r
 263       }\r
 264 \r
 265       @Override\r
 266       public void onNothingSelected(AdapterView<?> arg0) {\r
 267       }\r
 268     });\r
 269 \r
 270     // ContextMenu.\r
 271     registerForContextMenu(getListView());\r
 272 \r
 273     // Prefs.\r
 274     wordList = new File(prefs.getString(getString(R.string.wordListFileKey),\r
 275         getString(R.string.wordListFileDefault)));\r
 276     saveOnlyFirstSubentry = prefs.getBoolean(getString(R.string.saveOnlyFirstSubentryKey), false);\r
 277     //if (prefs.getBoolean(getString(R.string.vibrateOnFailedSearchKey), true)) {\r
 278       // vibrator = (Vibrator) getSystemService(Context.VIBRATOR_SERVICE);\r
 279     //}\r
 280     Log.d(LOG, "wordList=" + wordList + ", saveOnlyFirstSubentry=" + saveOnlyFirstSubentry);\r
 281   }\r
 282   \r
 283   @Override\r
 284   protected void onResume() {\r
 285     super.onResume();\r
 286   }\r
 287   \r
 288   @Override\r
 289   protected void onPause() {\r
 290     super.onPause();\r
 291   }\r
 292 \r
 293   @Override\r
 294   protected void onDestroy() {\r
 295     super.onDestroy();\r
 296     if (dictRaf == null) {\r
 297       return;\r
 298     }\r
 299     setDictionaryPrefs(this, dictIndex, indexIndex, searchText.getText().toString());\r
 300     \r
 301     // Before we close the RAF, we have to wind the current search down.\r
 302     if (currentSearchOperation != null) {\r
 303       Log.d(LOG, "Interrupting search to shut down.");\r
 304       final SearchOperation searchOperation = currentSearchOperation;\r
 305       currentSearchOperation = null;\r
 306       searchOperation.interrupted.set(true);\r
 307       synchronized (searchOperation) {\r
 308         while (!searchOperation.done) {\r
 309           try {\r
 310             searchOperation.wait();\r
 311           } catch (InterruptedException e) {\r
 312             Log.d(LOG, "Interrupted.", e);\r
 313           }\r
 314         }\r
 315       }\r
 316     }\r
 317     \r
 318     try {\r
 319       Log.d(LOG, "Closing RAF.");\r
 320       dictRaf.close();\r
 321     } catch (IOException e) {\r
 322       Log.e(LOG, "Failed to close dictionary", e);\r
 323     }\r
 324     dictRaf = null;\r
 325   }\r
 326 \r
 327   // --------------------------------------------------------------------------\r
 328   // Buttons\r
 329   // --------------------------------------------------------------------------\r
 330 \r
 331   private void onClearSearchTextButton(final Button clearSearchTextButton) {\r
 332     clearSearchTextButton.requestFocus();\r
 333     searchText.setText("");\r
 334     searchText.requestFocus();\r
 335     Log.d(LOG, "Trying to show soft keyboard.");\r
 336     final InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);\r
 337     manager.showSoftInput(searchText, InputMethodManager.SHOW_IMPLICIT);\r
 338   }\r
 339   \r
 340   void updateLangButton() {\r
 341     langButton.setText(index.shortName.toUpperCase());\r
 342   }\r
 343 \r
 344   void onLanguageButton() {\r
 345     if (currentSearchOperation != null) {\r
 346       currentSearchOperation.interrupted.set(true);\r
 347       currentSearchOperation = null;\r
 348     }\r
 349     \r
 350     indexIndex = (indexIndex + 1) % dictionary.indices.size();\r
 351     index = dictionary.indices.get(indexIndex);\r
 352     indexAdapter = new IndexAdapter(index);\r
 353     Log.d(LOG, "onLanguageButton, newLang=" + index.longName);\r
 354     setListAdapter(indexAdapter);\r
 355     updateLangButton();\r
 356     onSearchTextChange(searchText.getText().toString());\r
 357   }\r
 358   \r
 359   void onUpDownButton(final boolean up) {\r
 360     final int firstVisibleRow = getListView().getFirstVisiblePosition();\r
 361     final RowBase row = index.rows.get(firstVisibleRow);\r
 362     final TokenRow tokenRow = row.getTokenRow(true);\r
 363     final int destIndexEntry;\r
 364     if (up) {\r
 365       if (row != tokenRow) {\r
 366         destIndexEntry = tokenRow.referenceIndex;\r
 367       } else {\r
 368         destIndexEntry = Math.max(tokenRow.referenceIndex - 1, 0);\r
 369       }\r
 370     } else {\r
 371       // Down\r
 372       destIndexEntry = Math.min(tokenRow.referenceIndex + 1, index.sortedIndexEntries.size());\r
 373     }\r
 374     final Index.IndexEntry dest = index.sortedIndexEntries.get(destIndexEntry);\r
 375     Log.d(LOG, "onUpDownButton, destIndexEntry=" + dest.token);\r
 376     searchText.removeTextChangedListener(searchTextWatcher);\r
 377     searchText.setText(dest.token);\r
 378     jumpToRow(index.sortedIndexEntries.get(destIndexEntry).startRow);\r
 379     searchText.addTextChangedListener(searchTextWatcher);\r
 380   }\r
 381 \r
 382   // --------------------------------------------------------------------------\r
 383   // Options Menu\r
 384   // --------------------------------------------------------------------------\r
 385   \r
 386   @Override\r
 387   public boolean onCreateOptionsMenu(final Menu menu) {\r
 388     \r
 389     {\r
 390       final MenuItem preferences = menu.add(getString(R.string.preferences));\r
 391       preferences.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 392         public boolean onMenuItemClick(final MenuItem menuItem) {\r
 393           startActivity(new Intent(DictionaryActivity.this,\r
 394               PreferenceActivity.class));\r
 395           return false;\r
 396         }\r
 397       });\r
 398     }\r
 399 \r
 400     {\r
 401       final MenuItem dictionaryList = menu.add(getString(R.string.dictionaryList));\r
 402       dictionaryList.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 403         public boolean onMenuItemClick(final MenuItem menuItem) {\r
 404           startActivity(DictionaryListActivity.getIntent(DictionaryActivity.this));\r
 405           finish();\r
 406           return false;\r
 407         }\r
 408       });\r
 409     }\r
 410 \r
 411     {\r
 412       final MenuItem dictionaryEdit = menu.add(getString(R.string.editDictionary));\r
 413       dictionaryEdit.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 414         public boolean onMenuItemClick(final MenuItem menuItem) {\r
 415           final Intent intent = DictionaryEditActivity.getIntent(dictIndex);\r
 416           startActivity(intent);\r
 417           return false;\r
 418         }\r
 419       });\r
 420     }\r
 421 \r
 422     return true;\r
 423   }\r
 424 \r
 425 \r
 426   // --------------------------------------------------------------------------\r
 427   // Context Menu + clicks\r
 428   // --------------------------------------------------------------------------\r
 429 \r
 430   @Override\r
 431   public void onCreateContextMenu(ContextMenu menu, View v,\r
 432       ContextMenuInfo menuInfo) {\r
 433     AdapterContextMenuInfo adapterContextMenuInfo = (AdapterContextMenuInfo) menuInfo;\r
 434     final RowBase row = (RowBase) getListAdapter().getItem(adapterContextMenuInfo.position);\r
 435 \r
 436     final MenuItem addToWordlist = menu.add(getString(R.string.addToWordList, wordList.getName()));\r
 437     addToWordlist.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 438       public boolean onMenuItemClick(MenuItem item) {\r
 439         onAppendToWordList(row);\r
 440         return false;\r
 441       }\r
 442     });\r
 443 \r
 444     final MenuItem copy = menu.add(android.R.string.copy);\r
 445     copy.setOnMenuItemClickListener(new OnMenuItemClickListener() {\r
 446       public boolean onMenuItemClick(MenuItem item) {\r
 447         onCopy(row);\r
 448         return false;\r
 449       }\r
 450     });\r
 451 \r
 452   }\r
 453   \r
 454   @Override\r
 455   protected void onListItemClick(ListView l, View v, int row, long id) {\r
 456     openContextMenu(v);\r
 457   }\r
 458   \r
 459   void onAppendToWordList(final RowBase row) {\r
 460     final StringBuilder rawText = new StringBuilder();\r
 461     rawText.append(\r
 462         new SimpleDateFormat("yyyy.MM.dd HH:mm:ss").format(new Date()))\r
 463         .append("\t");\r
 464     rawText.append(index.longName).append("\t");\r
 465     rawText.append(row.getTokenRow(true).getToken()).append("\t");\r
 466     rawText.append(row.getRawText(saveOnlyFirstSubentry));\r
 467     Log.d(LOG, "Writing : " + rawText);\r
 468     try {\r
 469       wordList.getParentFile().mkdirs();\r
 470       final PrintWriter out = new PrintWriter(\r
 471           new FileWriter(wordList, true));\r
 472       out.println(rawText.toString());\r
 473       out.close();\r
 474     } catch (IOException e) {\r
 475       Log.e(LOG, "Unable to append to " + wordList.getAbsolutePath(), e);\r
 476       Toast.makeText(this, getString(R.string.failedAddingToWordList, wordList.getAbsolutePath()), Toast.LENGTH_LONG);\r
 477     }\r
 478     return;\r
 479   }\r
 480 \r
 481   void onCopy(final RowBase row) {\r
 482     Log.d(LOG, "Copy, row=" + row);\r
 483     final StringBuilder result = new StringBuilder();\r
 484     result.append(row.getRawText(false));\r
 485     final ClipboardManager clipboardManager = (ClipboardManager) getSystemService(Context.CLIPBOARD_SERVICE);\r
 486     clipboardManager.setText(result.toString());\r
 487     Log.d(LOG, "Copied: " + result);\r
 488   }\r
 489 \r
 490   @Override\r
 491   public boolean onKeyDown(final int keyCode, final KeyEvent event) {\r
 492     if (event.getUnicodeChar() != 0) {\r
 493       if (!searchText.hasFocus()) {\r
 494         searchText.setText("" + (char) event.getUnicodeChar());\r
 495         onSearchTextChange(searchText.getText().toString());\r
 496         searchText.requestFocus();\r
 497       }\r
 498       return true;\r
 499     }\r
 500     if (keyCode == KeyEvent.KEYCODE_BACK) {\r
 501       Log.d(LOG, "Clearing dictionary prefs.");\r
 502       DictionaryActivity.clearDictionaryPrefs(this);\r
 503     }\r
 504     return super.onKeyDown(keyCode, event);\r
 505   }\r
 506 \r
 507 \r
 508   // --------------------------------------------------------------------------\r
 509   // SearchOperation\r
 510   // --------------------------------------------------------------------------\r
 511 \r
 512   private void searchFinished(final SearchOperation searchOperation) {\r
 513     if (searchOperation.interrupted.get()) {\r
 514       Log.d(LOG, "Search operation was interrupted: " + searchOperation);\r
 515       return;\r
 516     }\r
 517     if (searchOperation != this.currentSearchOperation) {\r
 518       Log.d(LOG, "Stale searchOperation finished: " + searchOperation);\r
 519       return;\r
 520     }\r
 521     \r
 522     final Index.IndexEntry searchResult = searchOperation.searchResult;\r
 523     Log.d(LOG, "searchFinished: " + searchOperation + ", searchResult=" + searchResult);\r
 524 \r
 525     currentSearchOperation = null;\r
 526 \r
 527     uiHandler.postDelayed(new Runnable() {\r
 528       @Override\r
 529       public void run() {\r
 530         if (currentSearchOperation == null) {\r
 531           jumpToRow(searchResult.startRow);\r
 532         } else {\r
 533           Log.d(LOG, "More coming, waiting for currentSearchOperation.");\r
 534         }\r
 535       }\r
 536     }, 50);\r
 537     \r
 538 //    if (!searchResult.success) {\r
 539 //      if (vibrator != null) {\r
 540 //        vibrator.vibrate(VIBRATE_MILLIS);\r
 541 //      }\r
 542 //      searchText.setText(searchResult.longestPrefixString);\r
 543 //      searchText.setSelection(searchResult.longestPrefixString.length());\r
 544 //      return;\r
 545 //    }\r
 546     \r
 547   }\r
 548   \r
 549   private final void jumpToRow(final int row) {\r
 550     setSelection(row);\r
 551     getListView().setSelected(true);\r
 552   }\r
 553 \r
 554   final class SearchOperation implements Runnable {\r
 555     \r
 556     final AtomicBoolean interrupted = new AtomicBoolean(false);\r
 557     final String searchText;\r
 558     final Index index;\r
 559     \r
 560     long searchStartMillis;\r
 561 \r
 562     Index.IndexEntry searchResult;\r
 563     \r
 564     boolean done = false;\r
 565     \r
 566     SearchOperation(final String searchText, final Index index) {\r
 567       this.searchText = searchText.trim();\r
 568       this.index = index;\r
 569     }\r
 570     \r
 571     public String toString() {\r
 572       return String.format("SearchOperation(%s,%s)", searchText, interrupted.toString());\r
 573     }\r
 574 \r
 575     @Override\r
 576     public void run() {\r
 577       try {\r
 578         searchStartMillis = System.currentTimeMillis();\r
 579         searchResult = index.findInsertionPoint(searchText, interrupted);\r
 580         Log.d(LOG, "searchText=" + searchText + ", searchDuration="\r
 581             + (System.currentTimeMillis() - searchStartMillis) + ", interrupted="\r
 582             + interrupted.get());\r
 583         if (!interrupted.get()) {\r
 584           uiHandler.post(new Runnable() {\r
 585             @Override\r
 586             public void run() {            \r
 587               searchFinished(SearchOperation.this);\r
 588             }\r
 589           });\r
 590         }\r
 591       } finally {\r
 592         synchronized (this) {\r
 593           done = true;\r
 594           this.notifyAll();\r
 595         }\r
 596       }\r
 597     }\r
 598   }\r
 599 \r
 600   \r
 601   // --------------------------------------------------------------------------\r
 602   // IndexAdapter\r
 603   // --------------------------------------------------------------------------\r
 604 \r
 605   static final class IndexAdapter extends BaseAdapter {\r
 606     \r
 607     final Index index;\r
 608 \r
 609     IndexAdapter(final Index index) {\r
 610       this.index = index;\r
 611     }\r
 612 \r
 613     @Override\r
 614     public int getCount() {\r
 615       return index.rows.size();\r
 616     }\r
 617 \r
 618     @Override\r
 619     public RowBase getItem(int position) {\r
 620       return index.rows.get(position);\r
 621     }\r
 622 \r
 623     @Override\r
 624     public long getItemId(int position) {\r
 625       return getItem(position).index();\r
 626     }\r
 627 \r
 628     @Override\r
 629     public View getView(int position, View convertView, ViewGroup parent) {\r
 630       final RowBase row = index.rows.get(position);\r
 631       if (row instanceof PairEntry.Row) {\r
 632         return getView((PairEntry.Row) row, parent);\r
 633       } else if (row instanceof TokenRow) {\r
 634         return getView((TokenRow) row, parent);\r
 635       } else {\r
 636         throw new IllegalArgumentException("Unsupported Row type: " + row.getClass());\r
 637       }\r
 638     }\r
 639 \r
 640     private View getView(PairEntry.Row row, ViewGroup parent) {\r
 641       final TableLayout result = new TableLayout(parent.getContext());\r
 642       final PairEntry entry = row.getEntry();\r
 643       final int rowCount = entry.pairs.size();\r
 644       for (int r = 0; r < rowCount; ++r) {\r
 645         final TableRow tableRow = new TableRow(result.getContext());\r
 646 \r
 647         TextView column1 = new TextView(tableRow.getContext());\r
 648         TextView column2 = new TextView(tableRow.getContext());\r
 649         final TableRow.LayoutParams layoutParams = new TableRow.LayoutParams();\r
 650         layoutParams.weight = 0.5f;\r
 651 \r
 652         if (r > 0) {\r
 653           final TextView spacer = new TextView(tableRow.getContext());\r
 654           spacer.setText(" • ");\r
 655           tableRow.addView(spacer);\r
 656         }\r
 657         tableRow.addView(column1, layoutParams);\r
 658         if (r > 0) {\r
 659           final TextView spacer = new TextView(tableRow.getContext());\r
 660           spacer.setText(" • ");\r
 661           tableRow.addView(spacer);\r
 662         }\r
 663         tableRow.addView(column2, layoutParams);\r
 664 \r
 665         column1.setWidth(1);\r
 666         column2.setWidth(1);\r
 667 \r
 668         // TODO: color words by gender\r
 669         final Pair pair = entry.pairs.get(r);\r
 670         final String col1Text = index.swapPairEntries ? pair.lang2 : pair.lang1;\r
 671         column1.setText(col1Text, TextView.BufferType.SPANNABLE);\r
 672         final Spannable col1Spannable = (Spannable) column1.getText();\r
 673         \r
 674         int startPos = 0;\r
 675         final String token = row.getTokenRow(true).getToken();\r
 676         while ((startPos = col1Text.indexOf(token, startPos)) != -1) {\r
 677           col1Spannable.setSpan(new StyleSpan(Typeface.BOLD), startPos,\r
 678               startPos + token.length(), Spannable.SPAN_INCLUSIVE_EXCLUSIVE);\r
 679           startPos += token.length();\r
 680         }\r
 681 \r
 682         final String col2Text = index.swapPairEntries ? pair.lang1 : pair.lang2;\r
 683         column2.setText(col2Text, TextView.BufferType.NORMAL);\r
 684 \r
 685         result.addView(tableRow);\r
 686       }\r
 687 \r
 688       return result;\r
 689     }\r
 690 \r
 691     private View getView(TokenRow row, ViewGroup parent) {\r
 692       final TextView textView = new TextView(parent.getContext());\r
 693       textView.setText(row.getToken());\r
 694       textView.setTextSize(20);\r
 695       return textView;\r
 696     }\r
 697     \r
 698   }\r
 699 \r
 700   // --------------------------------------------------------------------------\r
 701   // SearchText\r
 702   // --------------------------------------------------------------------------\r
 703 \r
 704   void onSearchTextChange(final String text) {\r
 705     if (dictRaf == null) {\r
 706       Log.d(LOG, "searchText changed during shutdown, doing nothing.");\r
 707       return;\r
 708     }\r
 709     if (!searchText.isFocused()) {\r
 710       Log.d(LOG, "searchText changed without focus, doing nothing.");\r
 711       return;\r
 712     }\r
 713     Log.d(LOG, "onSearchTextChange: " + text);    \r
 714     if (currentSearchOperation != null) {\r
 715       Log.d(LOG, "Interrupting currentSearchOperation.");\r
 716       currentSearchOperation.interrupted.set(true);\r
 717     }\r
 718     currentSearchOperation = new SearchOperation(text, index);\r
 719     searchExecutor.execute(currentSearchOperation);\r
 720   }\r
 721   \r
 722   private class SearchTextWatcher implements TextWatcher {\r
 723     public void afterTextChanged(final Editable searchTextEditable) {\r
 724       if (searchText.hasFocus()) {\r
 725         Log.d(LOG, "Search text changed with focus: " + searchText.getText());\r
 726         // If they were typing to cause the change, update the UI.\r
 727         onSearchTextChange(searchText.getText().toString());\r
 728       }\r
 729     }\r
 730 \r
 731     public void beforeTextChanged(CharSequence arg0, int arg1, int arg2,\r
 732         int arg3) {\r
 733     }\r
 734 \r
 735     public void onTextChanged(CharSequence arg0, int arg1, int arg2, int arg3) {\r
 736     }\r
 737   }\r
 738 \r
 739 }\r