From 92c1ef965146d976f824cf0639b3bbe52ec3452d Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 6 Mar 2018 11:12:40 +0100
Subject: [PATCH] PrismFileLog: add getFileName()

---
 prism/src/prism/PrismFileLog.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prism/src/prism/PrismFileLog.java b/prism/src/prism/PrismFileLog.java
index 23538b88..88716299 100644
--- a/prism/src/prism/PrismFileLog.java
+++ b/prism/src/prism/PrismFileLog.java
@@ -123,6 +123,12 @@ public class PrismFileLog extends PrismLog
 		return fp;
 	}
 
+	/** Get the filename (or "stdout" if writing to standard output) */
+	public String getFileName()
+	{
+		return stdout ? "stdout" : filename;
+	}
+
 	@Override
 	public void flush()
 	{