1 class MissingFile(Exception):
2 def __init__(self, f, advice):
7 return "No required file: " + f
9 return "No required file: " + f + "\n" + advice
11 class NoSolution(Exception):
15 return "SAT solver found no solution. Statement is not satisfiable."
17 class ConfigurationError(Exception):
18 def __init__(self, message):
19 self.message = message;
21 return "Configuration error: " + message
23 class NoNewConfiguration(Exception):
27 return "No new configuration generated"
28 class NoApplicableConfiguration(Exception):
32 return "No applicable configuration find. All generated configurations were already applied."
34 class ProcessFailed(Exception):
35 def __init__(self, process, returncode):
36 self.process = process
37 self.returncode = returncode
39 return "Process failed: " + str(self.process) + \
40 " with return code: " + str(self.returncode)
42 class DatabaseUninitialized(Exception):
44 return "Database seems to be uninitialized."