From 97439a89b5439ce120e5bc2814251ce9dc513ce0 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 25 Jul 2017 14:45:05 +0200
Subject: Improves error reports for the property.

---
 instr-to-kodkod/src/Parameters.java | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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

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