From 5ce657090b8b938ff7600d4c34d58e84e26bdf6e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 22 Sep 2015 21:50:35 +0000 Subject: [PATCH] Make tool name ("PRISM") configurable. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10715 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 12 +++++++++++- prism/src/userinterface/GUIPrism.java | 2 +- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 09787e26..a77dafc5 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -649,6 +649,15 @@ public class Prism extends PrismComponent implements PrismSettingsListener // Get methods + /** + * Get the name of this tool. + * ("PRISM" by default, extensions might override) + */ + public static String getToolName() + { + return "PRISM"; + } + /** * Get current version number, as a string. */ @@ -1287,7 +1296,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener { boolean verbose = this.getSettings().getBoolean("PRISM_VERBOSE"); mainLog.setVerbosityLevel(verbose ? PrismLog.VL_ALL : PrismLog.VL_DEFAULT); - mainLog.print("PRISM\n=====\n"); + mainLog.print(getToolName() + "\n"); + mainLog.print(new String(new char[getToolName().length()]).replace("\0", "=") + "\n"); mainLog.print("\nVersion: " + getVersion() + "\n"); mainLog.print("Date: " + new java.util.Date() + "\n"); try { diff --git a/prism/src/userinterface/GUIPrism.java b/prism/src/userinterface/GUIPrism.java index 00ebed87..1debf8a4 100644 --- a/prism/src/userinterface/GUIPrism.java +++ b/prism/src/userinterface/GUIPrism.java @@ -382,7 +382,7 @@ public class GUIPrism extends JFrame } setJMenuBar(menuBar); - setTitle("PRISM " + prism.getVersion()); + setTitle(Prism.getToolName() + " " + Prism.getVersion()); setDefaultCloseOperation(javax.swing.JFrame.DO_NOTHING_ON_CLOSE); addWindowListener(new java.awt.event.WindowAdapter() {