From 90b49c3e647eac3f3ec792ab6f62ec447d51dbfb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 2 Jul 2012 10:18:43 +0000
Subject: [PATCH] Strip comments (commencing #) from reactions files.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5416 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ReactionsText2Prism.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prism/src/prism/ReactionsText2Prism.java b/prism/src/prism/ReactionsText2Prism.java
index dcfbd718..8b8de99a 100644
--- a/prism/src/prism/ReactionsText2Prism.java
+++ b/prism/src/prism/ReactionsText2Prism.java
@@ -121,6 +121,8 @@ public class ReactionsText2Prism extends Reactions2Prism
 			s = s.replaceFirst("/#/", "");
 			lineNum++;
 			while (s != null) {
+				// Strip comments
+				s = s.replaceFirst(" *#.*", "");
 				// Skip blank lines
 				s = s.trim();
 				if (s.length() > 0) {
@@ -216,6 +218,8 @@ public class ReactionsText2Prism extends Reactions2Prism
 							lineNum++;
 							if (s == null)
 								throw new PrismException("missing line in reaction definition");
+							// Strip comments
+							s = s.replaceFirst(" *#.*", "");
 							s = s.trim();
 							// Get kinetic law
 							// Irreversible case