EXCEPTIONS

Used .NET classes

• EXCEPTION_MANAGER
• EXCEPTION
• EIFFEL_EXCEPTION

Static methods used

• {EXCEPTION_MANAGER}.last_exception, raise

Security notes

• None.

Unhandled exceptions

• When calling die, a security exception may be raised.

Other notes

• Couldn't implement the catch/ignore features.
• Added the EIFFEL_EXCEPTION and EXCEPTION_MANAGER classes to base.
• The original exception system is not well supported, we use the Inner exceptions instead. We have to modify the Eiffel run-time so that when an exception is raised in a rescue clause, it is created with an inner exception which should be the exception that brought the user into the rescue clause.
• When querying the class in which the exception was raised, I'm not sure it returns the dynamic type of the feature, but maybe the written-in type, or maybe something else (I don't quite know what ReflectedType returns).
• Don't know how to implement the (no_)message_on_failure.