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 |
class VerifyError(Exception): pass class ArgumentTypeError(VerifyError): pass class EntryConditionsError(VerifyError): pass class ReturnTypeError(VerifyError): pass class ExitConditionsError(VerifyError): pass class InvalidTypeError(VerifyError): pass class NoGeneratorError(VerifyError): pass class InternalError(VerifyError): pass |