diff --git a/src/main/java/de/uni_hamburg/corpora/gui/Config.java b/src/main/java/de/uni_hamburg/corpora/gui/Config.java index 814c37bba09beb67c986d204d1574705e0818665..1c2da2fa7c5361af707bc305cfa6ad2027a3507d 100644 --- a/src/main/java/de/uni_hamburg/corpora/gui/Config.java +++ b/src/main/java/de/uni_hamburg/corpora/gui/Config.java @@ -26,6 +26,9 @@ public class Config { @JsonProperty("parameters") Map<String,String> parameters = new HashMap<>(); + @JsonProperty("report-limit") + int reportLimit = 0; + public Config() { } @@ -90,12 +93,21 @@ public class Config { return props; } + public int getReportLimit() { + return reportLimit; + } + + public void setReportLimit(int reportLimit) { + this.reportLimit = reportLimit; + } + @Override public String toString() { return "Config{" + "name='" + name + '\'' + ", functions=" + String.join(",", functions) + ", params=" + parameters + + ", report-limit=" + reportLimit + '}'; } } diff --git a/src/main/java/de/uni_hamburg/corpora/gui/CorpusThread.java b/src/main/java/de/uni_hamburg/corpora/gui/CorpusThread.java index 7237305c5921ac32e1ef153bfbad38a255b3d248..2a04dbe2696411cbd72767f39c44bfe546f3c335 100644 --- a/src/main/java/de/uni_hamburg/corpora/gui/CorpusThread.java +++ b/src/main/java/de/uni_hamburg/corpora/gui/CorpusThread.java @@ -32,7 +32,8 @@ class CorpusThread extends Thread { Function<String,Void> callbackFunction; CorpusThread(String name, String infile, String outfile, List<String> functions, Properties properties, - Function<String, Void> callback) { + int reportLimit, Function<String, Void> callback) { + Report.reportLimit = reportLimit; this.corpusName=name; if (infile.equals("tmp")) this.inFile = System.getProperty("java.io.tmpdir") + "/corpus-files"; diff --git a/src/main/java/de/uni_hamburg/corpora/gui/GUI.java b/src/main/java/de/uni_hamburg/corpora/gui/GUI.java index 00b406e36371c50c8df8499a1f36b6f0008faa87..184f7537f3d3c5431100b48b8e97b1eb46eaa628 100644 --- a/src/main/java/de/uni_hamburg/corpora/gui/GUI.java +++ b/src/main/java/de/uni_hamburg/corpora/gui/GUI.java @@ -109,6 +109,7 @@ public class GUI { , "tmp" // write report to tmp , config.getFunctions() , config.getParametersAsProperties() + , config.reportLimit , callback); worker.start(); } catch (IOException e) {