From a858f1d7f4cc9cee322f2ceb911843584ba36e72 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 24 May 2018 22:24:11 +0200
Subject: Got it to load the model from hastabel.

---
 Makefile                   | 2 +-
 src/hastabel2idp/Main.java | 7 +++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 7403528..646c4bd 100644
--- a/Makefile
+++ b/Makefile
@@ -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)
-- 
cgit v0.12-29-g3973