Miner.Tasks Namespace

This namespace provides a means to generate exceptions as well as the exception classes that may be raised.

Classes

	Class	Description
	AssertionException	Exception raised when an assertion fails. This exception is raised when an assertion fails.
	Check	Design By Contract Checks. Each method generates an exception or a trace assertion statement if the contract is broken. This class checks for DesignByContract exceptions. Each method generates an exception or a trace assertion statement if the contract is broken.
	DesignByContractException	Exception raised when a contract is broken. Catch this exception type if you wish to differentiate between any DesignByContract exception and other runtime exceptions. This exception is raised when a contract is broken. Catch this exception type if you wish to differentiate between any DesignByContract exception and other runtime exceptions.
	DomainNotInitializedException	This exception is raised when a domain is not initialized.
	FieldTypeInitializedException	This exception is raised when a field type is not initialized.
	FieldTypeNotSetException	This exception is raised when a field type is not properly set.
	InconsistentTypeException	This exception is raised when a type is inconsistent.
	InvariantException	Exception raised when an invariant fails. This exception is raised when an invariant fails.
	PostconditionException	Exception raised when a postcondition fails. This exception is raised when a post-condition fails.
	PreconditionException	Exception raised when a precondition fails. This exception is raised when a pre-condition fails.