Tools
howard.lst
Associated article: The Eiffel Programming Language
Tags: Tools
_The Eiffel Programming Language_
by Robert Howard
Example 1:
is_empty : BOOLEAN is
-- return TRUE if LIST is empty
do
Result := ( head = void )
end ; -- is_empty
remove is
-- remove the first list item
require
not_empty: not is_...


