| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | src/hastabel2idp/Main.java | 7 |
2 files changed, 8 insertions, 1 deletions
@@ -81,7 +81,7 @@ $(BIN_DIR): $(RUN_SCRIPT): Makefile echo "#!/bin/sh" > $@ - echo "$(JAVA) -cp \"$(CLASSPATH)\" hastabel2idp.Main $$*" >> $@ + echo "$(JAVA) -cp \"$(CLASSPATH)\" hastabel2idp.Main \$$*" >> $@ chmod +x $@ ##### For my private use... diff --git a/src/hastabel2idp/Main.java b/src/hastabel2idp/Main.java index 5013c0c..f8bea8d 100644 --- a/src/hastabel2idp/Main.java +++ b/src/hastabel2idp/Main.java @@ -11,6 +11,8 @@ public class Main final Parameters params; final World world; + System.out.println("#### HaStABeL to IDP ####"); + System.out.println("# Parsing parameters..."); params = new Parameters(args); if (!params.are_valid()) @@ -40,6 +42,7 @@ public class Main } } + System.out.println("# Modeling graphs in first-order..."); world.ensure_first_order(); if (!world.is_valid()) @@ -47,6 +50,7 @@ public class Main return; } + System.out.println("# Loading property..."); try { world.load_property(params.get_property_file()); @@ -63,12 +67,15 @@ public class Main world.invalidate(); } + + System.out.println("# Done."); } private static void load_file (final World world, final String filename) { try { + System.out.println("# Loading \"" + filename + "\"..."); world.load(filename); } catch (final IOException ioe) |