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

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

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];