eiffelstudio-public - Revision 107776: /branches/eth/eve2/Delivery/studio/templates/design_by_contract

• ..
• all_items_attached.code
• all_items_detached.code
• array_index_big_enough.code
• array_index_small_enough.code
• assigned.code
• assigned_same_object.code
• attached.code
• changed.code
• count_is_positive.code
• cursor_unmoved.code
• deatached.code
• directory_exists.code
• file_exists.code
• function_is_consistent.code
• has_item.code
• is_detached_or_empty.code
• is_detached_or_not_empty.code
• is_empty.code
• is_negative.code
• is_null_pointer.code
• is_positive.code
• not_directory_exists.code
• not_file_exists.code
• not_has_item.code
• not_is_detached_or_empty.code
• not_is_empty.code
• not_is_negative.code
• not_is_null_pointer.code
• not_is_positive.code
• unchanged.code
• value_big_enough.code
• value_small_enough.code