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 PhaseMismatch(Exception):
21 return "Phase in " + conf.phase_file + " is unknown."
23 class ConfigurationError(Exception):
24 def __init__(self, message):
25 self.message = message;
27 return "Configuration error: " + message
29 class NoApplicableSolution(Exception):
33 return "No applicable solution find. All generated solutions were already applied."
35 class ProcessFailed(Exception):
36 def __init__(self, process, returncode):
37 self.process = process
38 self.returncode = returncode
40 return "Process failed: " + str(self.process) + \
41 " with return code: " + str(self.returncode)