public class Parameters
{
   private final String levels_dir;
   private final String model_file;
   private final boolean are_valid;

   public static void print_usage ()
   {
      System.out.println
      (
         "Instr-to-kodkod\n"
         + "USAGE:\n"
         + "\tjava Main <LEVELS_DIR> <INSTRUCTIONS>\n"
         + "PARAMETERS:\n"
         + "\t<LEVELS_DIR>\tDirectory containing the level definitions.\n"
         + "\t<INSTRUCTIONS>\tInstruction file describing the model.\n"
         + "NOTES:\n"
         + "\tThe properties to be verified still have to be hand coded in the"
         + " source files (in Main.java)."
      );
   }

   public Parameters (String... args)
   {
      if (args.length != 2)
      {
         print_usage();

         levels_dir = new String();
         model_file = new String();
         are_valid = false;
      }
      else
      {
         levels_dir = args[0];
         model_file = args[1];
         are_valid = true;
      }
   }

   public String get_levels_directory ()
   {
      return levels_dir;
   }

   public String get_model_file ()
   {
      return model_file;
   }

   public boolean are_valid ()
   {
      return are_valid;
   }
}