Adds messages to follow the framework's flow.

3 files changed, 19 insertions, 1 deletions

diff --git a/instr-to-kodkod/src/Main.java b/instr-to-kodkod/src/Main.java
index 0b1d2e4..0719679 100644
--- a/instr-to-kodkod/src/Main.java
+++ b/instr-to-kodkod/src/Main.java
@@ -31,6 +31,8 @@ public class Main
       {
          try
          {
+            System.out.println("Loading level file \"" + lvl + "\"...");
+
             VHDLLevel.add_to_model(MODEL, lvl);
          }
          catch (final Exception e)
@@ -59,6 +61,13 @@ public class Main
 
       try
       {
+         System.out.println
+         (
+            "Loading property file \""
+            + PARAMETERS.get_property_file()
+            + "\"..."
+         );
+
          return pro.generate_formula();
       }
       catch (final IOException e)
@@ -81,6 +90,8 @@ public class Main
       {
          try
          {
+            System.out.println("Loading model file \"" + mod + "\"...");
+
             MODEL.parse_file(mod);
          }
          catch (final Exception e)
diff --git a/instr-to-kodkod/src/VHDLPredicate.java b/instr-to-kodkod/src/VHDLPredicate.java
index 210dd7e..3605e76 100644
--- a/instr-to-kodkod/src/VHDLPredicate.java
+++ b/instr-to-kodkod/src/VHDLPredicate.java
@@ -58,6 +58,8 @@ public class VHDLPredicate
          }
 
          is_used = true;
+
+         System.out.println("Enabling predicate: " + name);
       }
 
       return as_relation;
diff --git a/instr-to-kodkod/src/VHDLType.java b/instr-to-kodkod/src/VHDLType.java
index 73cd9cf..58b0d1e 100644
--- a/instr-to-kodkod/src/VHDLType.java
+++ b/instr-to-kodkod/src/VHDLType.java
@@ -35,7 +35,12 @@ public class VHDLType
 
    public void flag_as_used ()
    {
-      is_used = true;
+      if (!is_used)
+      {
+         System.out.println("Enabling type: " + name);
+
+         is_used = true;
+      }
    }
 
    public boolean is_used ()