Assigned Code template contract to ensure a class' attribute has been assigned Eiffel Software assigned Eiffel code contract postcondition A class attribute that should be assigned A source entity, most likely a routine argument, that should have been used to assign to a class attribute