From 0ccc7f57bee2867f05a2926a305977003dd15d1b Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 10:58:26 +0200
Subject: Adds messages to follow the framework's flow.

---
 instr-to-kodkod/src/Main.java          | 11 +++++++++++
 instr-to-kodkod/src/VHDLPredicate.java |  2 ++
 instr-to-kodkod/src/VHDLType.java      |  7 ++++++-
 3 files changed, 19 insertions(+), 1 deletion(-)

(limited to 'instr-to-kodkod/src')

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 ()
-- 
cgit v1.2.3-70-g09d2