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