-public class Dictionary implements RAFSerializable<Dictionary> {
-
- static final int CACHE_SIZE = 5000;
-
- static final int CURRENT_DICT_VERSION = 4;
- static final String END_OF_DICTIONARY = "END OF DICTIONARY";
-
- // persisted
- final int dictFileVersion;
- final long creationMillis;
- public final String dictInfo;
- public final List<PairEntry> pairEntries;
- public final List<TextEntry> textEntries;
- public final List<EntrySource> sources;
- public final List<Index> indices;
-
- /**
- * dictFileVersion 1 adds:
- * <li> links to sources?
- *
- * dictFileVersion 2 adds:
- * <li> counts of tokens in indices.
- */
-
- public Dictionary(final String dictInfo) {
- this.dictFileVersion = CURRENT_DICT_VERSION;
- this.creationMillis = System.currentTimeMillis();
- this.dictInfo = dictInfo;
- pairEntries = new ArrayList<PairEntry>();
- textEntries = new ArrayList<TextEntry>();
- sources = new ArrayList<EntrySource>();
- indices = new ArrayList<Index>();
- }
-
- public Dictionary(final RandomAccessFile raf) throws IOException {
- dictFileVersion = raf.readInt();
- if (dictFileVersion < 0 || dictFileVersion > CURRENT_DICT_VERSION) {
- throw new IOException("Invalid dictionary version: " + dictFileVersion);
- }
- creationMillis = raf.readLong();
- dictInfo = raf.readUTF();
-
- // Load the sources, then seek past them, because reading them later disrupts the offset.
- try {
- final RAFList<EntrySource> rafSources = RAFList.create(raf, new EntrySource.Serializer(this), raf.getFilePointer());
- sources = new ArrayList<EntrySource>(rafSources);
- raf.seek(rafSources.getEndOffset());
-
- pairEntries = CachingList.create(RAFList.create(raf, new PairEntry.Serializer(this), raf.getFilePointer()), CACHE_SIZE);
- textEntries = CachingList.create(RAFList.create(raf, new TextEntry.Serializer(this), raf.getFilePointer()), CACHE_SIZE);
- indices = CachingList.createFullyCached(RAFList.create(raf, indexSerializer, raf.getFilePointer()));
- } catch (RuntimeException e) {
- final IOException ioe = new IOException("RuntimeException loading dictionary");
- ioe.initCause(e);
- throw ioe;
+ static final int CURRENT_DICT_VERSION = 7;
+ static final String END_OF_DICTIONARY = "END OF DICTIONARY";
+
+ // persisted
+ final int dictFileVersion;
+ final long creationMillis;
+ public final String dictInfo;
+ public final List<PairEntry> pairEntries;
+ public final List<TextEntry> textEntries;
+ public final List<HtmlEntry> htmlEntries;
+ public final List<byte[]> htmlData;
+ public final List<EntrySource> sources;
+ public final List<Index> indices;
+
+ /**
+ * dictFileVersion 1 adds: <li>links to sources? dictFileVersion 2 adds: <li>
+ * counts of tokens in indices.
+ */
+
+ public Dictionary(final String dictInfo) {
+ this.dictFileVersion = CURRENT_DICT_VERSION;
+ this.creationMillis = System.currentTimeMillis();
+ this.dictInfo = dictInfo;
+ pairEntries = new ArrayList<PairEntry>();
+ textEntries = new ArrayList<TextEntry>();
+ htmlEntries = new ArrayList<HtmlEntry>();
+ htmlData = null;
+ sources = new ArrayList<EntrySource>();
+ indices = new ArrayList<Index>();