Assigned Same Object Code template contract to ensure a class attribute has been assigned the same object 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