Add source to info table in RTF export
Change-Id: I3b6dd9d07cab581c411ffdc40fc415744aaf2bbc
diff --git a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/Exporter.java b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/Exporter.java
index a54460f..72e4b0e 100644
--- a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/Exporter.java
+++ b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/Exporter.java
@@ -22,6 +22,9 @@
public void setQueryString (String s);
public String getCorpusQueryString ();
public void setCorpusQueryString (String s);
+ public String getSource ();
+ public void setSource (String h, String p);
+
public int getTotalResults ();
public boolean hasTimeExceeded ();
public void setMaxResults (int m);
diff --git a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/IdsExportService.java b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/IdsExportService.java
index c36bb7c..b9370aa 100644
--- a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/IdsExportService.java
+++ b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/IdsExportService.java
@@ -219,6 +219,7 @@
exp.setMaxResults(maxResults);
exp.setQueryString(q);
exp.setCorpusQueryString(cq);
+ exp.setSource(host, path);
// set filename based on query (if not already set)
if (fname != null) {
diff --git a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/MatchAggregator.java b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/MatchAggregator.java
index e19bd98..c7b447f 100644
--- a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/MatchAggregator.java
+++ b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/MatchAggregator.java
@@ -41,7 +41,7 @@
private File file;
private JsonNode meta, query, collection;
- private String fname, queryString, corpusQueryString;
+ private String fname, queryString, corpusQueryString, src;
private boolean timeExceeded = false;
private int totalResults = -1;
private int maxResults = -1;
@@ -91,6 +91,21 @@
public String getCorpusQueryString () {
return this.corpusQueryString;
};
+
+ public void setSource (String host, String path) {
+ StringBuilder s = new StringBuilder(32);
+ if (host != null)
+ s.append(host);
+
+ if (path != null && path.length() > 0)
+ s.append('/').append(path);
+
+ this.src = s.toString();
+ };
+
+ public String getSource () {
+ return this.src;
+ };
public void setMeta (JsonNode meta) {
this.meta = meta;
diff --git a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/RtfExporter.java b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/RtfExporter.java
index 52e7114..d47a32d 100644
--- a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/RtfExporter.java
+++ b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/RtfExporter.java
@@ -175,6 +175,10 @@
this.addInfoRow(w, "Fetched", this.getMaxResults());
};
+ if (this.getSource() != null) {
+ this.addInfoRow(w, "Source", this.getSource());
+ };
+
this.addInfoRow(w, "Export-Plugin", this.getVersion().toString());
};