| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2017-10-31 16:02:56 +0100 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2017-10-31 16:02:56 +0100 |
| commit | 884b8a47fe7fc18e1c4427193cb86be53c24ff41 (patch) | |
| tree | fb0068d1fad32bf6a8beac11bc25e980df038f8b | |
| parent | a9ee742be71040138c6414a63b7327e05b1723fe (diff) | |
Adds error when no data is fed to parser.
| -rw-r--r-- | prop-to-pred/src/ParserEntry.java | 8 |
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); |


