From c8c4913a89a670d431534e7fcde653823817d59a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 26 Jan 2012 20:29:51 +0000
Subject: [PATCH] Switch remaining warning messages to new
 PrismLog.printWarning method.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4489 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/SBML2Prism.java      | 22 ++++++++++++++++------
 prism/src/pta/PTAAbstractRefine.java |  4 ++--
 2 files changed, 18 insertions(+), 8 deletions(-)

diff --git a/prism/src/prism/SBML2Prism.java b/prism/src/prism/SBML2Prism.java
index 5aa6ff98..66c0da75 100644
--- a/prism/src/prism/SBML2Prism.java
+++ b/prism/src/prism/SBML2Prism.java
@@ -37,6 +37,7 @@ import prism.Prism;
 
 public class SBML2Prism implements EntityResolver
 {
+	private PrismLog mainLog = null;
 	private static PrismParser prismParser;
 	private String compartmentName, speciesId, initialAmountString;
 	private double compartmentSize;
@@ -64,6 +65,15 @@ public class SBML2Prism implements EntityResolver
 		}
 	}
 	
+	public SBML2Prism()
+	{
+		this(new PrismFileLog("stdout"));
+	}
+	
+	public SBML2Prism(PrismLog mainLog)
+	{
+		this.mainLog = mainLog;
+	}
 	
 	// Main method: load SBML file, process and sent resulting PRISM file to stdout
 	
@@ -365,12 +375,12 @@ public class SBML2Prism implements EntityResolver
 			species = speciesList.get(i);
 			s = species.id;
 			s2 = convertToValidPrismIdent(s);
-			if (!s.equals(s2)) System.err.println("Warning: Converted species id \""+s+"\" to \""+s2+"\" (invalid PRISM identifier)");
+			if (!s.equals(s2)) mainLog.printWarning("Converted species id \""+s+"\" to \""+s2+"\" (invalid PRISM identifier)");
 			if (!modulesNames.add(s2)) {
 				j = 2;
 				while (!modulesNames.add(s2+"_"+j)) j++;
 				s2 = s2+"_"+j;
-				System.err.println("Warning: Converted species id \""+s+"\" to \""+s2+"\" (duplicate PRISM identifiers)");
+				mainLog.printWarning("Converted species id \""+s+"\" to \""+s2+"\" (duplicate PRISM identifiers)");
 			}
 			species.prismName = s2;
 			prismIdents.add(s2);
@@ -382,12 +392,12 @@ public class SBML2Prism implements EntityResolver
 			parameter = parameterList.get(i);
 			s = parameter.name;
 			s2 = convertToValidPrismIdent(s);
-			if (!s.equals(s2)) System.err.println("Warning: Converted parameter id \""+s+"\" to \""+s2+"\" (invalid PRISM identifier)");
+			if (!s.equals(s2)) mainLog.printWarning("Converted parameter id \""+s+"\" to \""+s2+"\" (invalid PRISM identifier)");
 			if (!modulesNames.add(s2)) {
 				j = 2;
 				while (!prismIdents.add(s2+"_"+j)) j++;
 				s2 = s2+"_"+j;
-				System.err.println("Warning: Converted parameter id \""+s+"\" to \""+s2+"\" (duplicate PRISM identifiers)");
+				mainLog.printWarning("Converted parameter id \""+s+"\" to \""+s2+"\" (duplicate PRISM identifiers)");
 			}
 			parameter.prismName = s2;
 			prismIdents.add(s2);
@@ -401,12 +411,12 @@ public class SBML2Prism implements EntityResolver
 			for (j = 0; j < m; j++) {
 				s = reaction.parameters.get(j).name;
 				s2 = convertToValidPrismIdent(s);
-				if (!s.equals(s2)) System.err.println("Warning: Converted parameter id \""+s+"\" to \""+s2+"\" (invalid PRISM identifier)");
+				if (!s.equals(s2)) mainLog.printWarning("Converted parameter id \""+s+"\" to \""+s2+"\" (invalid PRISM identifier)");
 				if (!prismIdents.add(s2)) {
 					k = 2;
 					while (!prismIdents.add(s2+"_"+k)) k++;
 					s2 = s2+"_"+k;
-					System.err.println("Warning: Converted parameter id \""+s+"\" to \""+s2+"\" (duplicate PRISM identifiers)");
+					mainLog.printWarning("Converted parameter id \""+s+"\" to \""+s2+"\" (duplicate PRISM identifiers)");
 				}
 				reaction.parameters.get(j).prismName = s2;
 			}
diff --git a/prism/src/pta/PTAAbstractRefine.java b/prism/src/pta/PTAAbstractRefine.java
index 3873c4b2..963f924a 100644
--- a/prism/src/pta/PTAAbstractRefine.java
+++ b/prism/src/pta/PTAAbstractRefine.java
@@ -149,7 +149,7 @@ public class PTAAbstractRefine extends QuantAbstractRefine
 		// Skip build of state if no transitions (should just be target states)
 		if (numTransitions == 0) {
 			if (!target.get(src))
-				mainLog.println("Warning: Building STPG state (" + src + ") with no transitions");
+				mainLog.printWarning("Building STPG state (" + src + ") with no transitions");
 			return;
 		}
 
@@ -360,7 +360,7 @@ public class PTAAbstractRefine extends QuantAbstractRefine
 		}
 		// Check we actually got a strict split of the partition
 		if (partition.size() <= 1) {
-			mainLog.println("Warning: failed to split state #" + splitState + "=" + lzSplit);
+			mainLog.printWarning("failed to split state #" + splitState + "=" + lzSplit);
 			return 1;
 		}