Allow "qr" as well as "qcrun"

nickbattle · Nov 28, 2023 · a3d02be · a3d02be
1 parent 2987d4a
commit a3d02be
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/examples/quickcheck/src/main/java/quickcheck/commands/QCRunCommand.java b/examples/quickcheck/src/main/java/quickcheck/commands/QCRunCommand.java
@@ -46,7 +46,7 @@ public QCRunCommand(String line)
 	{
 		super(line);
 
-		if (!argv[0].equals("qcrun"))
+		if (!argv[0].equals("qcrun") && !argv[0].equals("qr"))
 		{
 			throw new IllegalArgumentException(USAGE);
 		}

diff --git a/examples/quickcheck/src/main/java/quickcheck/plugin/QuickCheckLSPPlugin.java b/examples/quickcheck/src/main/java/quickcheck/plugin/QuickCheckLSPPlugin.java
@@ -76,6 +76,7 @@ public AnalysisCommand getCommand(String line)
 				return new QuickCheckLSPCommand(line);
 
 			case "qcrun":
+			case "qr":
 				return new QCRunLSPCommand(line);
 		}
 

diff --git a/examples/quickcheck/src/main/java/quickcheck/plugin/QuickCheckPlugin.java b/examples/quickcheck/src/main/java/quickcheck/plugin/QuickCheckPlugin.java
@@ -63,6 +63,7 @@ public AnalysisCommand getCommand(String line)
 				return new QuickCheckCommand(line);
 
 			case "qcrun":
+			case "qr":
 				return new QCRunCommand(line);
 		}