From 74fb652c1663e3f89e65dbe8ddb5a1222d77ed2c Mon Sep 17 00:00:00 2001
From: "Lange, Dr. Herbert" <herbert.lange@uni-hamburg.de>
Date: Fri, 26 Aug 2022 19:03:43 +0200
Subject: [PATCH] add report-limit parameter to config
---
src/main/java/de/uni_hamburg/corpora/gui/Config.java | 12 ++++++++++++
.../de/uni_hamburg/corpora/gui/CorpusThread.java | 3 ++-
src/main/java/de/uni_hamburg/corpora/gui/GUI.java | 1 +
3 files changed, 15 insertions(+), 1 deletion(-)
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 814c37b..1c2da2f 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 7237305..2a04dbe 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 00b406e..184f753 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) {
--
GitLab