From 2752fbb6d087d9a3f6a0124cda085904428b5f95 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 29 Jun 2012 18:41:51 +0000
Subject: [PATCH] Re-factor SBML-to-PRISM translator.

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

diff --git a/prism/src/prism/SBML2Prism.java b/prism/src/prism/SBML2Prism.java
index 33a1ac6c..02719ea1 100644
--- a/prism/src/prism/SBML2Prism.java
+++ b/prism/src/prism/SBML2Prism.java
@@ -2,7 +2,7 @@
 //	
 //	Copyright (c) 2002-
 //	Authors:
-//	* Dave Parker <david.parker@comlab.ox.ac.uk> (University of Oxford, formerly University of Birmingham)
+//	* Dave Parker <d.a.parker@cs.bham.ac.uk> (University of Birmingham/Oxford)
 //	
 //------------------------------------------------------------------------------
 //	
@@ -89,15 +89,15 @@ public class SBML2Prism extends Reactions2Prism implements EntityResolver
 	/**
 	 * Main method: load SBML file, process and send resulting PRISM file to stdout
 	 */
-	public void translate(File f) throws PrismException
+	public void translate(File file) throws PrismException
 	{
 		// Read in SBML
-		Document doc = parseSBML(f);
+		Document doc = parseSBML(file);
 		checkSBMLVersion(doc);
 		extractModelFromSBML(doc);
 		// Generate PRISM code
 		prismCodeHeader = "// File generated by automatic SBML-to-PRISM conversion\n";
-		prismCodeHeader += "// Original SBML file: " + f.getPath() + "\n\n";
+		prismCodeHeader += "// Original SBML file: " + file.getPath() + "\n\n";
 		convertToPRISMCode(System.out);
 	}