|
8
by Max Shinn
Better exceptions |
1 |
class VerifyError(Exception): |
2 |
pass
|
|
3 |
||
4 |
||
5 |
class ArgumentTypeError(VerifyError): |
|
6 |
pass
|
|
7 |
||
8 |
class EntryConditionsError(VerifyError): |
|
9 |
pass
|
|
10 |
||
11 |
class ReturnTypeError(VerifyError): |
|
12 |
pass
|
|
13 |
||
14 |
class ExitConditionsError(VerifyError): |
|
15 |
pass
|
|
16 |
||
17 |
||
18 |
class InvalidTypeError(VerifyError): |
|
19 |
pass
|
|
20 |
||
21 |
class NoGeneratorError(VerifyError): |
|
22 |
pass
|
|
23 |
||
|
9
by Max Shinn
Even better asserts |
24 |
class InternalError(VerifyError): |
25 |
pass
|