From 877e89f8901aeb9e8824d6d168e9631d8c5949e2 Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Sun, 13 Oct 2019 23:41:47 +0200
Subject: [PATCH] Add type of verification to metric
---
.../core/dmn/verification/metrics/Metric.java | 14 +++++++++++---
1 file changed, 11 insertions(+), 3 deletions(-)
diff --git a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/metrics/Metric.java b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/metrics/Metric.java
index 805537cc..c0f682ea 100644
--- a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/metrics/Metric.java
+++ b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/metrics/Metric.java
@@ -55,14 +55,22 @@ public class Metric implements Serializable {
/ NANO_SECONDS_PER_SECOND;
}
- /**
- * Get the total execution time in ns.
- */
+ /** Get the total execution time in ns. */
@JsonProperty("totalExecutionTime")
public long getTotalExecutionTime() {
return executionTimes.stream().mapToLong(Long::longValue).sum();
}
+ /**
+ * Get the {@link VerificationType}.
+ *
+ * @return the {@link VerificationType}
+ */
+ @JsonProperty("type")
+ public VerificationType getType() {
+ return type;
+ }
+
/**
* Get the total execution time in ms.
*
--
GitLab