Improves error reports for the property.

1 files changed, 12 insertions, 0 deletions

diff --git a/instr-to-kodkod/src/Parameters.java b/instr-to-kodkod/src/Parameters.java
index 81c9dba..c3fcd51 100644
--- a/instr-to-kodkod/src/Parameters.java
+++ b/instr-to-kodkod/src/Parameters.java
@@ -5,6 +5,7 @@ public class Parameters
 {
    private final List<String> level_files;
    private final List<String> model_files;
+   private final List<String> map_files;
    private final String property_file;
    private final String var_prefix;
 
@@ -25,6 +26,7 @@ public class Parameters
          + "\t- Property files have a \".pro\" extension.\n"
          + "\t- Model files have a \".mod\" extension.\n"
          + "\t- Level files have a \".lvl\" extension.\n"
+         + "\t- Map files have a \".map\" extension.\n"
          + "\t- The files may be given in any order."
       );
    }
@@ -36,6 +38,7 @@ public class Parameters
 
       level_files = new ArrayList<String>();
       model_files = new ArrayList<String>();
+      map_files = new ArrayList<String>();
 
       if (args.length < 2)
       {
@@ -65,6 +68,10 @@ public class Parameters
          {
             model_files.add(args[i]);
          }
+         else if (args[i].endsWith(".map"))
+         {
+            map_files.add(args[i]);
+         }
          else if (args[i].endsWith(".pro"))
          {
             if (has_pro_file)
@@ -121,6 +128,11 @@ public class Parameters
       return model_files;
    }
 
+   public List<String> get_map_files ()
+   {
+      return model_files;
+   }
+
    public String get_property_file ()
    {
       return property_file;