Automatic generation produced by ISE Eiffel
class UNIX_FILE_INFO General cluster: base.kernel description: "Internal file information" create: make Ancestors TO_SPECIAL [T] Queries access_date: INTEGER buffered_file_info: SPECIAL [CHARACTER] change_date: INTEGER date: INTEGER device: INTEGER device_type: INTEGER file_name: STRING group_id: INTEGER group_name: STRING inode: INTEGER is_access_executable: BOOLEAN is_access_owner: BOOLEAN is_access_readable: BOOLEAN is_access_writable: BOOLEAN is_block: BOOLEAN is_character: BOOLEAN is_device: BOOLEAN is_directory: BOOLEAN is_executable: BOOLEAN is_fifo: BOOLEAN is_owner: BOOLEAN is_plain: BOOLEAN is_readable: BOOLEAN is_setgid: BOOLEAN is_setuid: BOOLEAN is_socket: BOOLEAN is_sticky: BOOLEAN is_symlink: BOOLEAN is_writable: BOOLEAN links: INTEGER owner_name: STRING protection: INTEGER size: INTEGER type: INTEGER user_id: INTEGER Commands make update (f_name: STRING) -- Generated by ISE Eiffel --
For more details: www.eiffel.com