Require base/input propositions in order for games to pass validation,

since they're part of the official GDL spec.
Whisprin · Nov 19, 2013 · 1ba33d0 · 1ba33d0
1 parent 01e13f5
commit 1ba33d0
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/org/ggp/base/validator/BasesInputsValidator.java b/src/org/ggp/base/validator/BasesInputsValidator.java
@@ -48,6 +48,13 @@ public void checkValidity(Game theGame) throws ValidatorException {
 			Set<GdlSentence> bases = prover.askAll(basesQuery, Collections.<GdlSentence>emptySet());
 			GdlSentence inputsQuery = GdlPool.getRelation(INPUT, new GdlTerm[] {X, Y});
 			Set<GdlSentence> inputs = prover.askAll(inputsQuery, Collections.<GdlSentence>emptySet());
+
+			if (bases.size() == 0) {
+				throw new ValidatorException("Could not find base propositions.");
+			} else if (inputs.size() == 0) {
+				throw new ValidatorException("Could not find input propositions.");
+			}
+
 			Set<GdlSentence> truesFromBases = new HashSet<GdlSentence>();
 			for (GdlSentence base : bases) {
 				truesFromBases.add(GdlPool.getRelation(TRUE, base.getBody()));