Online Eiffel Documentation
EiffelStudio

Exporting a diagram to PNG image file