Online Eiffel Documentation
EiffelStudio

Error descriptor