EXCEPTIONS
Used .NET classes
- EXCEPTION_MANAGER
- EXCEPTION
- EIFFEL_EXCEPTION
Static methods used
- {EXCEPTION_MANAGER}.last_exception, raise
Security notes
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.