Has Item Code template contract predicate to ensure a container structure has an item Eiffel Software has_item Eiffel code contract invariant precondition postcondition An attached container variable to check the item's presence An entity returning the item to locate