From 884b8a47fe7fc18e1c4427193cb86be53c24ff41 Mon Sep 17 00:00:00 2001 From: nsensfel Date: Tue, 31 Oct 2017 16:02:56 +0100 Subject: Adds error when no data is fed to parser. --- prop-to-pred/src/ParserEntry.java | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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); -- cgit v1.2.3-70-g09d2