Check args.

HarvardPL · Nov 25, 2019 · 02ad3b8 · 02ad3b8
1 parent f6d8239
commit 02ad3b8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/main/java/edu/harvard/seas/pl/dminor_in_formulog/Main.java b/src/main/java/edu/harvard/seas/pl/dminor_in_formulog/Main.java
@@ -33,6 +33,9 @@
 public class Main {
 
 	public static void main(String[] args) throws FileNotFoundException, IOException {
+		if (args.length != 1) {
+			throw new IllegalArgumentException("Expected a single argument (the Dminor file to process).");
+		}
 		String file = args[0];
 		Module mod = Extractor.extract(new FileReader(file));
 		Map<String, List<String[]>> db = Relationizer.relationize(mod);