aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2017-10-31 16:02:56 +0100
committernsensfel <SpamShield0@noot-noot.org>2017-10-31 16:02:56 +0100
commit884b8a47fe7fc18e1c4427193cb86be53c24ff41 (patch)
treefb0068d1fad32bf6a8beac11bc25e980df038f8b
parenta9ee742be71040138c6414a63b7327e05b1723fe (diff)
downloadtabellion-884b8a47fe7fc18e1c4427193cb86be53c24ff41.zip
tabellion-884b8a47fe7fc18e1c4427193cb86be53c24ff41.tar.bz2
Adds error when no data is fed to parser.
-rw-r--r--prop-to-pred/src/ParserEntry.java8
1 files changed, 7 insertions, 1 deletions
diff --git a/prop-to-pred/src/ParserEntry.java b/prop-to-pred/src/ParserEntry.java
index f10baf0..43c6658 100644
--- a/prop-to-pred/src/ParserEntry.java
+++ b/prop-to-pred/src/ParserEntry.java
@@ -66,7 +66,13 @@ public class ParserEntry
inferred_level_file.write(p.get_var_type());
inferred_level_file.write(")\n");
}
- /*/while */
+
+ if (ALL_ENTRIES.isEmpty())
+ {
+ System.err.println("No data was given through stdin...");
+
+ System.exit(-1);
+ }
inferred_level_file.write("(add_predicate _");
inferred_level_file.write(predicate_name);