deferred class TEST_THUMBNAIL_UPDATE inherit TS_TEST_CASE redefine set_up end feature t: THUMBNAIL_UPDATE segment: SEGMENT slide: SLIDE boolean: BOOLEAN is False set_up is do make_thumbs end feature {} make_thumbs is do create t.make (segment, slide, boolean) end full_thumbnail_path_name (a_segment: SEGMENT; a_slide: SLIDE): PATH_NAME is require a_segment /= Void a_slide /= Void do Result := t.short_thumbnail_path_name / (segment_id (a_segment) + "_" + slide_id (a_slide) + ".jpg") ensure Result /= Void end segment_id (a_segment: SEGMENT): STRING is require a_segment /= Void do Result := once "SEG_" + a_segment.to_pointer.to_string ensure Result.is_equal (once "SEG_" + a_segment.to_pointer.to_string) end slide_id (a_slide: SLIDE): STRING is require a_slide /= Void do Result := once "SLIDE_" + a_slide.to_pointer.to_string ensure Result.is_equal (once "SLIDE_" + a_slide.to_pointer.to_string) end feature -- Tests test_full_thumbnail_path_name is do print ("full thumbnail path name") assert_strings_equal ("full thumbnail path name is correct", full_thumbnail_path_name (segment, slide).to_string, t.full_thumbnail_path_name (segment, slide).to_string) end test_segment_id is do print ("segment id") assert_strings_equal ("segment id is correct", segment_id (segment), t.segment_id (segment)) end test_slide_id is do print ("slide id") assert_strings_equal ("slide id is correct", slide_id (slide), t.slide_id (slide)) end end -- TEST_THUMBNAIL_UPDATE