From 6113f9bb0f756dcf5ff2294544dd7c70f13ee468 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 23 Aug 2016 13:12:26 +0000
Subject: [PATCH] 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   | 9 +++++++++
 prism/src/prism/PrismCL.java | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 86ebf923..8d496d8b 100644
--- a/prism/src/prism/Prism.java
+++ b/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. 
 	 */
diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 13942d7e..bc3504e8 100644
--- a/prism/src/prism/PrismCL.java
+++ b/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();
 		}