From a3ca4e80b6474cd44fb42f841c9689fb61491058 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Tue, 16 Jul 2024 19:42:06 +0200
Subject: [PATCH] add trace file path to log
---
src/main/java/de/tlc4b/TLC4B.java | 1 +
src/main/java/de/tlc4b/tlc/TLCResults.java | 14 +++++++++++++-
2 files changed, 14 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index f8042ef..880bd4d 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -162,6 +162,7 @@ public class TLC4B {
String trace = results.getTrace();
String tracefileName = machineFileNameWithoutFileExtension + ".tla.trace";
traceFile = createFile(mainfile.getParentFile(), tracefileName, trace, false);
+ results.addTraceFilePath(traceFile.getAbsolutePath());
println("Trace file '" + traceFile.getAbsolutePath() + "' created.");
}
diff --git a/src/main/java/de/tlc4b/tlc/TLCResults.java b/src/main/java/de/tlc4b/tlc/TLCResults.java
index aa3e4c3..4890b8b 100644
--- a/src/main/java/de/tlc4b/tlc/TLCResults.java
+++ b/src/main/java/de/tlc4b/tlc/TLCResults.java
@@ -27,7 +27,7 @@ public class TLCResults implements ToolGlobals {
private final ArrayList<String> violatedAssertions = new ArrayList<>();
private int lengthOfTrace;
- private String traceString;
+ private String traceString, traceFile;
private int numberOfDistinctStates;
private int numberOfTransitions;
@@ -42,6 +42,18 @@ public class TLCResults implements ToolGlobals {
return lengthOfTrace > 0;
}
+ public void addTraceFilePath(final String traceFile) {
+ this.traceFile = traceFile;
+ }
+
+ public String getTraceFilePath() {
+ if (this.hasTrace() && this.traceFile != null) {
+ return this.traceFile;
+ } else {
+ return null;
+ }
+ }
+
public LinkedHashMap<String, Long> getOperationCount() {
return operationsCount;
}
--
GitLab