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	This exception is raised when an assertion fails.
	Check	This class checks for DesignByContract exceptions. Each method generates an exception or a trace assertion statement if the contract is broken.
	DesignByContractException	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	This exception is raised when an invariant fails.
	PostconditionException	This exception is raised when a post-condition fails.
	PreconditionException	This exception is raised when a pre-condition fails.