- Software Installation
- EiffelStudio How To's
- EiffelStudio: A Guided Tour
- EiffelStudio Reference
- EiffelStudio release notes
- EiffelStudio: General interface description
- Browsing tools
- EiffelStudio Editor
- Contract Editor tool
- EiffelStudio: Project settings window
- Compiler
- Debugger
- Error List Tool
- Diagram tool
- Metrics tool
- Console tool
- Outputs tool
- Eiffel Information System
- AutoTest
- Wizards and dialogs
- EiffelStudio Preferences
- Formatted information about compiled classes and features
- Beta documentation
Feature body
What goes into the feature body field is dependent on what kind of feature you wish to generate.
- do: this is the normal procedure type. Enter in the field below do a body for your feature.
do_something
do
a := b
end- once: this is the type for a routine that is executed once per execution. As a once routine cannot have arguments, it is disabled when you added one or more arguments.
init
once
load
end- deferred: this creates a routine of deferred type. The local and body fields gray out as they serve no use anymore.
do_something
deferred
end- external: this creates an Eiffel wrap routine around a routine written in another language. Use the body field to enter a string containing the necessary information about the routine using the external syntax.
do_something
external
"C | %"location.h%""
end