From 51807e044edfe3bd77eb683cf0271b9f1b6aab88 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 26 Jan 2012 21:37:43 +0000
Subject: [PATCH] Add -pf as a command-line switch alias for -pctl/-csl and add
 .props as a properties file extension (in GUI).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4495 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java                               | 4 ++--
 prism/src/userinterface/properties/GUIMultiProperties.java | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 4fd07138..bff695b4 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -1124,7 +1124,7 @@ public class PrismCL
 				}
 
 				// property/properties given in command line
-				else if (sw.equals("pctl") || sw.equals("csl")) {
+				else if (sw.equals("pf") || sw.equals("pctl") || sw.equals("csl")) {
 					if (i < args.length - 1) {
 						propertyString = args[++i];
 					} else {
@@ -1939,7 +1939,7 @@ public class PrismCL
 		mainLog.println("-help .......................... Display this help message");
 		mainLog.println("-version ....................... Display tool version");
 		mainLog.println();
-		mainLog.println("-pctl <prop> (or -csl <prop>) .. Model check the PCTL/CSL property <prop>");
+		mainLog.println("-pf <props> (or -pctl or -csl) . Model check properties <props>");
 		mainLog.println("-property <n> (or -prop <n>) ... Only model check property <n>");
 		mainLog.println("-const <vals> .................. Define constant values as <vals> (e.g. for experiments)");
 		mainLog.println("-steadystate (or -ss) .......... Compute steady-state probabilities (D/CTMCs only)");
diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 44aaaf95..461af14f 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -1562,7 +1562,8 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 		createPopups();
 		//file filters
 		propsFilter = new GUIPrismFileFilter[1];
-		propsFilter[0] = new GUIPrismFileFilter("PRISM properties (*.pctl, *.csl)");
+		propsFilter[0] = new GUIPrismFileFilter("PRISM properties (*.props, *.pctl, *.csl)");
+		propsFilter[0].addExtension("props");
 		propsFilter[0].addExtension("pctl");
 		propsFilter[0].addExtension("csl");
 		resultsFilter = new GUIPrismFileFilter[2];