Online Eiffel Documentation
EiffelStudio

Feature body

What goes into the feature body field is dependent on what kind of feature you wish to generate.