scripts/exceptions.py

   1 class MissingFile(Exception):
   2         def __init__(self, f, advice):
   3                 self.f = f
   4                 self.advice = advice
   5         def __str__(self):
   6                 if advice == None:
   7                         return "No required file: " + f
   8                 else:
   9                         return "No required file: " + f + "\n" + advice
  10
  11 class NoSolution(Exception):
  12         def __init__(self):
  13                 pass
  14         def __str__(self):
  15                 return "SAT solver found no solution. Statement is not satisfiable."
  16
  17 class ConfigurationError(Exception):
  18         def __init__(self, message):
  19                 self.message = message;
  20         def __str__(self):
  21                 return "Configuration error: " + message
  22
  23 class NoNewConfiguration(Exception):
  24         def __init__(self):
  25                 pass
  26         def __str__(self):
  27                 return "No new configuration generated"
  28 class NoApplicableConfiguration(Exception):
  29         def __init__(self):
  30                 pass
  31         def __str__(self):
  32                 return "No applicable configuration find. All generated configurations were already applied."
  33
  34 class ProcessFailed(Exception):
  35         def __init__(self, process, returncode):
  36                 self.process = process
  37                 self.returncode = returncode
  38         def __str__(self):
  39                 return "Process failed: " + str(self.process) + \
  40                         " with return code: " + str(self.returncode)
  41
  42 class DatabaseUninitialized(Exception):
  43         def __str__(self):
  44                 return "Database seems to be uninitialized."