From 522d00aa3c6a4f19fc7ea785b496a04449af8fb7 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 20 Nov 2011 23:22:00 +0000
Subject: [PATCH] Tweak warning note in PrismCL.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4182 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/CHANGELOG.txt          |  3 ++-
 prism/src/prism/PrismCL.java | 16 +++++++++++-----
 2 files changed, 13 insertions(+), 6 deletions(-)

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index dfebf680..e43a2964 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -16,7 +16,8 @@ Changes:
 Ongoing changes:
 
 * CSV format for results export (GUI, not CL yet)
-* Handling of verbosity/warnings in log
+* Handling of verbosity in log: PrismLog updated, not used yet
+* Handling of warnings in log
 * Properties can be named, by prefixing with "name":, and reference each other
 * CTL AG/EF
 
diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index b4315626..d5b99b23 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -1052,12 +1052,18 @@ public class PrismCL
 	{
 		// clear up and close down
 		prism.closeDown(true);
-		mainLog.println();
-		if (mainLog.getNumberOfWarnings() > 0)
-		{
-			mainLog.println("Note that " + mainLog.getNumberOfWarnings()
-					+ " warning(s) were produced during computation");
+		// notify about any warnings
+		int numWarnings = mainLog.getNumberOfWarnings();
+		if (numWarnings > 0) {
+			mainLog.println("\n-------------------------------------------");
+			mainLog.print("\nNote: There ");
+			if (numWarnings == 1)
+				mainLog.print("was 1 warning");
+			else
+				mainLog.print("were " + numWarnings + " warnings");
+			mainLog.println(" during computation.");
 		}
+		mainLog.println();
 	}
 
 	/**