aboutsummaryrefslogtreecommitdiff
path: root/scripts/exceptions.py
blob: ec170bab928165a8b8e8d327a832b85c5c462739 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
class MissingFile(Exception):
	def __init__(self, f, advice):
		self.f = f
		self.advice = advice
	def __str__(self):
		if advice == None:
			return "No required file: " + f 
		else:
			return "No required file: " + f + "\n" + advice

class NoSolution(Exception):
	def __init__(self):
		pass
	def __str__(self):
		return "SAT solver found no solution. Statement is not satisfiable."

class PhaseMismatch(Exception):
	def __init__(self):
		pass
	def __str__(self):
		return "Phase in " + conf.phase_file + " is unknown."

class ConfigurationError(Exception):
	def __init__(self, message):
		self.message = message;
	def __str__(self):
		return "Configuration error: " + message

class NoApplicableSolution(Exception):
	def __init__(self):
		pass
	def __str__(self):
		return "No applicable solution find. All generated solutions were already applied."

class ProcessFailed(Exception):
	def __init__(self, process, returncode):
		self.process = process
		self.returncode = returncode
	def __str__(self):
		return "Process failed: " + str(self.process) + \
			" with return code: " + str(self.returncode)