- This is not the released version of the documentation. Recommended Version
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