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

@@ -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);
 	}