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 NoApplicableConfiguration(Exception):
  24         def __init__(self):
  25                 pass
  26         def __str__(self):
  27                 return "No applicable configuration find. All generated configurations were already applied."
  28
  29 class ProcessFailed(Exception):
  30         def __init__(self, process, returncode):
  31                 self.process = process
  32                 self.returncode = returncode
  33         def __str__(self):
  34                 return "Process failed: " + str(self.process) + \
  35                         " with return code: " + str(self.returncode)
  36
  37 class DatabaseUninitialized(Exception):
  38         def __str__(self):
  39                 return "Database seems to be uninitialized."