Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class FILE_INFO General cluster: elks description: "Internal file information" create: make Ancestors NATIVE_STRING_HANDLER TO_SPECIAL [T] Queries access_date: INTEGER_32 at alias "@" (i: INTEGER_32): NATURAL_8 buffered_file_info: SPECIAL [NATURAL_8] change_date: INTEGER_32 date: INTEGER_32 device: INTEGER_32 device_type: INTEGER_32 exists: BOOLEAN file_entry: detachable PATH group_id: INTEGER_32 group_name: STRING_8 inode: INTEGER_32 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_equal (other: [like Current] FILE_INFO): BOOLEAN is_executable: BOOLEAN is_fifo: BOOLEAN is_following_symlinks: BOOLEAN is_owner: BOOLEAN is_plain: BOOLEAN is_readable: BOOLEAN is_ready: BOOLEAN is_setgid: BOOLEAN is_setuid: BOOLEAN is_socket: BOOLEAN is_sticky: BOOLEAN is_symlink: BOOLEAN is_writable: BOOLEAN item alias "[]" (i: INTEGER_32): NATURAL_8 links: INTEGER_32 owner_name: STRING_8 protection: INTEGER_32 size: INTEGER_32 type: INTEGER_32 user_id: INTEGER_32 valid_index (i: INTEGER_32): BOOLEAN Commands copy (other: [like Current] FILE_INFO) put (v: NATURAL_8; i: INTEGER_32) set_is_following_symlinks (v: BOOLEAN) update (f_name: READABLE_STRING_GENERAL)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org