Throwing Exceptions

If an error of exceptional kind occurs, then an exception should be thrown. But before we can invoke the exception handler, we need to be certain that we do not hold any memory that will not be released once the exception handler is called. If we do not release all such memory before we call the exception handler there is a great risk that the method leaks memory. If the exceptional event in any way broke the inner state of an object, then it is probably a good idea to restore it before invoking the exception handler. When we have assured our selves that it is safe to call the exception handler, it can be called using Pike_error().