-package com.hughes.android.dictionary.engine;
-import com.hughes.util.raf.RAFListSerializer;
-import com.hughes.util.raf.RAFSerializable;
-import com.ibm.icu.text.Transliterator;
+package com.hughes.android.dictionary.engine;
+import java.io.DataInput;
+import java.io.DataOutput;
import java.io.IOException;
import java.io.PrintStream;
-import java.io.RandomAccessFile;
+import java.lang.ref.SoftReference;
+import java.nio.charset.StandardCharsets;
import java.util.List;
import java.util.regex.Pattern;
-public class HtmlEntry extends AbstractEntry implements RAFSerializable<HtmlEntry>, Comparable<HtmlEntry> {
-
- public final String title;
- public String html;
-
- public HtmlEntry(final EntrySource entrySource, String title) {
- super(entrySource);
- this.title = title;
- }
-
- public HtmlEntry(Dictionary dictionary, RandomAccessFile raf, final int index) throws IOException {
- super(dictionary, raf, index);
- title = raf.readUTF();
- html = raf.readUTF();
- }
- @Override
- public void write(RandomAccessFile raf) throws IOException {
- super.write(raf);
- raf.writeUTF(title);
- raf.writeUTF(html);
- }
-
- @Override
- public void addToDictionary(Dictionary dictionary) {
- assert index == -1;
- dictionary.htmlEntries.add(this);
- index = dictionary.htmlEntries.size() - 1;
- }
-
- @Override
- public RowBase CreateRow(int rowIndex, Index dictionaryIndex) {
- return new Row(this.index, rowIndex, dictionaryIndex);
- }
-
-
- static final class Serializer implements RAFListSerializer<HtmlEntry> {
-
- final Dictionary dictionary;
-
- Serializer(Dictionary dictionary) {
- this.dictionary = dictionary;
+import com.hughes.util.DataInputBuffer;
+import com.hughes.util.StringUtil;
+import com.hughes.util.raf.RAFListSerializer;
+import com.hughes.util.raf.RAFListSerializerSkippable;
+import com.ibm.icu.text.Transliterator;
+
+public class HtmlEntry extends AbstractEntry implements Comparable<HtmlEntry> {
+
+ // Title is not HTML escaped.
+ public final String title;
+ private final LazyHtmlLoader lazyHtmlLoader;
+ @SuppressWarnings("WeakerAccess")
+ public String html;
+
+ public HtmlEntry(final EntrySource entrySource, String title) {
+ super(entrySource);
+ this.title = title;
+ lazyHtmlLoader = null;
}
- @Override
- public HtmlEntry read(RandomAccessFile raf, final int index) throws IOException {
- return new HtmlEntry(dictionary, raf, index);
+ public HtmlEntry(Dictionary dictionary, DataInput raf, final int index)
+ throws IOException {
+ super(dictionary, raf, index);
+ title = raf.readUTF();
+ lazyHtmlLoader = new LazyHtmlLoader(raf, dictionary.htmlData, index);
+ html = null;
+ }
+
+ private void writeBase(DataOutput raf) throws IOException {
+ super.write(raf);
+ raf.writeUTF(title);
+ }
+
+ private void writeData(DataOutput raf) throws IOException {
+ final byte[] bytes = getHtml().getBytes(StandardCharsets.UTF_8);
+ StringUtil.writeVarInt(raf, bytes.length);
+ raf.write(bytes);
+ }
+
+ private static DataInputBuffer readData(DataInput raf) throws IOException {
+ int len = StringUtil.readVarInt(raf);
+ return ((DataInputBuffer)raf).slice(len);
+ }
+
+ String getHtml() {
+ return html != null ? html : lazyHtmlLoader.getHtml();
}
@Override
- public void write(RandomAccessFile raf, HtmlEntry t) throws IOException {
- t.write(raf);
- }
- };
-
- public String getRawText(final boolean compact) {
- return title + ":\n" + html;
- }
-
-
- @Override
- public int compareTo(HtmlEntry another) {
- if (title.compareTo(another.title) != 0) {
- return title.compareTo(another.title);
- }
- return html.compareTo(another.html);
- }
-
- @Override
- public String toString() {
- return getRawText(false);
- }
-
- // --------------------------------------------------------------------
-
-
- public static class Row extends RowBase {
-
- boolean isExpanded = false;
-
- Row(final RandomAccessFile raf, final int thisRowIndex,
- final Index index) throws IOException {
- super(raf, thisRowIndex, index);
- }
-
- Row(final int referenceIndex, final int thisRowIndex,
- final Index index) {
- super(referenceIndex, thisRowIndex, index);
- }
-
+ public void addToDictionary(Dictionary dictionary) {
+ assert index == -1;
+ dictionary.htmlEntries.add(this);
+ index = dictionary.htmlEntries.size() - 1;
+ }
+
@Override
- public String toString() {
- return getRawText(false);
+ public RowBase CreateRow(int rowIndex, Index dictionaryIndex) {
+ return new Row(this.index, rowIndex, dictionaryIndex);
}
- public HtmlEntry getEntry() {
- return index.dict.htmlEntries.get(referenceIndex);
+ static final class Serializer implements RAFListSerializerSkippable<HtmlEntry> {
+
+ final Dictionary dictionary;
+
+ Serializer(Dictionary dictionary) {
+ this.dictionary = dictionary;
+ }
+
+ @Override
+ public HtmlEntry read(DataInput raf, final int index) throws IOException {
+ return new HtmlEntry(dictionary, raf, index);
+ }
+
+ @Override
+ public void skip(DataInput raf, final int index) throws IOException {
+ if (dictionary.dictFileVersion >= 7)
+ {
+ StringUtil.readVarInt(raf);
+ }
+ else
+ {
+ raf.skipBytes(2);
+ }
+ int l = raf.readUnsignedShort();
+ raf.skipBytes(l);
+ }
+
+ @Override
+ public void write(DataOutput raf, HtmlEntry t) throws IOException {
+ t.writeBase(raf);
+ }
}
-
- @Override
- public void print(PrintStream out) {
- final HtmlEntry entry = getEntry();
- out.println(entry);
+
+ static final class DataSerializer implements RAFListSerializer<HtmlEntry> {
+ @Override
+ public HtmlEntry read(DataInput raf, final int index) {
+ assert false;
+ return null;
+ }
+
+ @Override
+ public void write(DataOutput raf, HtmlEntry t) throws IOException {
+ t.writeData(raf);
+ }
+ }
+
+ static final class DataDeserializer implements RAFListSerializer<DataInputBuffer> {
+ @Override
+ public DataInputBuffer read(DataInput raf, final int index) throws IOException {
+ return readData(raf);
+ }
+
+ @Override
+ public void write(DataOutput raf, DataInputBuffer t) {
+ assert false;
+ }
+ }
+
+ private String getRawText(final boolean compact) {
+ return title + ":\n" + getHtml();
}
@Override
- public String getRawText(boolean compact) {
- final HtmlEntry entry = getEntry();
- return entry.getRawText(compact);
+ public int compareTo(/*@NonNull*/ HtmlEntry another) {
+ if (title.compareTo(another.title) != 0) {
+ return title.compareTo(another.title);
+ }
+ return getHtml().compareTo(another.getHtml());
}
@Override
- public RowMatchType matches(final List<String> searchTokens, final Pattern orderedMatchPattern, final Transliterator normalizer, final boolean swapPairEntries) {
- final String text = normalizer.transform(getRawText(false));
- if (orderedMatchPattern.matcher(text).find()) {
- return RowMatchType.ORDERED_MATCH;
- }
- for (int i = searchTokens.size() - 1; i >= 0; --i) {
- final String searchToken = searchTokens.get(i);
- if (!text.contains(searchToken)) {
- return RowMatchType.NO_MATCH;
- }
- }
- return RowMatchType.BAG_OF_WORDS_MATCH;
- }
-
- }
+ public String toString() {
+ return getRawText(false);
+ }
+
+ // --------------------------------------------------------------------
+
+ public static class Row extends RowBase {
+
+ Row(final DataInput raf, final int thisRowIndex,
+ final Index index, int extra) throws IOException {
+ super(raf, thisRowIndex, index, extra);
+ }
+
+ Row(final int referenceIndex, final int thisRowIndex,
+ final Index index) {
+ super(referenceIndex, thisRowIndex, index);
+ }
+
+ @Override
+ public String toString() {
+ return getRawText(false);
+ }
+
+ public HtmlEntry getEntry() {
+ return index.dict.htmlEntries.get(referenceIndex);
+ }
+
+ @Override
+ public void print(PrintStream out) {
+ final HtmlEntry entry = getEntry();
+ out.println("See also HtmlEntry:" + entry.title);
+ }
+
+ @Override
+ public String getRawText(boolean compact) {
+ final HtmlEntry entry = getEntry();
+ return entry.getRawText(compact);
+ }
+
+ @Override
+ public RowMatchType matches(final List<String> searchTokens,
+ final Pattern orderedMatchPattern, final Transliterator normalizer,
+ final boolean swapPairEntries) {
+ final String text = normalizer.transform(getRawText(false));
+ if (orderedMatchPattern.matcher(text).find()) {
+ return RowMatchType.ORDERED_MATCH;
+ }
+ for (int i = searchTokens.size() - 1; i >= 0; --i) {
+ final String searchToken = searchTokens.get(i);
+ if (!text.contains(searchToken)) {
+ return RowMatchType.NO_MATCH;
+ }
+ }
+ return RowMatchType.BAG_OF_WORDS_MATCH;
+ }
+ }
+
+ public static String htmlBody(final List<HtmlEntry> htmlEntries, final String indexShortName) {
+ final StringBuilder result = new StringBuilder();
+ for (final HtmlEntry htmlEntry : htmlEntries) {
+ final String titleEscaped = StringUtil.escapeUnicodeToPureHtml(htmlEntry.title);
+ result.append(String.format("<h1><a href=\"%s\">%s</a></h1>\n<p>%s\n",
+ formatQuickdicUrl(indexShortName, htmlEntry.title), titleEscaped,
+ htmlEntry.getHtml()));
+ }
+ return result.toString();
+ }
+
+ @SuppressWarnings("WeakerAccess")
+ public static String formatQuickdicUrl(final String indexShortName, final String text) {
+ assert !indexShortName.contains(":");
+ assert text.length() > 0;
+ StringBuilder s = new StringBuilder("q://d?");
+ s.append(indexShortName);
+ s.append("&");
+ s.append(StringUtil.encodeForUrl(text));
+ return s.toString();
+ }
+
+ public static boolean isQuickdicUrl(String url) {
+ return url.startsWith("q://d?");
+ }
+
+ // --------------------------------------------------------------------
+
+ @SuppressWarnings("WeakerAccess")
+ public static final class LazyHtmlLoader {
+ final DataInputBuffer buf;
+ final int numBytes;
+ final List<DataInputBuffer> data;
+ final int index;
+
+ // Not sure this volatile is right, but oh well.
+ volatile SoftReference<String> htmlRef = new SoftReference<>(null);
+
+ private LazyHtmlLoader(final DataInput inp, List<DataInputBuffer> data, int index) throws IOException {
+ this.data = data;
+ this.index = index;
+ if (data != null) {
+ buf = null;
+ this.numBytes = -1;
+ return;
+ }
+ numBytes = Math.min(inp.readInt(), 20 * 1024 * 1024);
+ int numZipBytes = Math.min(inp.readInt(), 20 * 1024 * 1024);
+ DataInputBuffer b = (DataInputBuffer)inp;
+ buf = b.slice(numZipBytes);
+ }
+
+ String getHtml() {
+ String html = htmlRef.get();
+ if (html != null) {
+ return html;
+ }
+ if (data != null) {
+ html = data.get(index).asString();
+ htmlRef = new SoftReference<>(html);
+ return html;
+ }
+ System.out.println("Loading Html: numBytes=" + numBytes + ", numZipBytes="
+ + buf.limit());
+ final byte[] zipBytes = new byte[buf.limit()];
+ buf.rewind();
+ buf.readFully(zipBytes);
+ try {
+ final byte[] bytes = StringUtil.unzipFully(zipBytes, numBytes);
+ html = new String(bytes, StandardCharsets.UTF_8);
+ } catch (IOException e) {
+ throw new RuntimeException("Dictionary HTML data corrupted", e);
+ }
+ htmlRef = new SoftReference<>(html);
+ return html;
+ }
+ }
}
projects / Dictionary.git / blobdiff