    class
    	WEL_FILE_TIME

    General
    	cluster: wel
    	description: "Wrapper of FILETIME structure"
    	create: make_by_file_creation_time, make, make_by_file_modification_time, make_by_file_access_time, make_by_current_time, make_by_pointer

    Ancestors
    	WEL_STRUCTURE*

    Queries
    	exists: BOOLEAN
    	is_equal (a_file_time: WEL_FILE_TIME): BOOLEAN
    	is_larger_than (a_file_time: WEL_FILE_TIME): BOOLEAN
    	item: POINTER
    	local_file_time: WEL_FILE_TIME
    	shared: BOOLEAN
    	structure_size: INTEGER_32
    	system_time: WEL_SYSTEM_TIME
    	universal_file_time: WEL_FILE_TIME

    Commands
    	copy (other: [like Current] WEL_FILE_TIME)
    	dispose
    	initialize
    	initialize_with_character (a_character: CHARACTER_8)
    	memory_copy (source_pointer: POINTER; length: INTEGER_32)
    	set_shared
    	set_unshared