Source code for paranoid.exceptions
# Copyright 2018 Max Shinn <max@maxshinnpotential.com>
#
# This file is part of Paranoid Scientist, and is available under the
# MIT license. Please see LICENSE.txt in the root directory for more
# information.
[docs]class VerifyError(Exception):
"""Base class for Paranoid Scientist exceptions"""
pass
[docs]class ArgumentTypeError(VerifyError):
"""A function was passed an argument of the wrong type."""
pass
[docs]class EntryConditionsError(VerifyError):
"""A function's entry conditions were not satisfied."""
pass
[docs]class ReturnTypeError(VerifyError):
"""A function returned a value of the wrong type."""
pass
[docs]class ExitConditionsError(VerifyError):
"""A function's exit conditions were not satisfied."""
pass
[docs]class InvalidTypeError(VerifyError):
"""A type was not implemented correctly."""
pass
[docs]class NoGeneratorError(VerifyError):
"""A type does not have a valid generate() function."""
pass
[docs]class InternalError(VerifyError):
"""This should not happen."""
pass
[docs]class ObjectModifiedError(VerifyError):
"""A static object was modified."""
pass
[docs]class TestCaseTimeoutError(VerifyError):
"""Thrown to allow function timeouts."""
pass