From 23052ecd86ddf86665b6568e808822b570beb42f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Reimar=20D=C3=B6ffinger?= Date: Sat, 27 Feb 2016 14:37:25 +0100 Subject: [PATCH] Add debugstr to RAFList. --- .../hughes/android/dictionary/engine/Dictionary.java | 12 ++++++------ src/com/hughes/android/dictionary/engine/Index.java | 5 +++-- 2 files changed, 9 insertions(+), 8 deletions(-) diff --git a/src/com/hughes/android/dictionary/engine/Dictionary.java b/src/com/hughes/android/dictionary/engine/Dictionary.java index 1a57d89..2f8d442 100644 --- a/src/com/hughes/android/dictionary/engine/Dictionary.java +++ b/src/com/hughes/android/dictionary/engine/Dictionary.java @@ -78,30 +78,30 @@ public class Dictionary implements RAFSerializable { // disrupts the offset. try { final RAFList rafSources = RAFList.create(raf, new EntrySource.Serializer( - this), raf.getFilePointer(), dictFileVersion); + this), raf.getFilePointer(), dictFileVersion, dictInfo + " sources: "); sources = new ArrayList(rafSources); raf.seek(rafSources.getEndOffset()); pairEntries = CachingList.create( - RAFList.create(raf, new PairEntry.Serializer(this), raf.getFilePointer(), dictFileVersion), + RAFList.create(raf, new PairEntry.Serializer(this), raf.getFilePointer(), dictFileVersion, dictInfo + " pairs: "), CACHE_SIZE); textEntries = CachingList.create( - RAFList.create(raf, new TextEntry.Serializer(this), raf.getFilePointer(), dictFileVersion), + RAFList.create(raf, new TextEntry.Serializer(this), raf.getFilePointer(), dictFileVersion, dictInfo + " text: "), CACHE_SIZE); if (dictFileVersion >= 5) { htmlEntries = CachingList.create( - RAFList.create(raf, new HtmlEntry.Serializer(this), raf.getFilePointer(), dictFileVersion), + RAFList.create(raf, new HtmlEntry.Serializer(this), raf.getFilePointer(), dictFileVersion, dictInfo + " html: "), CACHE_SIZE); } else { htmlEntries = Collections.emptyList(); } if (dictFileVersion >= 7) { - htmlData = RAFList.create(raf, new HtmlEntry.DataDeserializer(), raf.getFilePointer(), dictFileVersion); + htmlData = RAFList.create(raf, new HtmlEntry.DataDeserializer(), raf.getFilePointer(), dictFileVersion, dictInfo + " html: "); } else { htmlData = null; } indices = CachingList.createFullyCached(RAFList.create(raf, indexSerializer, - raf.getFilePointer(), dictFileVersion)); + raf.getFilePointer(), dictFileVersion, dictInfo + " index: ")); } catch (RuntimeException e) { final IOException ioe = new IOException("RuntimeException loading dictionary"); ioe.initCause(e); diff --git a/src/com/hughes/android/dictionary/engine/Index.java b/src/com/hughes/android/dictionary/engine/Index.java index 93dd34b..5ee2ce9 100644 --- a/src/com/hughes/android/dictionary/engine/Index.java +++ b/src/com/hughes/android/dictionary/engine/Index.java @@ -137,7 +137,7 @@ public final class Index implements RAFSerializable { } sortedIndexEntries = CachingList.create( RAFList.create(raf, indexEntrySerializer, raf.getFilePointer(), - dict.dictFileVersion), CACHE_SIZE); + dict.dictFileVersion, dict.dictInfo + " idx " + languageCode + ": "), CACHE_SIZE); if (dict.dictFileVersion >= 7) { int count = StringUtil.readVarInt(raf); stoplist = new HashSet(count); @@ -244,7 +244,8 @@ public final class Index implements RAFSerializable { } else if (index.dict.dictFileVersion >= 6) { this.htmlEntries = CachingList.create( RAFList.create((RandomAccessFile)raf, index.dict.htmlEntryIndexSerializer, - ((RandomAccessFile)raf).getFilePointer(), index.dict.dictFileVersion), 1); + ((RandomAccessFile)raf).getFilePointer(), index.dict.dictFileVersion, + index.dict.dictInfo + " htmlEntries: "), 1); } else { this.htmlEntries = Collections.emptyList(); } -- 2.43.0