Make name of command-line executable (as displayed by -help message) configurable.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11687 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/Prism.java

@@ -646,6 +646,15 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		return "PRISM";
 	}
 
+	/**
+	 * Get the name of the command-line version of this tool.
+	 * ("prism" by default, extensions might override) 
+	 */
+	public static String getCommandLineName()
+	{
+		return "prism";
+	}
+
 	/**
 	 * Get current version number, as a string. 
 	 */

prism/src/prism/PrismCL.java

@@ -2044,7 +2044,7 @@ public class PrismCL implements PrismModelListener
 
 		// make sure a model file is specified
 		if (modelFilename == null) {
-			mainLog.println("Usage: prism [options] <model-file> [<properties-file>] [more-options]");
+			mainLog.println("Usage: " + Prism.getCommandLineName() + " [options] <model-file> [<properties-file>] [more-options]");
 			mainLog.println("\nFor more information, type: prism -help");
 			exit();
 		}