| Online Eiffel Documentation

EiffelStudio

# 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 is
      	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 is
      	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 is
      	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 is
      	external
      		"C | %"location.h%""
      	end